# Ring with subring isomorphic to $\mathbb{Z}$ and subring isomorphic to $\mathbb{Z}_{3}$

This is a homework question that I'm either not thinking through all the way, or I'm overcomplicating the issue. It reads

Give an example of a ring that contains a subring isomorphic to $\mathbb{Z}$ and a subring isomorphic to $\mathbb{Z}_3$.

My quick answer is that $\mathbb{Z}_3 \oplus \mathbb{Z}$ is such a ring. We can take $R = \{(a,0) | a \in \mathbb{Z}_3\}$ to be a subring isomorphic to $\mathbb{Z}_3$ and $S = \{(0,a) | a \in \mathbb{Z}\}$ to be a subring isomorphic to $\mathbb{Z}$.

Is there something crucial I'm missing here, or is the problem really that simple?

• It depends on whether you require that the identity in a subring agrees with the identity in the overring. Jan 9, 2012 at 2:44
• Note that for some authors, "subring" is supposed to imply "has the same identity element", which makes this exercise impossible. If you don't have that restriction, then this looks great! Jan 9, 2012 at 2:44
• "Subring" should probably be interpreted in the sense which does not require the small ring and the big one to share the identity element. It never hurts to be explicit about that. Jan 9, 2012 at 2:45
• Wow :) ${}{}{}{}$ Jan 9, 2012 at 2:45
• @MarcOlschok That ring is $\mathbf Z/3$, isn't it? Jan 10, 2012 at 23:08

There's nothing crucial you're missing, although you should be aware that the convention that a subring need not share its identity with the overring is not standard. With that convention, the problem is impossible, since $\mathbb{Z}$ is a subring of a ring iff it has characteristic $0$ and $\mathbb{Z}/3\mathbb{Z}$ is a subring if a ring iff it has characteristic $3$.