Finitely generated abelian group

In abstract algebra, an abelian group is a special kind of mathematical structure where elements can be added together in a straightforward way. Such a group is called finitely generated if it can be built using just a few of its elements. Imagine you have a small set of building blocks, and with these blocks, you can create every element in the group by adding them together different numbers of times. This idea helps mathematicians understand the structure of these groups better.

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 create every other element in the group. This makes the group easier to study and classify.

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 generate the whole group. Mathematicians have found a way to completely classify finitely generated abelian groups, which means they can describe all possible types of these groups in a clear and organized way. This classification is a powerful tool in many areas of mathematics, helping to solve problems and prove new theorems.

Examples

Some simple examples of finitely generated abelian groups are the integers under addition and the integers modulo n under addition. These groups can be described using just a few special numbers that can be combined to create every number in the group.

Other examples include any combination of a few finitely generated abelian groups put together and any set of points in space that can be reached by moving in straight lines from a starting point. However, not all groups are finitely generated. For example, the group of all rational numbers under addition cannot be made using just a few special numbers, because no matter which numbers you choose, there will always be another rational number that cannot be created from them. The same is true for the group of all non-zero rational numbers under multiplication, as well as the groups of real numbers under addition and multiplication.

Classification

The fundamental theorem of finitely generated abelian groups explains how these groups can be understood in two different ways. This theorem builds on ideas from simpler cases and applies to more complex structures.

One way to understand these groups is through what is called "primary decomposition." This means that any finitely generated abelian group can be broken down into simpler parts: some that repeat forever (infinite cyclic groups) and some that have a fixed, limited number of elements (primary cyclic groups). These simpler parts are linked together in a specific way, and this breakdown is unique for each group.

Another way is called "invariant factor decomposition." Here, the group is also broken into simpler parts, but these parts are arranged in a special order where each part fits into the next one. Like the first method, this also gives a unique description for each group. These two methods are connected through a mathematical idea known as the Chinese remainder theorem.

Corollaries

The fundamental theorem about finitely generated abelian groups tells us that 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, even if they have a finite rank, 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 generated by a finite number of elements. These examples show that not all abelian groups with finite rank can be described using only a few generating elements.