Let $(R,+,\cdot)$ be a commutative ring with unity and $R^{\infty}$ be the ring of sequences $(a_0,a_1,a_2,\ldots)$ with elements in $R$. The binary operations in $R^{\infty}$ is defined as:

$(a_0,a_1,a_2,\ldots)+(b_0,b_1,b_2,\ldots)=(a_0+b_0,a_1+b_1,a_2+b_2,\ldots)$ and

$(a_0,a_1,a_2,\ldots)\cdot (b_0,b_1,b_2,\ldots)=(a_0\cdot b_0,a_1\cdot b_1,a_2\cdot b_2,\ldots)$.

Then I have the following question:

(1) Prove that $(R^{\infty},+,\cdot)$ is a commutative ring with unity.

(2) How the ideals of $R^{\infty}$ will look like.

(3) $(a_0,a_1,a_2,\ldots)$ is unit in $R^{\infty}$ if and only if $a_i$ is unit in $R$ for every $i$.

(4) If $R$ is unique factorization domain then what can we say about $R^{\infty}$?

(5) If $R=\mathbb{Z}$, then what will be the structure of $\mathbb{Z}^{\infty}$?

I have done the (1) and (3) but not able to proceed further. Kindly give some idea to solve this.

  • $\begingroup$ The ideals are complicated; see e.g. Eric Wofsey's answer at math.stackexchange.com/questions/1533237/…, and the second half of qchu.wordpress.com/2015/11/28/…. $\endgroup$ Sep 17, 2019 at 7:13
  • $\begingroup$ @QiaochuYuan thanks for your hint. What can we say about (5), is it UFD? $\endgroup$
    – MANI
    Sep 17, 2019 at 7:18
  • $\begingroup$ It is not. Try to classify the irreducible elements, then show that most elements aren't products of irreducibles. $\endgroup$ Sep 17, 2019 at 7:20
  • $\begingroup$ @QiaochuYuan Can you give some reference from where I can get more details about this ring $R^{\infty}$. Actually some asked me randomly this, but I am not familiar to this more. It will be so kind of you if give some basic references regarding this. $\endgroup$
    – MANI
    Sep 17, 2019 at 7:23
  • $\begingroup$ I don't know any references. I might give a more complete answer tomorrow. $\endgroup$ Sep 17, 2019 at 7:27

1 Answer 1

  1. Explicitly, all of the axioms hold because they hold componentwise.

  2. This is the hardest question and I'll save it for last.

  3. Explicitly, an inverse is a componentwise inverse.

  4. $R^{\infty}$ won't be a UFD even if $R$ is; the problem turns out not to be the uniqueness of factorizations but existence. An element of $R^{\infty}$ is irreducible iff it has the form $\prod r_i$ where exactly one $r_i \in R$ is irreducible and the others are units. So the elements which are products of irreducibles have the form $\prod r_i$ where all but finitely many of the $r_i$ are units. For example, $\prod p_i \in \mathbb{Z}^{\infty}$, where the $p_i$ are the primes, is not a product of irreducibles. However, we do have an "infinite irreducible factorization" given by the componentwise irreducible factorization.

  5. I don't know what you mean by "structure" here.

Now for some words on the ideals. Already the prime ideals are quite complicated. First, let's observe that there are some obvious ones, namely: if $P$ is any prime ideal of $R$, then there's a projection $\pi_i : R^{\infty} \to R$ given by taking the $i^{th}$ coordinate, and then a quotient map $R^{\infty} \to R \to R/P$. These are the "obvious" prime ideals, one copy of $\text{Spec } R$ for every coordinate. Geometrically, finite products of commutative rings correspond to disjoint unions of affine schemes.

But infinite products are more complicated. As is done in this answer by Eric Wofsey and this blog post, IMO the cleanest way to proceed is as follows. It turns out that there is a natural continuous map

$$\text{Spec } R^{\mathbb{N}} \to \beta \mathbb{N}$$

which sends a prime ideal $P$ of $R^{\mathbb{N}}$ to an ultrafilter $U$ on $\mathbb{N}$. This ultrafilter has the property that $P$ comes from a prime ideal of the quotient $R^{\mathbb{N}}/U$, which is an ultrapower of $R$. This ultrapower is elementarily equivalent to $R$, and so for example if $R$ is a field then so is any ultrapower, so in that case the space $\beta \mathbb{N}$ of ultrafilters is a complete description of the spectrum.

In general the ultrapower $R^{\mathbb{N}}/U$ has "nonstandard prime ideals" given by the kernels of quotient maps $R^{\mathbb{N}}/U \to (\prod R/P_i)/U$ to ultraproducts, where $P_i$ is a sequence of prime ideals; see Eric Wofsey's answer linked above for a worked example of this for $R = \mathbb{Z}$. There are even more complicated examples that I don't understand, but again see Eric's answer.

  • $\begingroup$ Thanks for your such explained answer. In (5) actually I want to ask whether $\mathbb{Z}$ have some algebraic structure like integral domain, UFD, etc. But now it is ok I got all the answers. Thanks again. $\endgroup$
    – MANI
    Sep 18, 2019 at 14:48

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .