Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

A regular local ring is a domain. Is a regular ring (a ring whose localization at every prime ideal is regular) also a domain? I am unable to find/construct a proof or a counterexample. Any help would be appreciated.

share|improve this question
add comment

1 Answer

up vote 13 down vote accepted

No. E.g. choose two regular domains and take their product; this will be regular, but not a domain.

This is more or less the general case, as I will explain: In general, a Noetherian ring, all of whose localizations at its prime ideals are domains, is a finite product of domains (and of course a finite product of domains has this localization property). So a regular Noetherian ring will be a finite product of regular domains (and conversely any such product will be regular).

Geometrically, one can think of this as follows: regularity of $A$ is a local property on Spec $A$, and Spec $A\times B$ is equal to Spec $A \coprod$ Spec $B$. So locally Spec $A\times B$ looks like either Spec $A$ or Spec $B$. In particular, local properties, such as regularity (or the condition that the localization at prime ideals be a domain) can't detect global properties (like $A$ itself being a domain).

share|improve this answer
1  
Thanks a lot for the elaborate explanation. –  Dev Bappa Jan 23 '11 at 23:50
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.