Free abelian group — Safekipedia Discoverer

In mathematics, a free abelian group is a special kind of abelian group that has a basis. An abelian group is a set where you can add any two elements together, and the order doesn't matter—adding A + B is the same as B + A. It also follows rules like (A + B) + C = A + (B + C), and every element has an opposite, so A + (-A) = 0.

A basis is a small set of special elements that can be used to build every element in the group by adding them together different numbers of times. For example, in a two-dimensional integer lattice, you can think of the points (1, 0) and (0, 1) as the basis. By adding these points together different whole-number times, you can reach any point with whole-number coordinates on the grid.

Free abelian groups behave a lot like vector spaces, which are studied in areas like algebraic topology and algebraic geometry. Every set can be used as a basis for a free abelian group, and this group is special because no matter how you pick the basis, the resulting group will always look the same in a structural way. This makes free abelian groups very useful for understanding more complicated structures in higher mathematics.

Definition and examples

A free abelian group is a special kind of mathematical group. It has a set of elements and a way to combine them (like adding numbers) that follows certain rules. These rules are:

Commutative: The order doesn’t matter. Adding element A to B is the same as adding B to A.
Associative: Grouping doesn’t matter. Adding A to B, then to C, is the same as adding A to (B plus C).
Identity element: There is a special element (we’ll call it 0) that, when added to any element, doesn’t change it.
Inverse elements: Every element has a matching “opposite” so that adding them together gives the identity element.

This group also has a basis — a selection of elements where every element in the group can be created by adding together multiples of these basis elements.

Simple Examples

The Integers: The whole numbers (... -2, -1, 0, 1, 2, ...) form a free abelian group. Their basis is just the number 1. Any positive number is made by adding 1 to itself that many times, and any negative number is made by adding -1.
Positive Rational Numbers: These are numbers like 1/2, 3/4, and so on. Using multiplication as the group operation, the prime numbers act as the basis. Each rational number can be broken down into a product of primes and their “inverses” (like fractions).

These examples show how free abelian groups appear in everyday math!

Constructions

Every set can serve as the basis for a free abelian group, and this group is unique in structure. There are several ways to build this group, such as using copies of the integers, integer-valued functions, or signed collections of elements.

When combining free abelian groups, the result remains free abelian. For example, the direct product of two free abelian groups has a basis that combines the bases of both groups. However, for infinitely many groups, the direct sum (not the direct product) keeps the result free abelian. This means that only a limited number of elements from each group are used at once.

Free abelian groups can also be described using functions that assign integer values to elements of a set, with only finitely many nonzero values. These functions can be added together in a straightforward way, forming the structure of an abelian group. Each element of the original set corresponds to a basic function, and all functions can be expressed as combinations of these basics.

As a module

Modules over the integers work much like vector spaces over the real numbers or rational numbers. They are systems of elements that can be added together, with a special way to multiply by integers that fits with the addition. Every abelian group can be seen as a module over the integers.

Not all abelian groups have a basis, which is why those that do are called "free." A free abelian group is the same as a free module over the integers. One way to combine free abelian groups is by using the tensor product of these modules. The result is always another free abelian group.

0 x = 0 {\displaystyle 0\,x=0}
1 x = x {\displaystyle 1\,x=x}
n x = x + ( n − 1 ) x , {\displaystyle n\,x=x+(n-1)\,x,\quad }	if n > 1 {\displaystyle n>1}
n x = − ( ( − n ) x ) , {\displaystyle n\,x=-((-n)\,x),}	if n

Properties

A free abelian group is a special kind of group in mathematics. It has a "basis," which is a set of elements. Every element in the group can be written as a sum of these basis elements, each multiplied by an integer. This makes the group very structured and easy to work with.

One key feature of free abelian groups is their "universal property." This means that for any function you can imagine from the basis to another abelian group, there's a unique way to extend that function to the whole group. This property helps show that free abelian groups are unique and important in the study of groups.

Applications

Main article: Chain (algebraic topology)

The rational function z 4 / ( z 4 − 1 ) {\displaystyle z^{4}/(z^{4}-1)} has a zero of order four at 0 (the black point at the center of the plot), and simple poles at the four complex numbers ± 1 {\displaystyle \pm 1} and ± i {\displaystyle \pm i} (the white points at the ends of the four petals). It can be represented (up to a scalar) by the divisor 4 e 0 − e 1 − e − 1 − e i − e − i {\displaystyle 4e_{0}-e_{1}-e_{-1}-e_{i}-e_{-i}} where e z {\displaystyle e_{z}} is the basis element for a complex number z {\displaystyle z} in a free abelian group over the complex numbers.

In algebraic topology, free abelian groups help us study shapes and spaces. We think of simple building blocks called simplices, and group them together using addition. This lets us understand the shape's structure and how its parts connect.

Main article: Divisor (algebraic geometry)

Free abelian groups are also useful in studying equations and their solutions. For example, in algebraic geometry, they help us describe important points on curves and surfaces, making complex ideas easier to work with.