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

Let $G$ be a finitely generated abelian group. Then prove that it is not isomorphic to $\frac{G}{N}$, for every subgroup $N\neq\langle 1\rangle$.

share|cite|improve this question
Off the top of my head, I'd look at the orders of the generators. It would seem one of them would have to drop when you move to the quotient group. – Alex Becker Apr 11 '12 at 8:11

Suppose $f:G\to G/N$ is an isomorphism and let $p:G\to G/N$ be the projection.

Let $N_1=N$, $N_2=p^{-1}(f(N_1))$, $N_3=p^{-1}(f(N_2))$ and so on. This defines a increasing sequence $$N_1\subseteq N_2\subseteq N_3\subseteq\cdots$$ of subgroups of $G$. You can check that if $N$ is non-trivial, then the sequence is strictly increasing.

This is absurd, since $G$ is a noetherian $\mathbb Z$-module.

Later. Alternatively, let $N$ be a subgroup of $G$. We have a short exact sequence $$0\to N\to G\to G/N\to 0$$ so for the ranks of the groups we have $\newcommand\rk{\operatorname{rk}}\rk G=\rk N+\rk G/N$. If $G\cong G/N$ we must have $\rk N=0$, so $N$ is torsion. But then $N$ is contained in the torsion subgroup $t(G)$ of $G$, and clearly the torsion subgroup $t(G/N)$ has less elements than $t(G)$ unless $N=0$. It follows that $G\not\cong G/N$ unless $N=0$.

share|cite|improve this answer
What can we say when $G$ is a permutation group instead? – Babak S. Apr 11 '12 at 8:38
Well, that is a completely different question... You'd better ask it separately! – Mariano Suárez-Alvarez Apr 11 '12 at 8:39
But every group is a permutation group? – Nishant Oct 16 '14 at 18:43

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.