Free abelian group

Last updated

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.

Contents

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.

Definition and examples

A lattice in the Euclidean plane. Adding any two blue lattice points produces another lattice point; the group formed by this addition operation is a free abelian group. Lattice in R2.svg
A lattice in the Euclidean plane. Adding any two blue lattice points produces another lattice point; the group formed by this addition operation is a free abelian group.

A free abelian group is an abelian group that has a basis. [1] Here, being an abelian group means that it is described by a set of its elements and a binary operation on , conventionally denoted as an additive group by the symbol (although it need not be the usual addition of numbers) that obey the following properties:

A basis is a subset of the elements of with the property that every element of may be formed in a unique way by choosing finitely many basis elements of , choosing a nonzero integer for each of the chosen basis elements, and adding together copies of the basis elements for which is positive, and copies of for each basis element for which is negative. [2] As a special case, the identity element can always be formed in this way as the combination of zero basis elements, according to the usual convention for an empty sum, and it must not be possible to find any other combination that represents the identity. [3]

The integers , under the usual addition operation, form a free abelian group with the basis . The integers are commutative and associative, with 0 as the additive identity and with each integer having an additive inverse, its negation. Each non-negative is the sum of copies of , and each negative integer is the sum of copies of , so the basis property is also satisfied. [1]

An example where the group operation is different from the usual addition of numbers is given by the positive rational numbers , which form a free abelian group with the usual multiplication operation on numbers and with the prime numbers as their basis. Multiplication is commutative and associative, with the number as its identity and with as the inverse element for each positive rational number . The fact that the prime numbers forms a basis for multiplication of these numbers follows from the fundamental theorem of arithmetic, according to which every positive integer can be factorized uniquely into the product of finitely many primes or their inverses. If is a positive rational number expressed in simplest terms, then can be expressed as a finite combination of the primes appearing in the factorizations of and . The number of copies of each prime to use in this combination is its exponent in the factorization of , or the negation of its exponent in the factorization of . [4]

The polynomials of a single variable , with integer coefficients, form a free abelian group under polynomial addition, with the powers of as a basis. As an abstract group, this is the same as (an isomorphic group to) the multiplicative group of positive rational numbers. One way to map these two groups to each other, showing that they are isomorphic, is to reinterpret the exponent of the th prime number in the multiplicative group of the rationals as instead giving the coefficient of in the corresponding polynomial, or vice versa. For instance the rational number has exponents of for the first three prime numbers and would correspond in this way to the polynomial having the same coefficients for its constant, linear, and quadratic terms. Because these mappings merely reinterpret the same numbers, they define a bijection between the elements of the two groups. And because the group operation of multiplying positive rationals acts additively on the exponents of the prime numbers, in the same way that the group operation of adding polynomials acts on the coefficients of the polynomials, these maps preserve the group structure; they are homomorphisms. A bijective homomorphism is called an isomorphism, and its existence demonstrates that these two groups have the same properties. [5]

Although the representation of each group element in terms of a given basis is unique, a free abelian group has generally more than one basis, and different bases will generally result in different representations of its elements. For example, if one replaces any element of a basis by its inverse, one gets another basis. As a more elaborated example, the two-dimensional integer lattice , consisting of the points in the plane with integer Cartesian coordinates, forms a free abelian group under vector addition with the basis . [1] For this basis, the element can be written , where 'multiplication' is defined so that, for instance, . There is no other way to write in the same basis. However, with a different basis such as , it can be written as . Generalizing this example, every lattice forms a finitely-generated free abelian group. [6] The -dimensional integer lattice has a natural basis consisting of the positive integer unit vectors, but it has many other bases as well: if is a integer matrix with determinant , then the rows of form a basis, and conversely every basis of the integer lattice has this form. [7] For more on the two-dimensional case, see fundamental pair of periods.

Constructions

Every set can be the basis of a free abelian group, which is unique up to group isomorphisms. The free abelian group for a given basis set can be constructed in several different but equivalent ways: as a direct sum of copies of the integers, as a family of integer-valued functions, as a signed multiset, or by a presentation of a group.

Products and sums

The direct product of groups consists of tuples of an element from each group in the product, with componentwise addition. The direct product of two free abelian groups is itself free abelian, with basis the disjoint union of the bases of the two groups. [8] More generally the direct product of any finite number of free abelian groups is free abelian. The -dimensional integer lattice, for instance, is isomorphic to the direct product of copies of the integer group . The trivial group is also considered to be free abelian, with basis the empty set. [9] It may be interpreted as an empty product, the direct product of zero copies of . [10]

For infinite families of free abelian groups, the direct product is not necessarily free abelian. [8] For instance the Baer–Specker group , an uncountable group formed as the direct product of countably many copies of , was shown in 1937 by Reinhold Baer to not be free abelian, [11] although Ernst Specker proved in 1950 that all of its countable subgroups are free abelian. [12] Instead, to obtain a free abelian group from an infinite family of groups, the direct sum rather than the direct product should be used. The direct sum and direct product are the same when they are applied to finitely many groups, but differ on infinite families of groups. In the direct sum, the elements are again tuples of elements from each group, but with the restriction that all but finitely many of these elements are the identity for their group. The direct sum of infinitely many free abelian groups remains free abelian. It has a basis consisting of tuples in which all but one element is the identity, with the remaining element part of a basis for its group. [8]

Every free abelian group may be described as a direct sum of copies of , with one copy for each member of its basis. [13] [14] This construction allows any set to become the basis of a free abelian group. [15]

Integer functions and formal sums

Given a set , one can define a group whose elements are functions from to the integers, where the parenthesis in the superscript indicates that only the functions with finitely many nonzero values are included. If and are two such functions, then is the function whose values are sums of the values in and : that is, . This pointwise addition operation gives the structure of an abelian group. [16]

Each element from the given set corresponds to a member of , the function for which and for which for all . Every function in is uniquely a linear combination of a finite number of basis elements:

Thus, these elements form a basis for , and is a free abelian group. In this way, every set can be made into the basis of a free abelian group. [16]

The elements of may also be written as formal sums, expressions in the form of a sum of finitely many terms, where each term is written as the product of a nonzero integer with a distinct member of . These expressions are considered equivalent when they have the same terms, regardless of the ordering of terms, and they may be added by forming the union of the terms, adding the integer coefficients to combine terms with the same basis element, and removing terms for which this combination produces a zero coefficient. [4] They may also be interpreted as the signed multisets of finitely many elements of . [17]

Presentation

A presentation of a group is a set of elements that generate the group (meaning that all group elements can be expressed as products of finitely many generators), together with "relators", products of generators that give the identity element. The elements of a group defined in this way are equivalence classes of sequences of generators and their inverses, under an equivalence relation that allows inserting or removing any relator or generator-inverse pair as a contiguous subsequence. The free abelian group with basis has a presentation in which the generators are the elements of , and the relators are the commutators of pairs of elements of . Here, the commutator of two elements and is the product ; setting this product to the identity causes to equal , so that and commute. More generally, if all pairs of generators commute, then all pairs of products of generators also commute. Therefore, the group generated by this presentation is abelian, and the relators of the presentation form a minimal set of relators needed to ensure that it is abelian. [18]

When the set of generators is finite, the presentation of a free abelian group is also finite, because there are only finitely many different commutators to include in the presentation. This fact, together with the fact that every subgroup of a free abelian group is free abelian (below) can be used to show that every finitely generated abelian group is finitely presented. For, if is finitely generated by a set , it is a quotient of the free abelian group over by a free abelian subgroup, the subgroup generated by the relators of the presentation of . But since this subgroup is itself free abelian, it is also finitely generated, and its basis (together with the commutators over ) forms a finite set of relators for a presentation of . [19]

As a module

The modules over the integers are defined similarly to vector spaces over the real numbers or rational numbers: they consist of systems of elements that can be added to each other, with an operation for scalar multiplication by integers that is compatible with this addition operation. Every abelian group may be considered as a module over the integers, with a scalar multiplication operation defined as follows: [20]

if
if

However, unlike vector spaces, not all abelian groups have a basis, hence the special name "free" for those that do. A free module is a module that can be represented as a direct sum over its base ring, so free abelian groups and free -modules are equivalent concepts: each free abelian group is (with the multiplication operation above) a free -module, and each free -module comes from a free abelian group in this way. [21] As well as the direct sum, another way to combine free abelian groups is to use the tensor product of -modules. The tensor product of two free abelian groups is always free abelian, with a basis that is the Cartesian product of the bases for the two groups in the product. [22]

Many important properties of free abelian groups may be generalized to free modules over a principal ideal domain. For instance, submodules of free modules over principal ideal domains are free, a fact that Hatcher (2002) writes allows for "automatic generalization" of homological machinery to these modules. [23] Additionally, the theorem that every projective -module is free generalizes in the same way. [24]

Properties

Universal property

A free abelian group with basis has the following universal property: for every function from to an abelian group , there exists a unique group homomorphism from to which extends . [4] [9] Here, a group homomorphism is a mapping from one group to the other that is consistent with the group product law: performing a product before or after the mapping produces the same result. By a general property of universal properties, this shows that "the" abelian group of base is unique up to an isomorphism. Therefore, the universal property can be used as a definition of the free abelian group of base . The uniqueness of the group defined by this property shows that all the other definitions are equivalent. [15]

It is because of this universal property that free abelian groups are called "free": they are the free objects in the category of abelian groups, the category that has abelian groups as its objects and homomorphisms as its arrows. The map from a basis to its free abelian group is a functor, a structure-preserving mapping of categories, from sets to abelian groups, and is adjoint to the forgetful functor from abelian groups to sets. [25] However, a free abelian group is not a free group except in two cases: a free abelian group having an empty basis (rank zero, giving the trivial group) or having just one element in the basis (rank one, giving the infinite cyclic group). [9] [26] Other abelian groups are not free groups because in free groups must be different from if and are different elements of the basis, while in free abelian groups the two products must be identical for all pairs of elements. In the general category of groups, it is an added constraint to demand that , whereas this is a necessary property in the category of abelian groups. [27]

Rank

Every two bases of the same free abelian group have the same cardinality, so the cardinality of a basis forms an invariant of the group known as its rank. [28] [29] Two free abelian groups are isomorphic if and only if they have the same rank. [4] A free abelian group is finitely generated if and only if its rank is a finite number , in which case the group is isomorphic to . [30]

This notion of rank can be generalized, from free abelian groups to abelian groups that are not necessarily free. The rank of an abelian group is defined as the rank of a free abelian subgroup of for which the quotient group is a torsion group. Equivalently, it is the cardinality of a maximal subset of that generates a free subgroup. The rank is a group invariant: it does not depend on the choice of the subgroup. [31]

Subgroups

Every subgroup of a free abelian group is itself a free abelian group. This result of Richard Dedekind [32] was a precursor to the analogous Nielsen–Schreier theorem that every subgroup of a free group is free, and is a generalization of the fact that every nontrivial subgroup of the infinite cyclic group is infinite cyclic. The proof needs the axiom of choice. [25] A proof using Zorn's lemma (one of many equivalent assumptions to the axiom of choice) can be found in Serge Lang's Algebra. [33] Solomon Lefschetz and Irving Kaplansky argue that using the well-ordering principle in place of Zorn's lemma leads to a more intuitive proof. [14]

In the case of finitely generated free abelian groups, the proof is easier, does not need the axiom of choice, and leads to a more precise result. If is a subgroup of a finitely generated free abelian group , then is free and there exists a basis of and positive integers (that is, each one divides the next one) such that is a basis of Moreover, the sequence depends only on and and not on the basis. [34] A constructive proof of the existence part of the theorem is provided by any algorithm computing the Smith normal form of a matrix of integers. [35] Uniqueness follows from the fact that, for any , the greatest common divisor of the minors of rank of the matrix is not changed during the Smith normal form computation and is the product at the end of the computation. [36]

Torsion and divisibility

All free abelian groups are torsion-free, meaning that there is no non-identity group element and nonzero integer such that . Conversely, all finitely generated torsion-free abelian groups are free abelian. [9] [37]

The additive group of rational numbers provides an example of a torsion-free (but not finitely generated) abelian group that is not free abelian. [38] One reason that is not free abelian is that it is divisible, meaning that, for every element and every nonzero integer , it is possible to express as a scalar multiple of another element . In contrast, non-trivial free abelian groups are never divisible, because in a free abelian group the basis elements cannot be expressed as multiples of other elements. [39]

Symmetry

The symmetries of any group can be described as group automorphisms, the invertible homomorphisms from the group to itself. In non-abelian groups these are further subdivided into inner and outer automorphisms, but in abelian groups all non-identity automorphisms are outer. They form another group, the automorphism group of the given group, under the operation of composition. The automorphism group of a free abelian group of finite rank is the general linear group , which can be described concretely (for a specific basis of the free automorphism group) as the set of invertible integer matrices under the operation of matrix multiplication. Their action as symmetries on the free abelian group is just matrix-vector multiplication. [40]

The automorphism groups of two infinite-rank free abelian groups have the same first-order theories as each other, if and only if their ranks are equivalent cardinals from the point of view of second-order logic. This result depends on the structure of involutions of free abelian groups, the automorphisms that are their own inverse. Given a basis for a free abelian group, one can find involutions that map any set of disjoint pairs of basis elements to each other, or that negate any chosen subset of basis elements, leaving the other basis elements fixed. Conversely, for every involution of a free abelian group, one can find a basis of the group for which all basis elements are swapped in pairs, negated, or left unchanged by the involution. [41]

Relation to other groups

If a free abelian group is a quotient of two groups , then is the direct sum . [4]

Given an arbitrary abelian group , there always exists a free abelian group and a surjective group homomorphism from to . One way of constructing a surjection onto a given group is to let be the free abelian group over , represented as formal sums. Then a surjection can be defined by mapping formal sums in to the corresponding sums of members of . That is, the surjection maps

where is the integer coefficient of basis element in a given formal sum, the first sum is in , and the second sum is in . [29] [42] This surjection is the unique group homomorphism which extends the function , and so its construction can be seen as an instance of the universal property.

When and are as above, the kernel of the surjection from to is also free abelian, as it is a subgroup of (the subgroup of elements mapped to the identity). Therefore, these groups form a short exact sequence

in which and are both free abelian and is isomorphic to the factor group . This is a free resolution of . [2] Furthermore, assuming the axiom of choice, [43] the free abelian groups are precisely the projective objects in the category of abelian groups. [4] [44]

Applications

Algebraic topology

In algebraic topology, a formal sum of -dimensional simplices is called a -chain, and the free abelian group having a collection of -simplices as its basis is called a chain group. [45] The simplices are generally taken from some topological space, for instance as the set of -simplices in a simplicial complex, or the set of singular -simplices in a manifold. Any -dimensional simplex has a boundary that can be represented as a formal sum of -dimensional simplices, and the universal property of free abelian groups allows this boundary operator to be extended to a group homomorphism from -chains to -chains. The system of chain groups linked by boundary operators in this way forms a chain complex, and the study of chain complexes forms the basis of homology theory. [46]

Algebraic geometry and complex analysis

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. Z4 over z4minus1.jpg
The rational function 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 and (the white points at the ends of the four petals). It can be represented (up to a scalar) by the divisor where is the basis element for a complex number in a free abelian group over the complex numbers.

Every rational function over the complex numbers can be associated with a signed multiset of complex numbers , the zeros and poles of the function (points where its value is zero or infinite). The multiplicity of a point in this multiset is its order as a zero of the function, or the negation of its order as a pole. Then the function itself can be recovered from this data, up to a scalar factor, as

If these multisets are interpreted as members of a free abelian group over the complex numbers, then the product or quotient of two rational functions corresponds to the sum or difference of two group members. Thus, the multiplicative group of rational functions can be factored into the multiplicative group of complex numbers (the associated scalar factors for each function) and the free abelian group over the complex numbers. The rational functions that have a nonzero limiting value at infinity (the meromorphic functions on the Riemann sphere) form a subgroup of this group in which the sum of the multiplicities is zero. [47]

This construction has been generalized, in algebraic geometry, to the notion of a divisor. There are different definitions of divisors, but in general they form an abstraction of a codimension-one subvariety of an algebraic variety, the set of solution points of a system of polynomial equations. In the case where the system of equations has one degree of freedom (its solutions form an algebraic curve or Riemann surface), a subvariety has codimension one when it consists of isolated points, and in this case a divisor is again a signed multiset of points from the variety. [48] The meromorphic functions on a compact Riemann surface have finitely many zeros and poles, and their divisors form a subgroup of a free abelian group over the points of the surface, with multiplication or division of functions corresponding to addition or subtraction of group elements. To be a divisor, an element of the free abelian group must have multiplicities summing to zero, and meet certain additional constraints depending on the surface. [47]

Group rings

The integral group ring , for any group , is a ring whose additive group is the free abelian group over . [49] When is finite and abelian, the multiplicative group of units in has the structure of a direct product of a finite group and a finitely generated free abelian group. [50] [51]

Related Research Articles

<span class="mw-page-title-main">Abelian group</span> Commutative group (mathematics)

In mathematics, an abelian group, also called a commutative group, is a group in which the result of applying the group operation to two group elements does not depend on the order in which they are written. That is, the group operation is commutative. With addition as an operation, the integers and the real numbers form abelian groups, and the concept of an abelian group may be viewed as a generalization of these examples. Abelian groups are named after early 19th century mathematician Niels Henrik Abel.

<span class="mw-page-title-main">Quotient group</span> Group obtained by aggregating similar elements of a larger group

A quotient group or factor group is a mathematical group obtained by aggregating similar elements of a larger group using an equivalence relation that preserves some of the group structure. For example, the cyclic group of addition modulo n can be obtained from the group of integers under addition by identifying elements that differ by a multiple of and defining a group structure that operates on each such class as a single entity. It is part of the mathematical field known as group theory.

In mathematics, a finite field or Galois field is a field that contains a finite number of elements. As with any field, a finite field is a set on which the operations of multiplication, addition, subtraction and division are defined and satisfy certain basic rules. The most common examples of finite fields are given by the integers mod p when p is a prime number.

<span class="mw-page-title-main">Integral domain</span> Commutative ring with no zero divisors other than zero

In mathematics, specifically abstract algebra, an integral domain is a nonzero commutative ring in which the product of any two nonzero elements is nonzero. Integral domains are generalizations of the ring of integers and provide a natural setting for studying divisibility. In an integral domain, every nonzero element a has the cancellation property, that is, if a ≠ 0, an equality ab = ac implies b = c.

<span class="mw-page-title-main">Group (mathematics)</span> Set with associative invertible operation

In mathematics, a group is a set and an operation that combines any two elements of the set to produce a third element of the set, in such a way that the operation is associative, an identity element exists and every element has an inverse. These three axioms hold for number systems and many other mathematical structures. For example, the integers together with the addition operation form a group. The concept of a group and the axioms that define it were elaborated for handling, in a unified way, essential structural properties of very different mathematical entities such as numbers, geometric shapes and polynomial roots. Because the concept of groups is ubiquitous in numerous areas both within and outside mathematics, some authors consider it as a central organizing principle of contemporary mathematics.

<span class="mw-page-title-main">Ring (mathematics)</span> Algebraic structure with addition and multiplication

In mathematics, rings are algebraic structures that generalize fields: multiplication need not be commutative and multiplicative inverses need not exist. In other words, a ring is a set equipped with two binary operations satisfying properties analogous to those of addition and multiplication of integers. Ring elements may be numbers such as integers or complex numbers, but they may also be non-numerical objects such as polynomials, square matrices, functions, and power series.

<span class="mw-page-title-main">Cyclic group</span> Mathematical group that can be generated as the set of powers of a single element

In group theory, a branch of abstract algebra in pure mathematics, a cyclic group or monogenous group is a group, denoted Cn, that is generated by a single element. That is, it is a set of invertible elements with a single associative binary operation, and it contains an element g such that every other element of the group may be obtained by repeatedly applying the group operation to g or its inverse. Each element can be written as an integer power of g in multiplicative notation, or as an integer multiple of g in additive notation. This element g is called a generator of the group.

In abstract algebra, an abelian group is called finitely generated if there exist finitely many elements in such that every in can be written in the form for some integers . In this case, we say that the set is a generating set of or that generate.

<span class="mw-page-title-main">Generating set of a group</span> Abstract algebra concept

In abstract algebra, a generating set of a group is a subset of the group set such that every element of the group can be expressed as a combination of finitely many elements of the subset and their inverses.

<span class="mw-page-title-main">Algebraic number theory</span> Branch of number theory

Algebraic number theory is a branch of number theory that uses the techniques of abstract algebra to study the integers, rational numbers, and their generalizations. Number-theoretic questions are expressed in terms of properties of algebraic objects such as algebraic number fields and their rings of integers, finite fields, and function fields. These properties, such as whether a ring admits unique factorization, the behavior of ideals, and the Galois groups of fields, can resolve questions of primary importance in number theory, like the existence of solutions to Diophantine equations.

In mathematics, the rank, Prüfer rank, or torsion-free rank of an abelian group A is the cardinality of a maximal linearly independent subset. The rank of A determines the size of the largest free abelian group contained in A. If A is torsion-free then it embeds into a vector space over the rational numbers of dimension rank A. For finitely generated abelian groups, rank is a strong invariant and every such group is determined up to isomorphism by its rank and torsion subgroup. Torsion-free abelian groups of rank 1 have been completely classified. However, the theory of abelian groups of higher rank is more involved.

Ring theory is the branch of mathematics in which rings are studied: that is, structures supporting both an addition and a multiplication operation. This is a glossary of some terms of the subject.

<span class="mw-page-title-main">Module (mathematics)</span> Generalization of vector spaces from fields to rings

In mathematics, a module is a generalization of the notion of vector space in which the field of scalars is replaced by a ring. The concept of module generalizes also the notion of abelian group, since the abelian groups are exactly the modules over the ring of integers.

In algebra, a group ring is a free module and at the same time a ring, constructed in a natural way from any given ring and any given group. As a free module, its ring of scalars is the given ring, and its basis is the set of elements of the given group. As a ring, its addition law is that of the free module and its multiplication extends "by linearity" the given group law on the basis. Less formally, a group ring is a generalization of a given group, by attaching to each element of the group a "weighting factor" from a given ring.

<span class="mw-page-title-main">Cayley graph</span> Graph defined from a mathematical group

In mathematics, a Cayley graph, also known as a Cayley color graph, Cayley diagram, group diagram, or color group is a graph that encodes the abstract structure of a group. Its definition is suggested by Cayley's theorem, and uses a specified set of generators for the group. It is a central tool in combinatorial and geometric group theory. The structure and symmetry of Cayley graphs makes them particularly good candidates for constructing families of expander graphs.

<span class="mw-page-title-main">Ring of integers</span>

In mathematics, the ring of integers of an algebraic number field is the ring of all algebraic integers contained in . An algebraic integer is a root of a monic polynomial with integer coefficients: . This ring is often denoted by or . Since any integer belongs to and is an integral element of , the ring is always a subring of .

<span class="mw-page-title-main">Order (group theory)</span> Cardinality of a mathematical group, or of the subgroup generated by an element

In mathematics, the order of a finite group is the number of its elements. If a group is not finite, one says that its order is infinite. The order of an element of a group is the order of the subgroup generated by the element. If the group operation is denoted as a multiplication, the order of an element a of a group, is thus the smallest positive integer m such that am = e, where e denotes the identity element of the group, and am denotes the product of m copies of a. If no such m exists, the order of a is infinite.

In group theory, a field of mathematics, a double coset is a collection of group elements which are equivalent under the symmetries coming from two subgroups. More precisely, let G be a group, and let H and K be subgroups. Let H act on G by left multiplication and let K act on G by right multiplication. For each x in G, the (H, K)-double coset of x is the set

In mathematics, the Grothendieck group, or group of differences, of a commutative monoid M is a certain abelian group. This abelian group is constructed from M in the most universal way, in the sense that any abelian group containing a homomorphic image of M will also contain a homomorphic image of the Grothendieck group of M. The Grothendieck group construction takes its name from a specific case in category theory, introduced by Alexander Grothendieck in his proof of the Grothendieck–Riemann–Roch theorem, which resulted in the development of K-theory. This specific case is the monoid of isomorphism classes of objects of an abelian category, with the direct sum as its operation.

The direct sum is an operation between structures in abstract algebra, a branch of mathematics. It is defined differently, but analogously, for different kinds of structures. To see how the direct sum is used in abstract algebra, consider a more elementary kind of structure, the abelian group. The direct sum of two abelian groups and is another abelian group consisting of the ordered pairs where and . To add ordered pairs, we define the sum to be ; in other words addition is defined coordinate-wise. For example, the direct sum , where is real coordinate space, is the Cartesian plane, . A similar process can be used to form the direct sum of two vector spaces or two modules.

References

  1. 1 2 3 Sims, Charles C. (1994), "Section 8.1: Free abelian groups", Computation with Finitely Presented Groups, Encyclopedia of Mathematics and its Applications, vol. 48, Cambridge University Press, p. 320, doi:10.1017/CBO9780511574702, ISBN   0-521-43213-8, MR   1267733
  2. 1 2 Vick, James W. (1994), Homology Theory: An Introduction to Algebraic Topology, Graduate Texts in Mathematics, vol. 145, Springer, pp. 4, 70, ISBN   9780387941264
  3. Some sources define free abelian groups by the condition that the only representation of the identity is the empty sum, rather than treating it as a special case of unique representation of all group elements; see, e.g., Sims (1994).
  4. 1 2 3 4 5 6 Fuchs, László (2015), "Section 3.1: Freeness and projectivity", Abelian Groups, Springer Monographs in Mathematics, Cham: Springer, pp. 75–80, doi:10.1007/978-3-319-19422-6, ISBN   978-3-319-19421-9, MR   3467030
  5. Bradley, David M. (2005), Counting the positive rationals: A brief survey, arXiv: math/0509025 , Bibcode:2005math......9025B
  6. Mollin, Richard A. (2011), Advanced Number Theory with Applications, CRC Press, p. 182, ISBN   9781420083293
  7. Bremner, Murray R. (2011), Lattice Basis Reduction: An Introduction to the LLL Algorithm and Its Applications, CRC Press, p. 6, ISBN   9781439807026
  8. 1 2 3 Hungerford (1974), Exercise 5, p. 75.
  9. 1 2 3 4 Lee, John M. (2010), "Free Abelian Groups", Introduction to Topological Manifolds, Graduate Texts in Mathematics, vol. 202 (2nd ed.), Springer, pp. 244–248, ISBN   9781441979407
  10. As stated explicitly, for instance, in Hartley, Brian; Turull, Alexandre (1994), "On characters of coprime operator groups and the Glauberman character correspondence", Journal für die Reine und Angewandte Mathematik , 1994 (451): 175–219, doi:10.1515/crll.1994.451.175, MR   1277300, S2CID   118116330 , proof of Lemma 2.3: "the trivial group is the direct product of the empty family of groups"
  11. Baer, Reinhold (1937), "Abelian groups without elements of finite order", Duke Mathematical Journal, 3 (1): 68–122, doi:10.1215/S0012-7094-37-00308-9, hdl: 10338.dmlcz/100591 , MR   1545974
  12. Specker, Ernst (1950), "Additive Gruppen von Folgen ganzer Zahlen", Portugaliae Math., 9: 131–140, MR   0039719
  13. Mac Lane, Saunders (1995), Homology, Classics in Mathematics, Springer, p. 93, ISBN   9783540586623
  14. 1 2 Kaplansky, Irving (2001), Set Theory and Metric Spaces, AMS Chelsea Publishing Series, vol. 298, American Mathematical Society, pp. 124–125, ISBN   9780821826942
  15. 1 2 Hungerford, Thomas W. (1974), "II.1 Free abelian groups", Algebra, Graduate Texts in Mathematics, vol. 73, Springer, pp. 70–75, ISBN   9780387905181 . See in particular Theorem 1.1, pp. 72–73, and the remarks following it.
  16. 1 2 Joshi, K. D. (1997), Applied Discrete Structures, New Age International, pp. 45–46, ISBN   9788122408263
  17. van Glabbeek, Rob; Goltz, Ursula; Schicke-Uffmann, Jens-Wolfhard (2013), "On characterising distributability", Logical Methods in Computer Science, 9 (3): 3:17, 58, arXiv: 1309.3883 , doi:10.2168/LMCS-9(3:17)2013, MR   3109601, S2CID   17046529
  18. Hungerford (1974), Exercise 3, p. 75.
  19. Johnson, D. L. (2001), Symmetries, Springer undergraduate mathematics series, Springer, p. 71, ISBN   9781852332709
  20. Sahai, Vivek; Bist, Vikas (2003), Algebra, Alpha Science International Ltd., p. 152, ISBN   9781842651575
  21. Rotman, Joseph J. (2015), Advanced Modern Algebra, American Mathematical Society, p. 450, ISBN   9780821884201
  22. Corner, A. L. S. (2008), "Groups of units of orders in Q-algebras", Models, modules and abelian groups, Walter de Gruyter, Berlin, pp. 9–61, doi:10.1515/9783110203035.9, MR   2513226 . See in particular the proof of Lemma H.4, p. 36, which uses this fact.
  23. Hatcher, Allen (2002), Algebraic Topology, Cambridge University Press, p. 196, ISBN   9780521795401
  24. Vermani, L. R. (2004), An Elementary Approach to Homological Algebra, Monographs and Surveys in Pure and Applied Mathematics, CRC Press, p. 80, ISBN   9780203484081
  25. 1 2 Blass, Andreas (1979), "Injectivity, projectivity, and the axiom of choice", Transactions of the American Mathematical Society, 255: 31–59, doi: 10.1090/S0002-9947-1979-0542870-6 , JSTOR   1998165, MR   0542870 . For the connection to free objects, see Corollary 1.2. Example 7.1 provides a model of set theory without choice, and a non-free projective abelian group in this model that is a subgroup of a free abelian group , where is a set of atoms and is a finite integer. Blass writes that this model makes the use of choice essential in proving that every projective group is free; by the same reasoning it also shows that choice is essential in proving that subgroups of free groups are free.
  26. Hungerford (1974), Exercise 4, p. 75.
  27. Hungerford (1974), p. 70.
  28. Hungerford (1974), Theorem 1.2, p. 73.
  29. 1 2 Hofmann, Karl H.; Morris, Sidney A. (2006), The Structure of Compact Groups: A Primer for Students - A Handbook for the Expert, De Gruyter Studies in Mathematics, vol. 25 (2nd ed.), Walter de Gruyter, p. 640, ISBN   9783110199772
  30. Machì, Antonio (2012), "Theorem 4.10", Groups: An introduction to ideas and methods of the theory of groups, Unitext, vol. 58, Milan: Springer, p. 172, doi:10.1007/978-88-470-2421-2, ISBN   978-88-470-2420-5, MR   2987234
  31. Rotman, Joseph J. (1988), An Introduction to Algebraic Topology, Graduate Texts in Mathematics, vol. 119, Springer, pp. 61–62, ISBN   9780387966786
  32. Johnson, D. L. (1980), Topics in the Theory of Group Presentations, London Mathematical Society lecture note series, vol. 42, Cambridge University Press, p. 9, ISBN   978-0-521-23108-4, MR   0695161
  33. Appendix 2 §2, page 880 of Lang, Serge (2002), Algebra, Graduate Texts in Mathematics, vol. 211 (Revised third ed.), New York: Springer-Verlag, ISBN   978-0-387-95385-4, MR   1878556, Zbl   0984.00001
  34. Hungerford (1974), Theorem 1.6, p. 74.
  35. Johnson (2001), pp. 71–72.
  36. Norman, Christopher (2012), "1.3 Uniqueness of the Smith Normal Form", Finitely Generated Abelian Groups and Similarity of Matrices over a Field, Springer undergraduate mathematics series, Springer, pp. 32–43, ISBN   9781447127307
  37. Hungerford (1974), Exercise 9, p. 75.
  38. Hungerford (1974), Exercise 10, p. 75.
  39. Hungerford (1974), Exercise 4, p. 198.
  40. Bridson, Martin R.; Vogtmann, Karen (2006), "Automorphism groups of free groups, surface groups and free abelian groups", in Farb, Benson (ed.), Problems on mapping class groups and related topics, Proceedings of Symposia in Pure Mathematics, vol. 74, Providence, Rhode Island: American Mathematical Society, pp. 301–316, arXiv: math/0507612 , doi:10.1090/pspum/074/2264548, MR   2264548, S2CID   17710182
  41. Tolstykh, Vladimir (2005), "What does the automorphism group of a free abelian group A know about A?", in Blass, Andreas; Zhang, Yi (eds.), Logic and its Applications, Contemporary Mathematics, vol. 380, Providence, Rhode Island: American Mathematical Society, pp. 283–296, arXiv: math/0701752 , doi:10.1090/conm/380/07117, MR   2167584, S2CID   18107280
  42. Hungerford (1974), Theorem 1.4, p. 74.
  43. The theorem that free abelian groups are projective is equivalent to the axiom of choice; see Moore, Gregory H. (2012), Zermelo's Axiom of Choice: Its Origins, Development, and Influence, Courier Dover Publications, p. xii, ISBN   9780486488417
  44. Griffith, Phillip A. (1970), Infinite Abelian Group Theory, Chicago Lectures in Mathematics, University of Chicago Press, p. 18, ISBN   0-226-30870-7
  45. Cavagnaro, Catherine; Haight, William T. II (2001), Dictionary of Classical and Theoretical Mathematics, Comprehensive Dictionary of Mathematics, vol. 3, CRC Press, p. 15, ISBN   9781584880509
  46. Edelsbrunner, Herbert; Harer, John (2010), Computational Topology: An Introduction, Providence, Rhode Island: American Mathematical Society, pp. 79–81, ISBN   9780821849255
  47. 1 2 Dedekind, Richard; Weber, Heinrich (2012), Theory of Algebraic Functions of One Variable, History of mathematics, vol. 39, Translated by John Stillwell, American Mathematical Society, pp. 13–15, ISBN   9780821890349
  48. Miranda, Rick (1995), Algebraic Curves and Riemann Surfaces, Graduate Studies in Mathematics, vol. 5, American Mathematical Society, p. 129, ISBN   9780821802687
  49. Stein, Sherman K.; Szabó, Sándor (1994), Algebra and Tiling: Homomorphisms in the Service of Geometry, Carus Mathematical Monographs, vol. 25, Washington, DC: Mathematical Association of America, p. 198, ISBN   0-88385-028-1, MR   1311249
  50. Higman, Graham (1940), "The units of group-rings", Proceedings of the London Mathematical Society, Second Series, 46: 231–248, doi:10.1112/plms/s2-46.1.231, MR   0002137
  51. Ayoub, Raymond G.; Ayoub, Christine (1969), "On the group ring of a finite abelian group", Bulletin of the Australian Mathematical Society, 1 (2): 245–261, doi: 10.1017/S0004972700041496 , MR   0252526