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.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I've asked a similar question: Computing Quotient Groups

But now I want to compute a quotient group involving a direct product in which every direct factor is infinite. For example $\mathbb{Z} \times \mathbb{Z} \times \mathbb{Z} / \langle(1, 1, 1)\rangle$ or $\mathbb{Z} \times \mathbb{Z} \times \mathbb{Z} / \langle(3, 3, 3)\rangle$. Is there a better approach than just looking for a homomorphism?

Thanks in advance.

share|cite|improve this question
"The direct product of all infinite groups" would be a very big thing indeed. I think you mean "a direct product in which every direct factor is infinite." – Arturo Magidin Dec 13 '11 at 6:00
@Arturo: Thanks for the suggestion. – Student Dec 13 '11 at 6:02
up vote 4 down vote accepted

In the case of a finite direct product of copies of $\mathbb{Z}$, the Smith Normal Form solves the problem for you.

Here, note that $\mathbb{Z}^3$ has a basis of the form $(1,0,0)$, $(1,1,0)$, and $(1,1,1)$, so your first quotient is just isomorphic to $\mathbb{Z}^2$ (you are just "killing" one generator). The same basis tells you that the second quotient is isomorphic to $\mathbb{Z}^2\times \mathbb{Z}_3$.

share|cite|improve this answer
Do you know a good reference where I can get more practice with these kinds of problems? – Student Dec 13 '11 at 6:07
Nothing specific to the kind of problems you seem to be looking at; any book on Abstract Algebra (Lang, Dummit and Foote, Herstein, Jacobson) will have the material and exercises on it, but probably not many. Same with introductory books to group theory (e.g., Rotman). – Arturo Magidin Dec 13 '11 at 6:08

Your Answer


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.