Finitely generated abelian group

In abstract algebra, an abelian group is a special kind of math group where you can add elements together easily.

Such a group is called finitely generated if you can build it using just a few of its elements. Think of it like having a small set of building blocks. With these blocks, you can create every element in the group by adding them together many times.

The set of blocks used to build the group is called a generating set. For example, if you have three special elements in your group, you might be able to use combinations of these three to make every other element in the group. This makes the group easier to study.

An important fact is that every finite abelian group is finitely generated. This means that even if a group has many elements, sometimes you only need a few to create the whole group. Mathematicians can describe all possible types of these groups in a clear way. This helps solve many math problems and prove new theorems.

Examples

Some simple examples of finitely generated abelian groups are the integers when we add them together and the integers modulo n when we add them. These groups can be described using just a few special numbers. We can use these numbers to create every number in the group by adding them together.

Other examples include any mix of a few finitely generated abelian groups put together and any set of points in space. We can reach these points by moving in straight lines from a starting point. However, not all groups are finitely generated. For example, the group of all rational numbers when we add them cannot be made using just a few special numbers. No matter which numbers we choose, there will always be another rational number we cannot create from them. The same is true for the group of all non-zero rational numbers when we multiply them, as well as the groups of real numbers when we add or multiply them.

Classification

The fundamental theorem of finitely generated abelian groups explains how these groups can be understood in two different ways.

One way is called "primary decomposition." This means any finitely generated abelian group can be broken down into simpler parts. Some parts repeat forever, and some have a fixed number of elements. These parts are linked together in a special way, and this breakdown is unique.

Another way is called "invariant factor decomposition." Here, the group is broken into simpler parts, arranged in a special order. Like the first method, this also gives a unique description for each group. These two methods are connected through the Chinese remainder theorem.

Corollaries

The fundamental theorem about finitely generated abelian groups tells us these groups are made of two parts: a free abelian group with a certain number (called its rank) and a finite abelian group, which is the torsion subgroup. This means every finitely generated torsion-free abelian group is free abelian, but this special property only works when the group has a finite number of generators.

Important facts include that any subgroup or factor group of a finitely generated abelian group is also finitely generated abelian. Together with group homomorphisms, these groups form a special structure called an abelian category.

Non-finitely generated abelian groups

Some abelian groups have a finite rank but are not finitely generated. For example, the group of rational numbers, denoted Q, is a rank 1 group but is not finitely generated. Another example is the group formed by combining many copies of the group Z₂, which also cannot be described using only a few generating elements. These examples show that not all abelian groups with finite rank can be described using only a few generating elements.