Free abelian group — Safekipedia Adventurer

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 it doesn't matter which order you add them in. 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. You can use these to build every element in the group by adding them together many 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. They are studied in areas like algebraic topology and algebraic geometry. Every set can be used as a basis for a free abelian group. This group is special because no matter which basis you pick, the group will always look the same in a structural way. This makes free abelian groups 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 be used to build a free abelian group, and this group has a special structure. There are different ways to create this group, like using copies of the integers, functions with integer values, or signed lists of elements.

When we combine free abelian groups, the result is still free abelian. For example, multiplying two free abelian groups together keeps the result free abelian if we only use a few elements from each group.

Free abelian groups can also be described using functions that give integer values to elements of a set, but only a few of these values are not zero. These functions can be added together easily, creating the structure of an abelian group. Each element of the original set matches a basic function, and all functions are combinations of these basics.

As a module

Modules over the integers work like vector spaces over the real numbers or rational numbers. They are sets of elements you can add together. You can also multiply these elements by integers in a way that works with the addition.

Every abelian group can be thought of as a module over the integers.

Not all abelian groups have a basis. Those that do are called "free." A free abelian group is the same as a free module over the integers. You can combine free abelian groups 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 and group them together using addition. This helps us understand how the shape is made and how its parts fit together.

Main article: Divisor (algebraic geometry)

Free abelian groups are also useful for studying equations and their answers. For example, in algebraic geometry, they help us describe important points on curves and surfaces, making tricky ideas easier to handle.