0
$\begingroup$

This question already has an answer here:

STATEMENT: Let $H$ be a subgroup of a finite abelian group $G$. Show that $G$ has a subgroups that is isomorphic to $G/H$.

QUESTION: Could someone offer a proof using dual groups. I have found one use the fundamental theorem of finitely generated abelian groups, but I cannot seem to find on using dual groups.

$\endgroup$

marked as duplicate by Lord Shark the Unknown abstract-algebra Jan 19 at 4:56

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

2
$\begingroup$

Let $S^1$ be the circle group. Consider the exact sequence:

$$0\to H\to G \to G/H \to 0$$

Applying the functor $\operatorname{Hom}(-,S^1)$, we get another exact sequence:

$$0\to \operatorname{Hom}(G/H,S^1) \to \operatorname{Hom}(G,S^1) \to \operatorname{Hom}(H,S^1)$$

Now, it so happens that $\operatorname{Hom}(G,S^1) \cong G$ for a finite abelian group $G$—though I don't know if there's a good way to prove that without using the fundamental theorem. But if you accept it, then this sequence gives us a (non-canonical) injection $G/H\to G$.

$\endgroup$
  • $\begingroup$ I'm not too familiar with the circle group or functors. Do you mind showing the isomorphism Hom$(G,S1)≅G$ $\endgroup$ – Enigma Oct 3 '14 at 14:53
  • 1
    $\begingroup$ @S.Sheng The point is that $S^1$ has a unique cyclic subgroup of every finite order. So if $G$ is a finite cyclic group, say $G\cong \mathbb{Z}/n$, then $nG = 0$ so $\operatorname{Hom}(G,S^1) \cong \operatorname{Hom}(\mathbb{Z}/n,\mathbb{Z}/n) \cong \mathbb{Z}/n$. We then extend this isomorphism to all direct sums of finite cyclic groups. But the fact that every finite abelian group is a direct sum of cyclic groups is basically the fundamental theorem. There cannot be a canonical isomorphism (as there is no canonical section of $G\to G/H$). $\endgroup$ – Slade Oct 3 '14 at 14:58
  • 1
    $\begingroup$ @S.Sheng Oh, and the only thing that's really important about all the functor business it that if $A\to B$ is a surjection, then $\operatorname{Hom}(B,C)\to \operatorname{Hom}(A,C)$ is an injection (for any $C$). This can be proved directly. $\endgroup$ – Slade Oct 3 '14 at 15:10
  • $\begingroup$ Got it. Thanks! $\endgroup$ – Enigma Oct 3 '14 at 16:50

Not the answer you're looking for? Browse other questions tagged or ask your own question.