Abelian group

An abelian group is a specific kind of mathematical structure. In a standard group, you have a set of elements and an operation to combine them. In an abelian group, the order of these elements does not change the final result. This property is known as commutativity.

If you have two elements, $a$ and $b$, the operation on $a$ and $b$ gives the same result as the operation on $b$ and $a$. This concept is vital because it forms the foundation for more complex systems like rings, fields, and vector spaces. Because of this structure, the theory of abelian groups is generally simpler than non-abelian groups. In fact, mathematicians have fully classified all finite abelian groups.

To be classified as an abelian group, a set and its operation must satisfy four specific requirements called axioms. The first is associativity, which means that for any three elements, the way you group them does not change the result. The second is the existence of an identity element. This is a special member that, when combined with any other element, leaves that element unchanged. The third is the existence of an inverse element. For every member in the group, there must be another member that brings it back to the identity.

The final requirement is commutativity, which ensures the order of the elements is irrelevant. If a group lacks this commutativity, it is called a non-abelian or non-commutative group.

Mathematicians use different notations depending on the context. The multiplicative notation is the most common for general groups. In this system, the identity is usually 1 and the inverse is written using exponents. However, the additive notation is standard for modules and rings. In additive notation, the identity is 0 and the inverse is written with a negative sign.

Using additive notation can help highlight that a group is abelian, especially when comparing it to non-abelian groups. For example, the integers and real numbers are classic examples of abelian groups under the operation of addition.

We can also study these groups through their history. The term "abelian group" was coined by Camille Jordan. He named them after the Norwegian mathematician Niels Henrik Abel. Abel made significant discoveries regarding polynomials. He found that if the group of a polynomial is commutative, its roots can be calculated using radicals.

This connection between group commutativity and solving equations was a major breakthrough. It helped shape the development of modern algebra.

There are many ways to verify if a finite group is abelian. One method is to construct a Cayley table, which is a matrix similar to a multiplication table. If the group is abelian, this table will be symmetric about its main diagonal.

This symmetry proves that the result of $a$ combined with $b$ is the same as $b$ combined with $a$. We see abelian groups in many places. The set of all integers under addition is an abelian group where zero is the identity. The nonzero real numbers also form an abelian group under multiplication. However, most matrices do not form an abelian group under multiplication because the order of multiplication usually matters.

One of the most important results is the fundamental theorem of finite abelian groups. This theorem states that every finite abelian group can be expressed as a direct sum of cyclic subgroups of prime-power order. This is also known as the basis theorem.

Leopold Kronecker proved this classification in 1870. This theorem allows mathematicians to break down complex groups into simpler, predictable parts. For example, an abelian group of order 15 is always isomorphic to the direct sum of groups of order 3 and 5. This means all abelian groups of that specific size behave in the same way.

Abelian groups also relate deeply to the study of modules. In many ways, the concepts of an abelian group and a $\mathbb{Z}$-module are the same. Every abelian group is a module over the ring of integers in a unique way. Furthermore, abelian groups have a property called rank. The rank is defined as the maximal cardinality of a set of linearly independent elements.

While finite abelian groups have a rank of zero, the integers and rational numbers have a rank of one. This structural depth allows mathematicians to apply these ideas to many different fields of study.