PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
Jaffard ring (Definition)

Let $\operatorname{dim}$ denote Krull dimension. A Jaffard ring is a ring $A$ for which $\operatorname{dim}(A[x])=\operatorname{dim}(A)+1$ (compare to the bound on the Krull dimension of polynomial rings). Such a ring is said to be Jaffardian.

Since this condition holds for Noetherian rings, every Noetherian ring is Jaffardian. Examples of rings that are not Jaffardian are thus relatively difficult to come by, since we are already forced to search exclusively in the realm of non-Noetherian rings. The first example of a non-Jaffardian ring seems to have been found by A. Seidenberg [Seid]: the subring of $\ol{\mathbb{Q}}[[T]]$ consisting of power series whose constant term is rational.

A Jaffard domain is a Jaffard ring which is also an integral domain.

Bibliography

Seid
A. Seidenberg, A note on the dimension theory of rings. Pacific J. of Mathematics, Volume 3 (1953), 505-512.




"Jaffard ring" is owned by mathcam.
(view preamble | get metadata)

View style:

Also defines:  Jaffard domain, Jaffard
Log in to rate this entry.
(view current ratings)

Cross-references: integral domain, rational, constant term, power series, subring, examples of rings, noetherian rings, bound on the Krull dimension of polynomial rings, ring, Krull dimension

This is version 1 of Jaffard ring, born on 2005-06-29.
Object id is 7197, canonical name is JaffardRing.
Accessed 3260 times total.

Classification:
AMS MSC13F05 (Commutative rings and algebras :: Arithmetic rings and other special rings :: Dedekind, Prüfer and Krull rings and their generalizations)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)