Overring

In mathematics, an overring of an integral domain contains the integral domain, and the integral domain's field of fractions contains the overring. Overrings provide an improved understanding of different types of rings and domains.

Definition

In this article, all rings are commutative rings, and ring and overring share the same identity element.

Let $Q(A)$ represent the field of fractions of an integral domain $A$. Ring $B$ is an overring of integral domain $A$ if $A$ is a subring of $B$ and $B$ is a subring of the field of fractions $Q(A)$;Template:Rp the relationship is $A\subseteq B\subseteq Q(A)$.Template:Rp

Properties

Ring of fractions

The rings $R_A,S_A,T_A$ are the rings of fractions of rings $R,S,T$ by multiplicative set $A$.Template:Rp Assume $T$ is an overring of $R$ and $A$ is a multiplicative set in $R$. The ring $T_A$ is an overring of $R_A$. The ring $T_A$ is the total ring of fractions of $R_A$ if every nonunit element of $T_A$ is a zero-divisor.Template:Rp Every overring of $R_A$ contained in $T_A$ is a ring $S_A$, and $S$ is an overring of $R$.Template:Rp Ring $R_A$ is integrally closed in $T_A$ if $R$ is integrally closed in $T$.Template:Rp

Noetherian domain

Definitions

A Noetherian ring satisfies the 3 equivalent finitenss conditions i) every ascending chain of ideals is finite, ii) every non-empty family of ideals has a maximal element and iii) every ideal has a finite basis.Template:Rp

An integral domain is a Dedekind domain if every ideal of the domain is a finite product of prime ideals.Template:Rp

A ring's restricted dimension is the maximum rank among the ranks of all prime ideals that contain a regular element.Template:Rp

A ring $R$ is locally nilpotentfree if every ring $R_M$ with maximal ideal $M$ is free of nilpotent elements or a ring with every nonunit a zero divisor.Template:Rp

An affine ring is the homomorphic image of a polynomial ring over a field.Template:Rp

Properties

Every overring of a Dedekind ring is a Dedekind ring.

Every overrring of a direct sum of rings whose non-unit elements are all zero-divisors is a Noetherian ring.Template:Rp

Every overring of a Krull 1-dimensional Noetherian domain is a Noetherian ring.Template:Rp

These statements are equivalent for Noetherian ring $R$ with integral closure $\overline{R}$.Template:Rp

• Every overring of $R$ is a Noetherian ring.
• For each maximal ideal $M$ of $R$, every overring of $R_M$ is a Noetherian ring.
• Ring $R$ is locally nilpotentfree with restricted dimension 1 or less.
• Ring $\overline{R}$ is Noetherian, and ring $R$ has restricted dimension 1 or less.
• Every overring of $\overline{R}$ is integrally closed.

These statements are equivalent for affine ring $R$ with integral closure $\overline{R}$.Template:Rp

• Ring $R$ is locally nilpotentfree.
• Ring $\overline{R}$ is a finite $\mathrm{R-}$module.
• Ring $\overline{R}$ is Noetherian.

An integrally closed local ring $R$ is an integral domain or a ring whose non-unit elements are all zero-divisors.Template:Rp

A Noetherian integral domain is a Dedekind ring if every overring of the Noetherian ring is integrally closed.Template:Rp

Every overring of a Noetherian integral domain is a ring of fractions if the Noetherian integral domain is a Dedekind ring with a torsion class group.Template:Rp

Coherent rings

Definitions

A coherent ring is a commutative ring with each finitely generated ideal finitely presented.Template:Rp Noetherian domains and Prüfer domains are coherent.Template:Rp

A pair $(R,T)$ indicates a integral domain extension of $T$ over $R$.Template:Rp

Ring $S$ is an intermediate domain for pair $(R,T)$ if $R$ is a subdomain of $S$ and $S$ is a subdomain of $T$.Template:Rp

Properties

A Noetherian ring's Krull dimension is 1 or less if every overring is coherent.Template:Rp

For integral domain pair $(R,T)$, $T$ is an overring of $R$ if each intermediate integral domain is integrally closed in $T$.Template:RpTemplate:Rp

The integral closure of $R$ is a Prüfer domain if each proper overring of $R$ is coherent.Template:Rp

The overrings of Prüfer domains and Krull 1-dimensional Noetherian domains are coherent.Template:Rp

Prüfer domains

Properties

A ring has QR property if every overring is a localization with a multiplicative set.Template:Rp The QR domains are Prüfer domains.Template:Rp A Prüfer domain with a torsion Picard group is a QR domain.Template:Rp A Prüfer domain is a QR domain if the radical of every finitely generated ideal equals the radical generated by a principal ideal.Template:Rp

The statement $R$ is a Prüfer domain is equivalent to:Template:Rp

• Each overring of $R$ is the intersection of localizations of $R$, and $R$ is integrally closed.
• Each overring of $R$ is the intersection of rings of fractions of $R$, and $R$ is integrally closed.
• Each overring of $R$ has prime ideals that are extensions of the prime ideals of $R$, and $R$ is integrally closed.
• Each overring of $R$ has at most 1 prime ideal lying over any prime ideal of $R$, and $R$ is integrally closed
• Each overring of $R$ is integrally closed.
• Each overring of $R$ is coherent.

The statement $R$ is a Prüfer domain is equivalent to:Template:Rp

• Each overring $S$ of $R$ is flat as a $\mathrm{S-}$module.
• Each valuation overring of $R$ is a ring of fractions.

Minimal overring

Definitions

A minimal ring homomorphism $f$ is an injective non-surjective homomorophism, and if the homomorphism $f$ is a composition of homomorphisms $g$ and $h$ then $g$ or $h$ is an isomorphism.Template:Rp

A proper minimal ring extension $T$ of subring $R$ occurs if the ring inclusion of $R$ in to $T$ is a minimal ring homomorphism. This implies the ring pair $(R,T)$ has no proper intermediate ring.Template:Rp

A minimal overring $T$ of ring $R$ occurs if $T$ contains $R$ as a subring, and the ring pair $(R,T)$ has no proper intermediate ring.Template:Rp

The Kaplansky ideal transform (Hayes transform, S-transform) of ideal $I$ with respect to integral domain $R$ is a subset of the fraction field $Q(R)$. This subset contains elements $x$ such that for each element $y$ of the ideal $I$ there is a positive integer $n$ with the product $x\cdot y^n$ contained in integral domain $R$.Template:Rp

Properties

Any domain generated from a minimal ring extension of domain $R$ is an overring of $R$ if $R$ is not a field.Template:Rp

The field of fractions of $R$ contains minimal overring $T$ of $R$ when $R$ is not a field.Template:Rp

Assume an integrally closed integral domain $R$ is not a field, If a minimal overring of integral domain $R$ exists, this minimal overring occurs as the Kaplansky transform of a maximal ideal of $R$.Template:Rp

Examples

The Bézout integral domain is a type of Prüfer domain; the Bézout domain's defining property is every finitely generated ideal is a principal ideal. The Bézout domain will share all the overring properties of a Prüfer domain.Template:Rp

The integer ring is a Prüfer ring, and all overrings are rings of quotients.Template:Rp The dyadic rational is a fraction with an integer numerator and power of 2 denominators. The dyadic rational ring is the localization of the integers by powers of two and an overring of the integer ring.

See also

• Template:Annotated link
• Template:Annotated link
• Template:Annotated link
• Template:Annotated link
• Glossary of ring theory
• Template:Annotated link
• Template:Annotated link
• Template:Annotated link
• Localization (commutative algebra)
• Template:Annotated link
• Template:Annotated link
• Template:Annotated link
• Template:Annotated link
• Template:Annotated link
• Regular element (in ring theory):
  • Template:Annotated link
  • Template:Annotated link
• Template:Annotated link
• Template:Annotated link
• Template:Annotated link