G-ring

Last updated August 13, 2023

In commutative algebra, a G-ring or Grothendieck ring is a Noetherian ring such that the map of any of its local rings to the completion is regular (defined below). Almost all Noetherian rings that occur naturally in algebraic geometry or number theory are G-rings, and it is quite hard to construct examples of Noetherian rings that are not G-rings. The concept is named after Alexander Grothendieck.

Definitions

A (Noetherian) ring R containing a field k is called geometrically regular over k if for any finite extension K of k the ring R ⊗_k K is a regular ring.
A homomorphism of rings from R to S is called regular if it is flat and for every p ∈ Spec(R) the fiber S ⊗_R k(p) is geometrically regular over the residue field k(p) of p. (see also Popescu's theorem.)
A ring is called a local G-ring if it is a Noetherian local ring and the map to its completion (with respect to its maximal ideal) is regular.
A ring is called a G-ring if it is Noetherian and all its localizations at prime ideals are local G-rings. (It is enough to check this just for the maximal ideals, so in particular local G-rings are G-rings.)

Examples

Every field is a G-ring
Every complete Noetherian local ring is a G-ring
Every ring of convergent power series in a finite number of variables over R or C is a G-ring.
Every Dedekind domain in characteristic 0, and in particular the ring of integers, is a G-ring, but in positive characteristic there are Dedekind domains (and even discrete valuation rings) that are not G-rings.
Every localization of a G-ring is a G-ring
Every finitely generated algebra over a G-ring is a G-ring. This is a theorem due to Grothendieck.

Here is an example of a discrete valuation ring A of characteristic p>0 which is not a G-ring. If k is any field of characteristic p with [k : k^p] = ∞ and R = k[[x]] and A is the subring of power series Σa_ixⁱ such that [k^p(a₀,a₁,...) : k^p] is finite then the formal fiber of A over the generic point is not geometrically regular so A is not a G-ring. Here k^p denotes the image of k under the Frobenius morphism a→a^p.

Related Research Articles

In commutative algebra, the Krull dimension of a commutative ring R, named after Wolfgang Krull, is the supremum of the lengths of all chains of prime ideals. The Krull dimension need not be finite even for a Noetherian ring. More generally the Krull dimension can be defined for modules over possibly non-commutative rings as the deviation of the poset of submodules.

In mathematics, a commutative ring is a ring in which the multiplication operation is commutative. The study of commutative rings is called commutative algebra. Complementarily, noncommutative algebra is the study of ring properties that are not specific to commutative rings. This distinction results from the high number of fundamental properties of commutative rings that do not extend to noncommutative rings.

In abstract algebra, a Dedekind domain or Dedekind ring, named after Richard Dedekind, is an integral domain in which every nonzero proper ideal factors into a product of prime ideals. It can be shown that such a factorization is then necessarily unique up to the order of the factors. There are at least three other characterizations of Dedekind domains that are sometimes taken as the definition: see below.

In mathematics, more specifically in ring theory, local rings are certain rings that are comparatively simple, and serve to describe what is called "local behaviour", in the sense of functions defined on varieties or manifolds, or of algebraic number fields examined at a particular place, or prime. Local algebra is the branch of commutative algebra that studies commutative local rings and their modules.

Commutative algebra, first known as ideal theory, is the branch of algebra that studies commutative rings, their ideals, and modules over such rings. Both algebraic geometry and algebraic number theory build on commutative algebra. Prominent examples of commutative rings include polynomial rings; rings of algebraic integers, including the ordinary integers $; and p -adic integers .$

In algebra, ring theory is the study of rings—algebraic structures in which addition and multiplication are defined and have similar properties to those operations defined for the integers. Ring theory studies the structure of rings, their representations, or, in different language, modules, special classes of rings, as well as an array of properties that proved to be of interest both within the theory itself and for its applications, such as homological properties and polynomial identities.

In mathematics, specifically abstract algebra, an Artinian ring is a ring that satisfies the descending chain condition on (one-sided) ideals; that is, there is no infinite descending sequence of ideals. Artinian rings are named after Emil Artin, who first discovered that the descending chain condition for ideals simultaneously generalizes finite rings and rings that are finite-dimensional vector spaces over fields. The definition of Artinian rings may be restated by interchanging the descending chain condition with an equivalent notion: the minimum condition.

In mathematics, a Cohen–Macaulay ring is a commutative ring with some of the algebro-geometric properties of a smooth variety, such as local equidimensionality. Under mild assumptions, a local ring is Cohen–Macaulay exactly when it is a finitely generated free module over a regular local subring. Cohen–Macaulay rings play a central role in commutative algebra: they form a very broad class, and yet they are well understood in many ways.

In commutative algebra, a regular local ring is a Noetherian local ring having the property that the minimal number of generators of its maximal ideal is equal to its Krull dimension. In symbols, let A be a Noetherian local ring with maximal ideal m, and suppose a₁, ..., a_n is a minimal set of generators of m. Then by Krull's principal ideal theorem n ≥ dim A, and A is defined to be regular if n = dim A.

In algebraic geometry, a proper morphism between schemes is an analog of a proper map between complex analytic spaces.

In abstract algebra, a discrete valuation ring (DVR) is a principal ideal domain (PID) with exactly one non-zero maximal ideal.

In abstract algebra, a valuation ring is an integral domain D such that for every element x of its field of fractions F, at least one of x or x⁻¹ belongs to D.

In algebra, a Hilbert ring or a Jacobson ring is a ring such that every prime ideal is an intersection of primitive ideals. For commutative rings primitive ideals are the same as maximal ideals so in this case a Jacobson ring is one in which every prime ideal is an intersection of maximal ideals.

In commutative algebra, a quasi-excellent ring is a Noetherian commutative ring that behaves well with respect to the operation of completion, and is called an excellent ring if it is also universally catenary. Excellent rings are one answer to the problem of finding a natural class of "well-behaved" rings containing most of the rings that occur in number theory and algebraic geometry. At one time it seemed that the class of Noetherian rings might be an answer to this problem, but Masayoshi Nagata and others found several strange counterexamples showing that in general Noetherian rings need not be well-behaved: for example, a normal Noetherian local ring need not be analytically normal.

In commutative algebra, an N-1 ring is an integral domain $whose integral closure in its quotient field is a finitely generated -module. It is called a Japanese ring if for every finite extension of its quotient field, the integral closure of in is a finitely generated -module. A ring is called universally Japanese if every finitely generated integral domain over it is Japanese, and is called a Nagata ring, named for Masayoshi Nagata, or a pseudo-geometric ring if it is Noetherian and universally Japanese. A ring is called geometric if it is the local ring of an algebraic variety or a completion of such a local ring, but this concept is not used much.$

In mathematics, a Prüfer domain is a type of commutative ring that generalizes Dedekind domains in a non-Noetherian context. These rings possess the nice ideal and module theoretic properties of Dedekind domains, but usually only for finitely generated modules. Prüfer domains are named after the German mathematician Heinz Prüfer.

In commutative algebra, an integrally closed domainA is an integral domain whose integral closure in its field of fractions is A itself. Spelled out, this means that if x is an element of the field of fractions of A which is a root of a monic polynomial with coefficients in A, then x is itself an element of A. Many well-studied domains are integrally closed, as shown by the following chain of class inclusions:

This is a glossary of algebraic geometry.

This is a glossary of commutative algebra.

References

A. Grothendieck, J. Dieudonné, Eléments de géométrie algébrique IV Publ. Math. IHÉS 24 (1965), section 7
H. Matsumura, Commutative algebra ISBN 0-8053-7026-9, chapter 13.

This commutative algebra-related article is a stub. You can help Wikipedia by expanding it.

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

G-ring

Contents

Definitions

Examples

Related Research Articles

References