Talk:Prüfer domain

Latest comment: 4 days ago by 129.104.241.34 in topic A Prüfer domain that is a UFD is a PID

PlanetMath

edit

I've completely rewritten the article and removed the PlanetMath tags as they no longer apply. Arcfrk 18:30, 22 July 2007 (UTC)Reply

Zhat

edit

The projective limit of the rings Z/nZ (where Z denotes the rational integers and n runs through the natural numbers) is called Prüfer ring by some authors. Is this a Prüfer domain in the sense of the article? 128.176.149.13 (talk) 13:58, 6 February 2009 (UTC)Reply

No: it is not even an integral domain! Using the Chinese Remainder Theorem, one can show that the Prufer ring is the direct product of   as p ranges over all prime numbers, so there are plenty of zero divisors. (Perhaps some mention of this should be made in the article?) Plclark (talk) 15:06, 6 February 2009 (UTC)Reply

Zp is the endomorphism ring of the Prüfer group, and I think but am not sure that the direct product of the Zp is the endomorphism ring of the (rational) circle group Q/Z. I suspect this is where the name comes from.
I am pretty sure it is a Prüfer ring (not a Prüfer domain). An ideal without zero divisors is contained in one of the Zp, and is isomorphic as R module to Zp. Since Zp is a direct summand of R, it is projective. JackSchmidt (talk) 16:44, 6 February 2009 (UTC)Reply

A Prüfer domain that is a UFD is a PID

edit

See here. 129.104.241.34 (talk) 00:59, 30 November 2024 (UTC)Reply