It’s been a while since I’ve posted, mainly because I’ve been trying to work through a single theorem: the fundamental theorem of finite abelian groups. I read through the proof as presented in Gallian, and then, because it was so concise and dense, I decided to try to work through the presentation of the proof in Carter’s *Visual Group Theory*. I had hoped that this second exposition of the proof would be clearer, but in reality, Carter presents the proof as a series of exercises which guide the reader through creating the proof. Unfortunately, while I made it through most of these exercises, the last one was rather opaque, and, although I think I’d have been able to make it through it, I decided that I wanted to move on to the next topic (Sylow theorems) so that I’d have time to spend on Sylow before I have to wrap up the independent study by the end of spring exams.

The statement of the fundamental theorem of finite abelian groups is as follows: given an abelian group *G*, *G* can be expressed uniquely as the direct product of cyclic groups of prime-power order. In a sense, one can view this theorem as a version of the fundamental theorem of arithmetic (which states that every natural number has a unique decomposition as the product of powers of primes) for abelian groups.

I won’t include every exercise from *Visual Group Theory* that I worked on since many of them are rather verbose and fairly straightforward. I will include one, however, that is more interesting and that I found more difficult.

This exercise ultimately concludes that, even if the image is not cyclic, we can apply the same homomorphism to the image of the original homomorphism, and continue applying this homomorphism to the image of the previous application of the homomorphism until we finally get the trivial group. The group in this chain of images that comes right before the trivial group must be a cyclic group of order *p*, and so then part (a) of this exercise then guarantees that all of the groups in the chain are cyclic (by applying the result once for each homomorphism in the chain). This eventually shows that G itself must be cyclic. Thus, part (a) is the heart of the exercise—the rest of the parts just deal with defining the chain of homomorphisms and groups that eventually allows us to apply the result of part (a).

The overall chain of reasoning of the proof is as follows: First, we show that any abelian group can be decomposed into the direct product of (not necessarily cyclic) abelian groups whose orders are powers of primes. We then show that any abelian group whose order is a power of a prime into the direct product of *cyclic* groups of prime-power order. The exercise I described above establishes a crucial fact that is instrumental in the second part of the proof.