Finite abelian groups in a exact sequence

403 Views Asked by At

This is probably very simple, but I'm stuck trying to understand the following argumentation I read in a book:

(here, $A,B, C$ are abelian groups)

[...] since $A, C$ are finite, the exact sequence $0\to A\xrightarrow{f}B\xrightarrow{g}C$ nests $B$ between two finite groups, therefore $B$ must be finite.

From the exact sequence, I can only see that $B/A\simeq B/\ker(g)\simeq im(g)<C$, so that $B/A$ is finite. But how do I know that $B$ itself is finite?

1

There are 1 best solutions below

0
On BEST ANSWER

$B/A$ is finite because $B/A = B/\mathrm{Im}f = B/\mathrm{Ker}g \simeq \mathrm{Im}g \subset C$, and $C$ is finite.

Let's choose a (finite) set of representatives in $B$ for $B/A$: $B/A = \{x_1 + A ,..., x_n+A\}$ .

Then $B= \displaystyle\bigcup_{i=1}^n (x_i +A)$

$A$ being finite, each $x_i +A$ is finite and so $B$ is finite as a finite union of finite sets.