When is R[θ] integrally closed?

2016 ◽  
Vol 15 (05) ◽  
pp. 1650091 ◽  
Author(s):  
Sudesh K. Khanduja ◽  
Bablesh Jhorar
Keyword(s):  
Valuation Ring ◽  
Integral Domain ◽  
Minimal Polynomial ◽  
Closed Domain ◽  
Necessary And Sufficient Condition ◽  
Quotient Field ◽  
Maximal Ideals ◽  
Dedekind Domains ◽  
Integrally Closed ◽  
Necessary And Sufficient

Let [Formula: see text] be an integrally closed domain with quotient field [Formula: see text] and [Formula: see text] be an element of an integral domain containing [Formula: see text] with [Formula: see text] integral over [Formula: see text]. Let [Formula: see text] be the minimal polynomial of [Formula: see text] over [Formula: see text] and [Formula: see text] be a maximal ideal of [Formula: see text]. Kummer proved that if [Formula: see text] is an integrally closed domain, then the maximal ideals of [Formula: see text] which lie over [Formula: see text] can be explicitly determined from the irreducible factors of [Formula: see text] modulo [Formula: see text]. In 1878, Dedekind gave a criterion known as Dedekind Criterion to be satisfied by [Formula: see text] for [Formula: see text] to be integrally closed in case [Formula: see text] is the localization [Formula: see text] of [Formula: see text] at a nonzero prime ideal [Formula: see text] of [Formula: see text]. Indeed he proved that if [Formula: see text] is the factorization of [Formula: see text] into irreducible polynomials modulo [Formula: see text] with [Formula: see text] monic, then [Formula: see text] is integrally closed if and only if for each [Formula: see text], either [Formula: see text] or [Formula: see text] does not divide [Formula: see text] modulo [Formula: see text], where [Formula: see text]. In 2006, a similar necessary and sufficient condition was given by Ershov for [Formula: see text] to be integrally closed when [Formula: see text] is the valuation ring of a Krull valuation of arbitrary rank (see [Comm. Algebra. 38 (2010) 684–696]). In this paper, we deal with the above problem for more general rings besides giving some equivalent versions of Dedekind Criterion. The well-known result of Uchida in this direction proved for Dedekind domains has also been deduced (cf. [Osaka J. Math. 14 (1977) 155–157]).

scholarly journals On Krull’s Conjecture concerning Valuation Rings

1952 ◽  
Vol 4 ◽  
pp. 29-33 ◽  
Author(s):  
Masayoshi Nagata
Keyword(s):  
Valuation Ring ◽  
Sufficient Condition ◽  
Necessary And Sufficient Condition ◽  
Quotient Field ◽  
Counter Example ◽  
Valuation Rings ◽  
Integrally Closed ◽  
Necessary And Sufficient

Previously W. Krull conjectured that every completely integrally closed primary domain of integrity is a valuation ring, The main purpose of the present paper is to construct in §1 a counter example against this conjecture. In § 2 we show a necessary and sufficient condition that a field is a quotient field of a suitable completely integrally closed primary domain of integrity which is not a valuation ring.

scholarly journals A Note on Quotient Fields of Power Series Rings

1994 ◽  
Vol 37 (2) ◽  
pp. 162-164 ◽  
Author(s):  
Huah Chu ◽  
Yi-Chuan Lang
Keyword(s):  
Power Series ◽  
Integral Domain ◽  
Algebraic Degree ◽  
Closed Domain ◽  
Quotient Field ◽  
Noetherian Domain ◽  
Integrally Closed ◽  
Power Series Rings

AbstractLet R be an integral domain with quotient field K. If R has an overling S ≠ K, such that S[X] is integrally closed, then the "algebraic degree" of K((X)) over the quotient field of R[X] is infinite. In particular, it holds for completely integrally closed domain or Noetherian domain R.

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.

scholarly journals Groups generated by elements with rational fixed points

1997 ◽  
Vol 40 (1) ◽  
pp. 19-30 ◽  
Author(s):  
A. W. Mason
Keyword(s):  
Normal Subgroup ◽  
Fixed Points ◽  
Large Class ◽  
Integral Domain ◽  
Structure Theorem ◽  
Quotient Field ◽  
Linear Fractional Transformations ◽  
Krull Domain ◽  
Dedekind Domains ◽  
Precise Version

Let R be a commutative integral domain and let S be its quotient field. The group GL2(R) acts on Ŝ = S ∪ {∞} as a group of linear fractional transformations in the usual way. Let F2(R, z) be the stabilizer of z ∈ Ŝ in GL2(R) and let F2(R) be the subgroup generated by all F2(R, z). Among the subgroups contained in F2(R) are U2(R), the subgroup generated by all unipotent matrices, and NE2(R), the normal subgroup generated by all elementary matrices.We prove a structure theorem for F2(R, z), when R is a Krull domain. A more precise version holds when R is a Dedekind domain. For a large class of arithmetic Dedekind domains it is known that the groups NE2(R),U2(R) and SL2(R) coincide. An example is given for which all these subgroups are distinct.

FINITELY VALUATIVE DOMAINS

2012 ◽  
Vol 11 (06) ◽  
pp. 1250112 ◽  
Author(s):  
PAUL-JEAN CAHEN ◽  
DAVID E. DOBBS ◽  
THOMAS G. LUCAS
Keyword(s):  
Nonnegative Integer ◽  
Integral Domain ◽  
Nonzero Element ◽  
Integral Closure ◽  
Quotient Field ◽  
Prüfer Domain ◽  
Maximal Ideals ◽  
Saturated Chain

For a pair of rings S ⊆ T and a nonnegative integer n, an element t ∈ T\S is said to be within n steps of S if there is a saturated chain of rings S = S0 ⊊ S1 ⊊ ⋯ ⊊ Sm = S[t] with length m ≤ n. An integral domain R is said to be n-valuative (respectively, finitely valuative) if for each nonzero element u in its quotient field, at least one of u and u-1 is within n (respectively, finitely many) steps of R. The integral closure of a finitely valuative domain is a Prüfer domain. Moreover, an n-valuative domain has at most 2n + 1 maximal ideals; and an n-valuative domain with 2n + 1 maximal ideals must be a Prüfer domain.

An answer to a problem about the number of overrings

2016 ◽  
Vol 15 (06) ◽  
pp. 1650022 ◽  
Author(s):  
M. Ben Nasr
Keyword(s):  
Open Problem ◽  
Integral Domain ◽  
Integral Closure ◽  
Closed Domain ◽  
Prüfer Domain ◽  
Finite Spectrum ◽  
Integrally Closed

Let [Formula: see text] be an integral domain with only finitely many overrings, equivalently, a domain such that its integral closure [Formula: see text] is a Prüfer domain with finite spectrum and there are only finitely many rings between [Formula: see text] and [Formula: see text]. Jaballah solved the problem of counting the overrings in the case [Formula: see text] but left the general case as an open problem [A. Jaballah, The number of overrings of an integrally closed domain, Expo. Math. 23 (2005) 353–360, Problem 3.4]. The purpose of this paper is to provide a solution to that problem.

Condensed Domains

2003 ◽  
Vol 46 (1) ◽  
pp. 3-13 ◽  
Author(s):  
D. D. Anderson ◽  
Tiberiu Dumitrescu
Keyword(s):  
Maximal Ideal ◽  
Integral Domain ◽  
Field Extension ◽  
Integral Closure ◽  
Dedekind Domain ◽  
Closed Domain ◽  
Local Domain ◽  
Noetherian Domain ◽  
Integrally Closed ◽  
Finite Integral

AbstractAn integral domain D with identity is condensed (resp., strongly condensed) if for each pair of ideals I, J of D, IJ = {ij ; i ∈ I; j ∈ J} (resp., IJ = iJ for some i ∈ I or IJ = Ij for some j ∈ J). We show that for a Noetherian domain D, D is condensed if and only if Pic(D) = 0 and D is locally condensed, while a local domain is strongly condensed if and only if it has the two-generator property. An integrally closed domain D is strongly condensed if and only if D is a Bézout generalized Dedekind domain with at most one maximal ideal of height greater than one. We give a number of equivalencies for a local domain with finite integral closure to be strongly condensed. Finally, we show that for a field extension k ⊆ K, the domain D = k + XK[[X]] is condensed if and only if [K : k] ≤ 2 or [K : k] = 3 and each degree-two polynomial in k[X] splits over k, while D is strongly condensed if and only if [K : k] ≤ 2.

scholarly journals JUCYS–MURPHY ELEMENTS AND CENTRES OF CELLULAR ALGEBRAS

2011 ◽  
Vol 85 (2) ◽  
pp. 261-270 ◽  
Author(s):  
YANBO LI
Keyword(s):  
Integral Domain ◽  
Sufficient Condition ◽  
Separation Condition ◽  
Symmetric Polynomials ◽  
Necessary And Sufficient Condition ◽  
Cellular Algebra ◽  
Cellular Basis ◽  
Cellular Algebras ◽  
Necessary And Sufficient

AbstractLet R be an integral domain and A a cellular algebra over R with a cellular basis {CλS,T∣λ∈Λ and S,T∈M(λ)}. Suppose that A is equipped with a family of Jucys–Murphy elements which satisfy the separation condition in the sense of Mathas [‘Seminormal forms and Gram determinants for cellular algebras’, J. reine angew. Math.619 (2008), 141–173, with an appendix by M. Soriano]. Let K be the field of fractions of R and AK=A⨂ RK. We give a necessary and sufficient condition under which the centre of AK consists of the symmetric polynomials in Jucys–Murphy elements. We also give an application of our result to Ariki–Koike algebras.

scholarly journals Note on U-closed semigroup rings

1999 ◽  
Vol 59 (3) ◽  
pp. 467-471 ◽  
Author(s):  
Ryûki Matsuda
Keyword(s):  
Abelian Group ◽  
Integral Domain ◽  
Free Abelian Group ◽  
Semigroup Ring ◽  
Closed Domain ◽  
Semigroup Rings ◽  
Quotient Field ◽  
Torsion Free Abelian Group ◽  
Torsion Free

Let D be an integral domain with quotient field K. If α2 − α ∈ D and α3 − α2 ∈ D imply α ∈ D for all elements α of K, then D is called a u-closed domain. A submonoid S of a torsion-free Abelian group is called a grading monoid. We consider the semigroup ring D[S] of a grading monoid S over a domain D. The main aim of this note is to determine conditions for D[S] to be u-closed. We shall show the following Theorem: D[S] is u-closed if and only if D is u-closed.

On locally AGCD domains

2017 ◽  
Vol 16 (02) ◽  
pp. 1750028
Author(s):  
David F. Anderson ◽  
Gyu Whan Chang ◽  
Muhammad Zafrullah
Keyword(s):  
Integral Domain ◽  
Quotient Field ◽  
Maximal Ideals

Let [Formula: see text] be an integral domain with quotient field [Formula: see text]. Call [Formula: see text] an almost GCD domain (AGCD domain) if for all [Formula: see text], there is an integer [Formula: see text] such that [Formula: see text] is principal. We say that [Formula: see text] is a locally AGCD domain (resp., strongly locally AGCD domain) if [Formula: see text] is an AGCD domain for all maximal ideals [Formula: see text] of [Formula: see text] (resp., for all [Formula: see text], there is an integer [Formula: see text] such that [Formula: see text] is locally principal). In this paper, we study some ring-theoretic properties of locally and strongly locally AGCD domains. Let [Formula: see text] be an indeterminate over [Formula: see text]. We use the ring [Formula: see text] for an integer [Formula: see text] to give some examples of locally and strongly locally AGCD domains.

Sign in / Sign up

Export Citation Format

Share Document