scholarly journals On locally divided integral domains and CPI-overrings

1981 ◽  
Vol 4 (1) ◽  
pp. 119-135 ◽  
Author(s):  
David E. Dobbs
Keyword(s):  
Integral Domain ◽  
Local Property ◽  
Krull Dimension ◽  
Integral Domains ◽  
New Class ◽  
Divided Domain

It is proved that an integral domainRis locally divided if and only if each CPI-extension ofℬ(in the sense of Boisen and Sheldon) isR-flat (equivalently, if and only if each CPI-extension ofRis a localization ofR). Thus, each CPI-extension of a locally divided domain is also locally divided. Treed domains are characterized by the going-down behavior of their CPI-extensions. A new class of (not necessarily treed) domains, called CPI-closed domains, is introduced. Examples include locally divided domains, quasilocal domains of Krull dimension2, and qusilocal domains with the QQR-property. The property of being CPI-closed behaves nicely with respect to theD+Mconstruction, but is not a local property.

INTEGRAL DOMAINS OF THE FORM A + XI[[X]]: PRIME SPECTRUM, KRULL DIMENSION

2005 ◽  
Vol 04 (06) ◽  
pp. 599-611
Author(s):  
SANA HIZEM ◽  
ALI BENHISSI
Keyword(s):  
Maximal Ideal ◽  
Noetherian Ring ◽  
Integral Domain ◽  
Finite Dimension ◽  
Krull Dimension ◽  
Necessary Condition ◽  
Prime Spectrum ◽  
Prüfer Domain ◽  
Integral Domains ◽  
Contraction Map

Let A be an integral domain, X an analytic indeterminate over A and I a proper ideal (not necessarily prime) of A. In this paper, we study the ring [Formula: see text] First, we study the prime spectrum of R. We prove that the contraction map: Spec (A[[X]]) → Spec (R); Q ↦ Q ∩ R induces a homeomorphism, for the Zariski's topologies, from {Q ∈ Spec (A[[X]]) | XI[[X]] ⊈ Q} onto {P ∈ Spec (R) | XI[[X]] ⊈ P}. If P ∈ Spec (R) is such that XI[[X]] ⊆ P then there exists p ∈ Spec (A) such that P = p + XI[[X]]. Next, we study the Krull dimension of R. We give a necessary condition for R to be of finite Krull dimension. In particular, if R is of finite dimension then I must be an SFT ideal of A. Then we determine bounds for dim (R). Examples are given to indicate the sharpness of the results. In case I is a maximal ideal of A and A is either a Noetherian ring, SFT Prüfer domain or A[[X]] is catenarian and I SFT, we establish that dim (R) = dim (A[[X]]) = dim (A) + 1. Finally, we examine the possible transfer of the LFD property and the catenarity between the rings A, A[[X]] and R in case I is a maximal ideal of A.

scholarly journals Decomposition and classification of length functions

2020 ◽  
Vol 32 (5) ◽  
pp. 1109-1129
Author(s):  
Dario Spirito
Keyword(s):  
Integral Domain ◽  
Integral Domains ◽  
Bijective Correspondence ◽  
Length Functions ◽  
Standard Representation ◽  
Prufer Domains ◽  
Prüfer Domains

AbstractWe study decompositions of length functions on integral domains as sums of length functions constructed from overrings. We find a standard representation when the integral domain admits a Jaffard family, when it is Noetherian and when it is a Prüfer domains such that every ideal has only finitely many minimal primes. We also show that there is a natural bijective correspondence between singular length functions and localizing systems.

Graded integral domains in which each nonzero homogeneous t-ideal is divisorial

2019 ◽  
Vol 18 (01) ◽  
pp. 1950018 ◽  
Author(s):  
Gyu Whan Chang ◽  
Haleh Hamdi ◽  
Parviz Sahandi
Keyword(s):  
Integral Domain ◽  
Nonzero Ideal ◽  
Integral Domains ◽  
Cancellative Monoid ◽  
Integrally Closed ◽  
Graded Integral Domain

Let [Formula: see text] be a nonzero commutative cancellative monoid (written additively), [Formula: see text] be a [Formula: see text]-graded integral domain with [Formula: see text] for all [Formula: see text], and [Formula: see text]. In this paper, we study graded integral domains in which each nonzero homogeneous [Formula: see text]-ideal (respectively, homogeneous [Formula: see text]-ideal) is divisorial. Among other things, we show that if [Formula: see text] is integrally closed, then [Formula: see text] is a P[Formula: see text]MD in which each nonzero homogeneous [Formula: see text]-ideal is divisorial if and only if each nonzero ideal of [Formula: see text] is divisorial, if and only if each nonzero homogeneous [Formula: see text]-ideal of [Formula: see text] is divisorial.

scholarly journals On the Graph of Divisibility of an Integral Domain

2015 ◽  
Vol 58 (3) ◽  
pp. 449-458 ◽  
Author(s):  
Jason Greene Boynton ◽  
Jim Coykendall
Keyword(s):  
Topological Space ◽  
Integral Domain ◽  
Point Of View ◽  
Current Understanding ◽  
Main Theme ◽  
Topological Graph ◽  
Integral Domains ◽  
Graph Theoretic ◽  
Theoretic Point ◽  
Group Of Divisibility

AbstractIt is well known that the factorization properties of a domain are reflected in the structure of its group of divisibility. The main theme of this paper is to introduce a topological/graph-theoretic point of view to the current understanding of factorization in integral domains. We also show that connectedness properties in the graph and topological space give rise to a generalization of atomicity.

Free quotients of infinite rank of GL2 over Dedekind domains

1999 ◽  
Vol 129 (1) ◽  
pp. 77-84
Author(s):  
A. W. Mason
Keyword(s):  
Factor Group ◽  
Krull Dimension ◽  
Two Dimensional ◽  
Integral Domains ◽  
Dimension Zero ◽  
Infinite Rank ◽  
Dedekind Domains ◽  
Free Quotient

This paper is concerned with integral domains R, for which the factor group SL2(R)/U2(R) has a non-trivial, free quotient, where U2(R) is the subgroup of GL2(R) generated by the unipotent matrices. Recently, Krstić and McCool have proved that SL2(P[x])/U2(P[x]) has a free quotient of infinite rank, where P is a domain which is not a field. This extends earlier results of Grunewald, Mennicke and Vaserstein.Any ring of the type P[x] has Krull dimension at least 2. The purpose of this paper is to show that result of Krstić and McCool extends to some domains of Krull dimension 1, in particular to certain Dedekind domains. This result, which represents a two-dimensional anomaly is the best possible in the following sense. It is well known that SL2(R) = U2(R), when R is a domain of Krull dimension zero, i.e. when R is a field. It is already known that for some arithmetic Dedekind domains A, the factor group SL2(A)/U2(A) has a free quotient of finite (and not infinite) rank.

Recursive elements and constructive extensions of computable local integral domains

1973 ◽  
Vol 38 (2) ◽  
pp. 272-290 ◽  
Author(s):  
Glen H. Suter
Keyword(s):  
Prime Ideal ◽  
Local Ring ◽  
Integral Domain ◽  
Rational Numbers ◽  
Algebraic Structures ◽  
Computable Structures ◽  
Integral Domains ◽  
Local Integral ◽  
Algebraic Operations ◽  
Axiom Systems

With reservations, one can think of abstract algebra as the study of what consequences can be drawn from the axioms associated with certain concrete algebraic structures. Two important examples of such concrete algebraic structures are the integers and the rational numbers. The integers and the rational numbers have two properties which are not in general mirrored in the abstract axiom systems associated with them. That is, the integers and the rational numbers both have effectively computable metrics and their algebraic operations are effectively computable. The study of abstract algebraic systems which possess effectively computable algebraic operations has produced many interesting results. One can think of a computable algebraic structure as one whose elements have been labeled by the set of positive integers and whose operations are effectively computable. The formal definition of computable local integral domain will be given in §3. Some specific computable structures which have been studied are the integers, the rational numbers, and the rational numbers with p-adic valuation. Computable structures were studied in general by Rabin [12]. This paper concerns computable local integral domains as exemplified by the local integral domain Zp. Zp is the localization of the integers with respect to the maximal prime ideal generated by the positive prime p. We should note that the concept of local integral domain is not first order.Let the ordered pair (Q, M) stand for a local ring, where Q is the local ring and M is the unique maximal prime ideal of Q. Since most of my results are proving the existence of certain effective procedures, the assumption that Q has a principal maximal ideal M (rather than M has n generators) greatly simplifies many of the proofs.

WHEN IS THE INTEGRAL CLOSURE COMPARABLE TO ALL INTERMEDIATE RINGS

2016 ◽  
Vol 95 (1) ◽  
pp. 14-21 ◽  
Author(s):  
MABROUK BEN NASR ◽  
NABIL ZEIDI
Keyword(s):  
Integral Domain ◽  
Sufficient Conditions ◽  
Integral Closure ◽  
Necessary And Sufficient Conditions ◽  
Integral Domains ◽  
Necessary And Sufficient ◽  
Quotient Rings

Let $R\subset S$ be an extension of integral domains, with $R^{\ast }$ the integral closure of $R$ in $S$. We study the set of intermediate rings between $R$ and $S$. We establish several necessary and sufficient conditions for which every ring contained between $R$ and $S$ compares with $R^{\ast }$ under inclusion. This answers a key question that figured in the work of Gilmer and Heinzer [‘Intersections of quotient rings of an integral domain’, J. Math. Kyoto Univ.7 (1967), 133–150].

On the Prime Spectrum of an Integral Domain with Finite Spectral Semistar Operations

2011 ◽  
Vol 18 (spec01) ◽  
pp. 965-972 ◽  
Author(s):  
A. Mimouni
Keyword(s):  
Finite Number ◽  
Integral Domain ◽  
Krull Dimension ◽  
Prime Spectrum

In this paper, we investigate the prime spectrum of an integral domain R with a finite number of spectral semistar operations. This will be done by seeking for a possible link between the cardinality of the set SpSS (R) of all spectral semistar operations on R and its Krull dimension. In particular, we prove that if | SpSS (R)|=n+ dim R, then 2| Max (R)|≤ n+1. This leads us to give a complete description for the spectrum of a domain R such that | SpSS (R)|=n+ dim R for 1 ≤ n ≤ 5.

On a New Class of Integral Domains with the Portable Property

2014 ◽  
pp. 119-132 ◽  
Author(s):  
David E. Dobbs ◽  
Gabriel Picavet ◽  
Martine Picavet-L’Hermitte
Keyword(s):  
Integral Domains ◽  
New Class

scholarly journals A Remark on Coherent Overrings

1978 ◽  
Vol 21 (3) ◽  
pp. 373-375 ◽  
Author(s):  
Ira J. Papick
Keyword(s):  
Commutative Ring ◽  
Integral Domain ◽  
General Theorem ◽  
Krull Dimension ◽  
Prime Ideals ◽  
Finitely Generated ◽  
Quotient Field ◽  
Valuation Rings ◽  
Finitely Presented

Throughout this note, let R be a (commutative integral) domain with quotient field K. A domain S satisfying R ⊆ S ⊆ K is called an overring of R, and by dimension of a ring we mean Krull dimension. Recall [1] that a commutative ring is said to be coherent if each finitely generated ideal is finitely presented.In [2], as a corollary of a more general theorem, Davis showed that if each overring of a domain R is Noetherian, then the dimension of R is at most 1. (This corollary is the converse of a version of the Krull-Akizuki Theorem [5, Theorem 93], and can also be proved directly by using the existence of valuation rings dominating finite chains of prime ideals [4, Corollary 16.6].) It is our purpose to prove that if R is Noetherian and each overring of R is coherent, then the dimension of £ is at most 1. We shall also indicate some related questions and examples.

Sign in / Sign up

Export Citation Format

Share Document