Generating set of a group

related topics
{math, number, function}
{group, member, jewish}

In abstract algebra, a generating set of a group is a subset that is not contained in any proper subgroup of the group. Equivalently, a generating set of a group is a subset such that every element of the group can be expressed as the combination (under the group operation) of finitely many elements of the subset and their inverses.

More generally, if S is a subset of a group G, then <S>, the subgroup generated by S, is the smallest subgroup of G containing every element of S, meaning the intersection over all subgroups containing the elements of S; equivalently, <S> is the subgroup of all elements of G that can be expressed as the finite product of elements in S and their inverses.

If G = <S>, then we say S generates G; and the elements in S are called generators or group generators. If S is the empty set, then <S> is the trivial group {e}, since we consider the empty product to be the identity.

When there is only a single element x in S, <S> is usually written as <x>. In this case, <x> is the cyclic subgroup of the powers of x, a cyclic group, and we say this group is generated by x. Equivalent to saying an element x generates a group is saying that <x> equals the entire group G. For finite groups, it is also equivalent to saying that x has order |G|.


Finitely generated group

If S is finite, then a group G = <S> is called finitely generated. The structure of finitely generated abelian groups in particular is easily described. Many theorems that are true for finitely generated groups fail for groups in general. It has been proven that if a finite group is generated by a subset S, then each group element may be expressed as a word from the alphabet S of length less than or equal to the order of the group.

Every finite group is finitely generated since <G> = G. The integers under addition are an example of an infinite group which is finitely generated by both <1> and <−1>, but the group of rationals under addition cannot be finitely generated. No uncountable group can be finitely generated.

Different subsets of the same group can be generating subsets; for example, if p and q are integers with gcd(pq) = 1, then <{pq}> also generates the group of integers under addition (by Bézout's identity).

While it is true that every quotient of a finitely generated group is finitely generated (simply take the images of the generators in the quotient), a subgroup of a finitely generated group need not be finitely generated. For example, let G be the free group in two generators, x and y (which is clearly finitely generated, since G = <{x,y}>), and let S be the subset consisting of all elements of G of the form ynxyn, for n a natural number. Since <S> is clearly isomorphic to the free group in countable generators, it cannot be finitely generated. However, every subgroup of a finitely generated abelian group is in itself finitely generated. Rather more can be said about this though: the class of all finitely generated groups is closed under extensions. To see this, take a generating set for the (finitely generated) normal subgroup and quotient: then the generators for the normal subgroup, together with preimages of the generators for the quotient, generate the group.

Full article ▸

related documents
Bucket sort
Axiom of extensionality
Removable singularity
Haar wavelet
Symbolic logic
Directed set
Hilbert's basis theorem
Addition of natural numbers
Snake lemma
Recursively enumerable language
Equality (mathematics)
Unique factorization domain
Wreath product
Finitely generated abelian group
Cauchy's integral theorem
Data integrity
Nilpotent group
Atlas (topology)
Merge algorithm
Boundary (topology)
Graph of a function
Commutative diagram
Quadratic programming
Vector calculus
Hilbert's fifth problem
List of small groups