J-2 ring

In commutative algebra, a J-0 ring is a ring such that the set of regular points of the spectrum contains a non-empty open subset, a J-1 ring is a ring such that the set of regular points of the spectrum is an open subset, and a J-2 ring is a ring such that any finitely generated algebra over the ring is a J-1 ring.

Examples

Most rings that occur in algebraic geometry or number theory are J-2 rings, and in fact it is not trivial to construct any examples of rings that are not. In particular all excellent rings are J-2 rings; in fact this is part of the definition of an excellent ring.

All Dedekind domains of characteristic 0 and all local Noetherian rings of dimension at most 1 are J-2 rings. The family of J-2 rings is closed under taking localizations and finitely generated algebras.

For an example of a Noetherian domain that is not a J-0 ring, take R to be the subring of the polynomial ring k[x1,x2,...] in infinitely many generators generated by the squares and cubes of all generators, and form the ring S from R by adjoining inverses to all elements not in any of the ideals generated by some xn. Then S is a 1-dimensional Noetherian domain that is not a J-0 ring. More precisely S has a cusp singularity at every closed point, so the set of non-singular points consists of just the ideal (0) and contains no nonempty open sets.

gollark: I simply have a TTS thing on my laptop and use a virtual microphone to give the output to Discord.
gollark: No.
gollark: Sometimes I use a text to speech thing in voice chats.
gollark: OBSERVE, my moon capturer.
gollark: There isn't an SCP-055.

See also

References
  • H. Matsumura, Commutative algebra ISBN 0-8053-7026-9, chapter 12.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.