As David Speyer says, the most common ways of referring to $prod_p mathbb{Z}_p$ are "$mathbb{Z}$-hat" or "the profinite completion of $mathbb{Z}$''.
However, I have also heard it called "the Prufer ring", see e.g.
http://mathworld.wolfram.com/PrueferRing.html
I do not endorse this usage, since nowadays "Prufer ring" is a certain kind of commutative ring. An integral domain is a Prufer ring if every finitely generated ideal is invertible. Of course $widehat{mathbb{Z}}$ is not a domain. More recently there have been definitions of Prufer ring for non-domains; unfortunately not all of the characterizations of Prufer domains carry over to rings with zero divisors and it is not completely clear to me that there is one standard definition of a Prufer ring. For instance, I have seen that a Prufer ring is a ring in which every finitely generated regular (i.e., containing a non zero-divisor) ideal is invertible, and also that a Prufer ring is a ring in which each finitely generated ideal is flat. (In fact I do not know off-hand whether these two conditions are equivalent! In any case, there are many others...)
For every definition of Prufer ring I have seen, it is at least true that $widehat{mathbb{Z}}$ is a Prufer ring.
Also, in Fried and Jarden's authoritative text Field Arithmetic, they refer to
$widehat{mathbb{Z}}$ as the Prufer group (p. 14 of the third edition). Again, I have heard other things referred to as Prufer groups in the literature...
In summary, "Z-hat" is probably your best bet.
No comments:
Post a Comment