In mathematics, an integral domain
- Its quotient field is a simple extension of
D - Its quotient field is a finite extension of
D - Intersection of its nonzero prime ideals (not to be confused with nilradical) is nonzero
- There is an element
u such that for any nonzero idealI ,u n ∈ I for somen .
A G-ideal is defined as an ideal
Every maximal ideal is a G-ideal, since quotient by maximal ideal is a field, and a field is trivially a G-domain. Therefore, maximal ideals are G-ideals, and G-ideals are prime ideals. G-ideals are the only maximal ideals in Jacobson ring, and in fact this is an equivalent characterization of a Jacobson ring: a ring is a Jacobson ring when all maximal ideals are G-ideals. This leads to a simplified proof of the Nullstellensatz.
It is known that given
A Noetherian domain is a G-domain iff its rank is at most one, and has only finitely many maximal ideals (or equivalently, prime ideals).