In mathematics, a free abelian group is an abelian group with a basis. Being an abelian group means that it is a set with an addition operation that is associative, commutative, and invertible. A basis, also called an integral basis, is a subset such that every element of the group can be uniquely expressed as an integer combination of finitely many basis elements. For instance the two-dimensional integer lattice forms a free abelian group, with coordinatewise addition as its operation, and with the two points (1,0) and (0,1) as its basis. Free abelian groups have properties which make them similar to vector spaces, and may equivalently be called free-modules, the free modules over the integers. Lattice theory studies free abelian subgroups of real vector spaces. In algebraic topology, free abelian groups are used to define chain groups, and in algebraic geometry they are used to define divisors.
The elements of a free abelian group with basis may be described in several equivalent ways. These include formal sumsover , which are expressions of the form where each is a nonzero integer, each is a distinct basis element, and the sum has finitely many terms. Alternatively, the elements of a free abelian group may be thought of as signed multisets containing finitely many elements of , with the multiplicity of an element in the multiset equal to its coefficient in the formal sum.
Another way to represent an element of a free abelian group is as a function from to the integers with finitely many nonzero values; for this functional representation, the group operation is the pointwise addition of functions.
Every set has a free abelian group with as its basis. This group is unique in the sense that every two free abelian groups with the same basis are isomorphic. Instead of constructing it by describing its individual elements, a free abelian group with basis may be constructed as a direct sum of copies of the additive group of the integers, with one copy per member of . Alternatively, the free abelian group with basis may be described by a presentation with the elements of as its generators and with the commutators of pairs of members as its relators. The rank of a free abelian group is the cardinality of a basis; every two bases for the same group give the same rank, and every two free abelian groups with the same rank are isomorphic. Every subgroup of a free abelian group is itself free abelian; this fact allows a general abelian group to be understood as a quotient of a free abelian group by "relations", or as a cokernel of an injective homomorphism between free abelian groups. The only free abelian groups that are free groups are the trivial group and the infinite cyclic group.
and 20 Related for: Free abelian group information
mathematics, an abeliangroup, also called a commutative group, is a group in which the result of applying the group operation to two group elements does...
In abstract algebra, an abeliangroup ( G , + ) {\displaystyle (G,+)} is called finitely generated if there exist finitely many elements x 1 , … , x s...
different notion is a freeabeliangroup; both notions are particular instances of a free object from universal algebra. As such, freegroups are defined by...
algebraic number theory, an abelian variety is a projective algebraic variety that is also an algebraic group, i.e., has a group law that can be defined by...
torsion-free rank of an abeliangroup A is the cardinality of a maximal linearly independent subset. The rank of A determines the size of the largest free abelian...
has the abeliangroups as objects and group homomorphisms as morphisms. This is the prototype of an abelian category: indeed, every small abelian category...
mathematics, the Grothendieck group, or group of differences, of a commutative monoid M is a certain abeliangroup. This abeliangroup is constructed from M in...
In group theory, a branch of abstract algebra, the Whitehead problem is the following question: Is every abeliangroup A with Ext1(A, Z) = 0 a free abelian...
In mathematics, specifically in group theory, an elementary abeliangroup is an abeliangroup in which all elements other than the identity have the same...
containing an abelian subgroup of finite index), for virtually freegroups, and for 3-manifold groups. The rank of a finitely generated group G can be equivalently...
specifically in the field of group theory, a solvable group or soluble group is a group that can be constructed from abeliangroups using extensions. Equivalently...
of A). An abeliangroup A is called a torsion group (or periodic group) if every element of A has finite order and is called torsion-free if every element...
simple groups. The group F is not simple but its derived subgroup [F,F] is and the quotient of F by its derived subgroup is the freeabeliangroup of rank...
In mathematics, specifically in the field of group theory, a divisible group is an abeliangroup in which every element can, in some sense, be divided...
Common uses for this would be when P is abelian, nilpotent, solvable or free. For example, virtually solvable groups are one of the two alternatives in the...