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.

Some Properties of Noetherian Domains of Dimension One

1961 ◽  
Vol 13 ◽  
pp. 569-586 ◽  
Author(s):  
Eben Matlis
Keyword(s):  
Vector Space ◽  
Integral Domain ◽  
Chain Condition ◽  
Prime Ideals ◽  
Quotient Field ◽  
Rank One ◽  
Descending Chain Condition ◽  
A Chain ◽  
Dimension One ◽  
Torsion Free

Throughout this discussion R will be an integral domain with quotient field Q and K = Q/R ≠ 0. If A is an R-module, then A is said to be torsion-free (resp. divisible), if for every r ≠ 0 ∈ R the endomorphism of A defined by x → rx, x ∈ A, is a monomorphism (resp. epimorphism). If A is torsion-free, the rank of A is defined to be the dimension over Q of the vector space A ⊗R Q; (we note that a torsion-free R-module of rank one is the same thing as a non-zero R-submodule of Q). A will be said to be indecomposable, if A has no proper, non-zero, direct summands. We shall say that A has D.C.C., if A satisfies the descending chain condition for submodules. By dim R we shall mean the maximal length of a chain of prime ideals in R.

scholarly journals The Logical Complexity of Finitely Generated Commutative Rings

2018 ◽  
Vol 2020 (1) ◽  
pp. 112-166 ◽  
Author(s):  
Matthias Aschenbrenner ◽  
Anatole Khélif ◽  
Eudes Naziazeno ◽  
Thomas Scanlon
Keyword(s):  
Commutative Ring ◽  
Commutative Rings ◽  
Prime Ideals ◽  
Zariski Topology ◽  
Dual Numbers ◽  
Finitely Generated ◽  
Nonstandard Model

AbstractWe characterize those finitely generated commutative rings which are (parametrically) bi-interpretable with arithmetic: a finitely generated commutative ring A is bi-interpretable with $(\mathbb{N},{+},{\times })$ if and only if the space of non-maximal prime ideals of A is nonempty and connected in the Zariski topology and the nilradical of A has a nontrivial annihilator in $\mathbb{Z}$. Notably, by constructing a nontrivial derivation on a nonstandard model of arithmetic we show that the ring of dual numbers over $\mathbb{Z}$ is not bi-interpretable with $\mathbb{N}$.

scholarly journals On Schur's conjecture

1995 ◽  
Vol 58 (3) ◽  
pp. 312-357 ◽  
Author(s):  
Gerhard Turnwald
Keyword(s):  
Integral Domain ◽  
Elementary Proof ◽  
Prime Ideals ◽  
Quotient Field ◽  
Prime Degree ◽  
Dickson Polynomials ◽  
Quantitative Version ◽  
Linear Polynomials

AbstractWe study polynomials over an integral domainRwhich, for infinitely many prime idealsP, induce a permutation ofR/P. In many cases, every polynomial with this property must be a composition of Dickson polynomials and of linear polynomials with coefficients in the quotient field ofR. In order to find out which of these compositions have the required property we investigate some number theoretic aspects of composition of polynomials. The paper includes a rather elementary proof of ‘Schur's Conjecture’ and contains a quantitative version for polynomials of prime degree.

2-Prime ideals and their applications

2016 ◽  
Vol 15 (03) ◽  
pp. 1650051 ◽  
Author(s):  
Charef Beddani ◽  
Wahiba Messirdi
Keyword(s):  
Prime Ideal ◽  
Valuation Ring ◽  
Integral Domain ◽  
The Other ◽  
Primary Ideal ◽  
Prime Ideals ◽  
Other Hand ◽  
Valuation Rings ◽  
Integrally Closed

This paper introduces the notion of [Formula: see text]-prime ideals, and uses it to present certain characterization of valuation rings. Precisely, we will prove that an integral domain [Formula: see text] is a valuation ring if and only if every ideal of [Formula: see text] is [Formula: see text]-prime. On the other hand, we will prove that the normalization [Formula: see text] of [Formula: see text] is a valuation ring if and only if the intersection of integrally closed 2-prime ideals of [Formula: see text] is a 2-prime ideal. At the end of this paper, we will give a generalization of some results of Gilmer and Heinzer by studying the properties of domains in which every primary ideal is an integrally closed 2-prime ideal.

scholarly journals Primitiewe elemente vir kommutatiewe ringuitbreidings

1991 ◽  
Vol 10 (2) ◽  
pp. 67-71
Author(s):  
H. J. Schutte
Keyword(s):  
Finite Number ◽  
Commutative Ring ◽  
Integral Domain ◽  
Prime Ideals ◽  
Primitive Elements ◽  
Integral Domains ◽  
Field Extensions ◽  
Ring Extensions ◽  
Minimal Prime

The existence of primitive elements for integral domain extensions is considered with reference to the well known theorem about primitive elements for field extensions. Primitive elements for extensions of a commutative ring R with identity are considered, where R has only a finite number of minimal prime ideals with zero intersection. This case is reduced to the case for ring extensions of integral domains.

On Integral Closure

1954 ◽  
Vol 6 ◽  
pp. 471-473 ◽  
Author(s):  
Hubert Butts ◽  
Marshall Hall ◽  
H. B. Mann
Keyword(s):  
Commutative Ring ◽  
Integral Domain ◽  
Monic Polynomial ◽  
Unit Element ◽  
Integral Closure ◽  
Quotient Field ◽  
Integrally Closed

Let J be an integral domain (i.e., a commutative ring without divisors of zero) with unit element, F its quotient field and J[x] the integral domain of polynomials with coefficients from J . The domain J is called integrally closed if every root of a monic polynomial over J which is in F also is in J.

Pseudo-Integrality

1991 ◽  
Vol 34 (1) ◽  
pp. 15-22 ◽  
Author(s):  
David F. Anderson ◽  
Evan G. Houston ◽  
Muhammad Zafrullah
Keyword(s):  
Integral Domain ◽  
Finitely Generated ◽  
Quotient Field ◽  
Integrally Closed

AbstractLet R be an integral domain. An element u of the quotient field of R is said to be pseudo-integral over R if uIv ⊆ Iv for some nonzero finitely generated ideal I of R. The set of all pseudo-integral elements forms an integrally closed (but not necessarily pseudo-integrally closed) overling R ofR. It is shown that , where X is a family of indeterminates; pseudo-integrality is analyzed in rings of the form D + M; and an example is given to show that pseudo-integrality does not behave well with respect to localization.

VALUATIVE DOMAINS

2010 ◽  
Vol 09 (01) ◽  
pp. 43-72 ◽  
Author(s):  
PAUL-JEAN CAHEN ◽  
DAVID E. DOBBS ◽  
THOMAS G. LUCAS
Keyword(s):  
Maximal Ideal ◽  
Integral Domain ◽  
Nonzero Element ◽  
Prime Ideals ◽  
Quotient Field ◽  
Prüfer Domain ◽  
One Dimensional ◽  
Maximal Ideals ◽  
Valuation Domains ◽  
Integrally Closed

A (commutative integral) domain R is said to be valuative if, for each nonzero element u in the quotient field of R, at least one of R ⊆ R[u] and R ⊆ R[u-1] has no proper intermediate rings. Such domains are closely related to valuation domains. If R is a valuative domain, then R has at most three maximal ideals, and at most two if R is not integrally closed. Also, if R is valuative, the set of nonmaximal prime ideals of R is linearly ordered, at most one maximal ideal of R does not contain each nonmaximal prime of R, and RP is a valuation domain for each prime P except for at most one maximal ideal. Any integrally closed valuative domain is a Bézout domain. Valuation domains are characterized as the quasilocal integrally closed valuative domains. Each one-dimensional Prüfer domain with at most three maximal ideals is valuative.

TEST OF EPIMORPHISM FOR FINITELY GENERATED MORPHISMS BETWEEN AFFINE ALGEBRAS OVER COMPUTATIONAL RINGS

2005 ◽  
Vol 04 (04) ◽  
pp. 405-419
Author(s):  
SIHEM MESNAGER
Keyword(s):  
Commutative Ring ◽  
Finitely Generated ◽  
Affine Algebras ◽  
Finitely Presented

In this paper, based on a characterization of epimorphisms of R-algebras given by Roby [15], we bring an algorithm testing whether a given finitely generated morphism f : A → B, where A and B are finitely presented affine algebras over the same Nœtherian commutative ring R, is an epimorphism of R-algebras or not. We require two computational conditions on R, which we call a computational ring.

scholarly journals Almost-Dedekind rings

1994 ◽  
Vol 36 (1) ◽  
pp. 131-134 ◽  
Author(s):  
E. W. Johnson
Keyword(s):  
Commutative Ring ◽  
Integral Domain ◽  
Classical Result ◽  
Dedekind Domain ◽  
Ring Theory ◽  
Prime Ideals ◽  
Principal Ideals ◽  
Commutative Ring Theory ◽  
Lattice Of Ideals

Throughout we assume all rings are commutative with identity. We denote the lattice of ideals of a ringRbyL(R), and we denote byL(R)* the subposetL(R)−R.A classical result of commutative ring theory is the characterization of a Dedekind domain as an integral domainRin which every element ofL(R)* is a product of prime ideals (see Mori [5] for a history). This result has been generalized in a number of ways. In particular, rings which are not necessarily domains but which otherwise satisfy the hypotheses (i.e. general ZPI-rings) have been widely studied (see, for example, Gilmer [3]), as have rings in which only the principal ideals are assumed to satisfy the hypothesis (i.e. π-rings).

Sign in / Sign up

Export Citation Format

Share Document