glossary of group theory
{{Short description|none}}
{{For|general description of the topic|group theory}}
{{Also|list of group theory topics}}
{{wiktionary|Appendix:Glossary of group theory}}
{{Group theory sidebar}}
A group is a set together with an associative operation that admits an identity element and such that there exists an inverse for every element.
Throughout this glossary, we use {{math|e}} to denote the identity element of a group.
{{Compact ToC|name=no|b=|e=|j=|k=|m=|u=|v=|w=|x=|y=|z=|seealso=yes}}
A
{{glossary}}
{{term|1=abelian group}}
{{defn|1=A group {{math|(G, •)}} is abelian if {{math|•}} is commutative, i.e. {{math|1=g • h = h • g}} for all {{math|g, h ∈ G}}. Likewise, a group is nonabelian if this relation fails to hold for any pair {{math|g, h ∈ G}}.}}
{{term|1=ascendant subgroup}}
{{defn|1=A {{gli|subgroup}} {{math|H}} of a group {{math|G}} is ascendant if there is an ascending {{gli|subgroup series}} starting from {{math|H}} and ending at {{math|G}}, such that every term in the series is a {{gli|normal subgroup}} of its successor. The series may be infinite. If the series is finite, then the subgroup is {{gli|subnormal subgroup|subnormal}}.}}
{{term|1=automorphism}}
{{defn|1=An automorphism of a group is an {{gli|isomorphism}} of the group to itself.}}
{{glossary end}}
C
{{glossary}}
{{term|1=center of a group}}
{{defn|1=The center of a group {{math|G}}, denoted {{math|Z(G)}}, is the set of those group elements that commute with all elements of {{math|G}}, that is, the set of all {{math|h ∈ G}} such that {{math|1=hg = gh}} for all {{math|g ∈ G}}. {{math|Z(G)}} is always a {{gli|normal subgroup}} of {{math|G}}. A group {{math|G}} is {{gli|Abelian group|abelian}} if and only if {{math|1=Z(G) = G}}.}}
{{term|centerless group}}
{{defn|1=A group {{math|G}} is centerless if its {{gli|center of a group|center}} {{math|Z(G)}} is {{gli|trivial group|trivial}}.}}
{{term|1=central subgroup}}
{{defn|1=A {{gli|subgroup}} of a group is a central subgroup of that group if it lies inside the {{gli|center of a group|center of the group}}.}}
{{term|centralizer}}
{{defn|1=For a subset {{math|S}} of a group {{math|G}}, the centralizer of {{math|S}} in {{math|G}}, denoted {{math|CG(S)}}, is the subgroup of {{math|G}} defined by
: }}
{{term|1=characteristic subgroup}}
{{defn|1=A {{gli|subgroup}} of a group is a characteristic subgroup of that group if it is mapped to itself by every {{gli|automorphism}} of the parent group.}}
{{term|1=characteristically simple group}}
{{defn|1=A group is said to be characteristically simple if it has no proper nontrivial {{gli|characteristic subgroup|characteristic subgroups}}.}}
{{term|class function}}
{{defn|1=A class function on a group {{math|G}} is a function that it is constant on the {{gli|conjugacy class|conjugacy classes}} of {{math|G}}.}}
{{term|class number}}
{{defn|1=The class number of a group is the number of its {{gli|conjugacy class|conjugacy classes}}.}}
{{term|commutator}}
{{defn|1=The commutator of two elements {{math|g}} and {{math|h}} of a group {{math|G}} is the element {{math|1=[g, h] = g−1h−1gh}}. Some authors define the commutator as {{math|1=[g, h] = ghg−1h−1}} instead. The commutator of two elements {{math|g}} and {{math|h}} is equal to the group's identity if and only if {{math|g}} and {{math|h}} commutate, that is, if and only if {{math|1=gh = hg}}.}}
{{term|commutator subgroup}}
{{defn|1=The commutator subgroup or derived subgroup of a group is the subgroup generated by all the {{gli|commutator|commutators}} of the group.}}
{{term|1=complete group}}
{{defn|1=A group {{math|G}} is said to be complete if it is {{gli|centerless group|centerless}} and if every {{gli|automorphism}} of {{math|G}} is an inner automorphism.}}
{{term|composition series}}
{{defn|1=A composition series of a group {{math|G}} is a subnormal series of finite length
:
with strict inclusions, such that each {{math|Hi}} is a maximal strict {{gli|normal subgroup}} of {{math|Hi+1}}. Equivalently, a composition series is a subnormal series such that each {{gli|factor group}} {{math|Hi+1 / Hi}} is {{gli|simple group|simple}}. The factor groups are called composition factors.}}
{{term|1=conjugacy-closed subgroup}}
{{defn|1=A {{gli|subgroup}} of a group is said to be conjugacy-closed if any two elements of the subgroup that are {{gli|conjugate elements|conjugate}} in the group are also conjugate in the subgroup.}}
{{term|conjugacy class}}
{{defn|1=The conjugacy classes of a group {{math|G}} are those subsets of {{math|G}} containing group elements that are {{gli|conjugate elements|conjugate}} with each other.}}
{{term|conjugate elements}}
{{defn|1=Two elements {{math|x}} and {{math|y}} of a group {{math|G}} are conjugate if there exists an element {{math|g ∈ G}} such that {{math|1=g−1xg = y}}. The element {{math|g−1xg}}, denoted {{math|xg}}, is called the conjugate of {{math|x}} by {{math|g}}. Some authors define the conjugate of {{math|x}} by {{math|g}} as {{math|gxg−1}}. This is often denoted {{math|gx}}. Conjugacy is an equivalence relation. Its equivalence classes are called conjugacy classes.}}
{{term|1=conjugate subgroups}}
{{defn|1=Two subgroups {{math|H1}} and {{math|H2}} of a group {{math|G}} are conjugate subgroups if there is a {{math|g ∈ G}} such that {{math|1=gH1g−1 = H2}}.}}
{{term|1=contranormal subgroup}}
{{defn|1=A {{gli|subgroup}} of a group {{math|G}} is a contranormal subgroup of {{math|G}} if its {{gli|normal closure}} is {{math|G}} itself.}}
{{term|1=cyclic group}}
{{defn|1=A cyclic group is a group that is generated by a single element, that is, a group such that there is an element {{math|g}} in the group such that every other element of the group may be obtained by repeatedly applying the group operation to {{math|g}} or its inverse.}}
{{glossary end}}
D
{{glossary}}
{{term|1=derived subgroup}}
{{defn|1=Synonym for {{gli|commutator subgroup}}.}}
{{term|direct product}}
{{defn|1=The direct product of two groups {{math|G}} and {{math|H}}, denoted {{math|G × H}}, is the cartesian product of the underlying sets of {{math|G}} and {{math|H}}, equipped with a component-wise defined binary operation {{math|1=(g1, h1) · (g2, h2) = (g1 ⋅ g2, h1 ⋅ h2)}}. With this operation, {{math|G × H}} itself forms a group.}}
{{glossary end}}
E
{{glossary}}
{{term|exponent of a group}}
{{defn|The exponent of a group {{math|G}} is the smallest positive integer {{math|n}} such that {{math|1=gn = e}} for all {{math|g ∈ G}}. It is the least common multiple of the {{gli|order of a group|orders}} of all elements in the group. If no such positive integer exists, the exponent of the group is said to be infinite.}}
{{glossary end}}
F
{{glossary}}
{{term|factor group}}
{{defn|Synonym for {{gli|quotient group}}.}}
{{term|1=FC-group}}
{{defn|1=A group is an FC-group if every {{gli|conjugacy class}} of its elements has finite cardinality.}}
{{term|finite group}}
{{defn|A finite group is a group of finite {{gli|order of a group|order}}, that is, a group with a finite number of elements.}}
{{term|1=finitely generated group}}
{{defn|1=A group {{math|G}} is finitely generated if there is a finite {{gli|generating set}}, that is, if there is a finite set {{math|S}} of elements of {{mvar|G}} such that every element of {{math|G}} can be written as the combination of finitely many elements of {{math|S}} and of inverses of elements of {{math|S}}.}}
{{glossary end}}
== G ==
{{glossary}}
{{term|1=generating set}}
{{defn|A generating set of a group {{math|G}} is a subset {{math|S}} of {{math|G}} such that every element of {{math|G}} can be expressed as a combination (under the group operation) of finitely many elements of {{math|S}} and inverses of elements of {{math|S}}. Given a subset {{math|S}} of {{math|G}}. We denote by {{math|{{angbr|S}}}} the smallest subgroup of {{math|G}} containing {{math|S}}. {{math|{{angbr|S}}}} is called the subgroup of {{math|G}} generated by {{math|S}}.}}
{{term|1=group automorphism}}
{{defn|See {{gli|automorphism}}.}}
{{term|1=group homomorphism}}
{{defn|See {{gli|homomorphism}}.}}
{{term|1=group isomorphism}}
{{defn|See {{gli|isomorphism}}.}}
{{glossary end}}
H
{{glossary}}
{{term|1=homomorphism}}
{{defn|1=Given two groups {{math|(G, •)}} and {{math|(H, ·)}}, a homomorphism from {{math|G}} to {{math|H}} is a function {{math|h : G → H}} such that for all {{math|a}} and {{math|b}} in {{math|G}}, {{math|1=h(a • b) = h(a) · h(b)}}.}}
{{glossary end}}
I
{{glossary}}
{{term|1=index of a subgroup}}
{{defn|1=The index of a {{gli|subgroup}} {{math|H}} of a group {{math|G}}, denoted {{math|{{abs|G : H}}}} or {{math|{{bracket|G : H}}}} or {{math|(G : H)}}, is the number of cosets of {{math|H}} in {{math|G}}. For a {{gli|normal subgroup}} {{math|N}} of a group {{math|G}}, the index of {{math|N}} in {{math|G}} is equal to the {{gli|order of a group|order}} of the {{gli|quotient group}} {{math|G / N}}. For a {{gli|finite group|finite}} subgroup {{math|H}} of a finite group {{math|G}}, the index of {{math|H}} in {{math|G}} is equal to the quotient of the orders of {{math|G}} and {{math|H}}.}}
{{term|1=isomorphism}}
{{defn|1=Given two groups {{math|(G, •)}} and {{math|(H, ·)}}, an isomorphism between {{math|G}} and {{math|H}} is a bijective {{gli|homomorphism}} from {{math|G}} to {{math|H}}, that is, a one-to-one correspondence between the elements of the groups in a way that respects the given group operations. Two groups are isomorphic if there exists a group isomorphism mapping from one to the other. Isomorphic groups can be thought of as essentially the same, only with different labels on the individual elements.}}
{{glossary end}}
L
{{glossary}}
{{term|1=lattice of subgroups}}
{{defn|1=The lattice of subgroups of a group is the lattice defined by its {{gli|subgroup|subgroups}}, partially ordered by set inclusion.}}
{{term|1=locally cyclic group}}
{{defn|1=A group is locally cyclic if every {{gli|finitely generated group|finitely generated}} subgroup is {{gli|cyclic group|cyclic}}. Every cyclic group is locally cyclic, and every {{gli|finitely generated group|finitely-generated}} locally cyclic group is cyclic. Every locally cyclic group is {{gli|abelian group|abelian}}. Every {{gli|subgroup}}, every {{gli|quotient group}} and every {{gli|group homomorphism|homomorphic}} image of a locally cyclic group is locally cyclic.}}
{{glossary end}}
N
{{glossary}}
{{term|1=no small subgroup}}
{{defn|1=A topological group has no small subgroup if there exists a neighborhood of the identity element that does not contain any nontrivial subgroup.}}
{{term|normal closure}}
{{defn|1=The normal closure of a subset {{math|S}} of a group {{math|G}} is the intersection of all {{gli|normal subgroup|normal subgroups}} of {{math|G}} that contain {{math|S}}.}}
{{term|1=normal core}}
{{defn|1=The normal core of a {{gli|subgroup}} {{math|H}} of a group {{math|G}} is the largest {{gli|normal subgroup}} of {{math|G}} that is contained in {{math|H}}.}}
{{term|normal series}}
{{defn|1=A normal series of a group {{math|G}} is a sequence of {{gli|normal subgroup|normal subgroups}} of {{math|G}} such that each element of the sequence is a normal subgroup of the next element:
:
with
: .}}
{{term|1=normal subgroup}}
{{defn|1=A {{gli|subgroup}} {{math|N}} of a group {{math|G}} is normal in {{math|G}} (denoted {{math|N ◅ G}}) if the {{gli|conjugate elements|conjugation}} of an element {{math|n}} of {{math|N}} by an element {{math|g}} of {{math|G}} is always in {{math|N}}, that is, if for all {{math|g ∈ G}} and {{math|n ∈ N}}, {{math|gng{{sup|−1}} ∈ N}}. A normal subgroup {{math|N}} of a group {{math|G}} can be used to construct the {{gli|quotient group}} {{math|G / N}}.}}
{{term|normalizer}}
{{defn|1=For a subset {{math|S}} of a group {{math|G}}, the normalizer of {{math|S}} in {{math|G}}, denoted {{math|NG(S)}}, is the subgroup of {{math|G}} defined by
: }}
{{glossary end}}
O
{{glossary}}
{{term|1=orbit}}
{{defn|1=Consider a group {{math|G}} acting on a set {{math|X}}. The orbit of an element {{math|x}} in {{math|X}} is the set of elements in {{math|X}} to which {{math|x}} can be moved by the elements of {{math|G}}. The orbit of {{math|x}} is denoted by {{math|G ⋅ x}}}}
{{term|1=order of a group}}
{{defn|1=The order of a group {{math|(G, •)}} is the cardinality (i.e. number of elements) of {{math|G}}. A group with finite order is called a finite group.}}
{{term|1=order of a group element}}
{{defn|1=The order of an element {{math|g}} of a group {{math|G}} is the smallest positive integer {{math|n}} such that {{math|1=gn = e}}. If no such integer exists, then the order of {{math|g}} is said to be infinite. The order of a finite group is divisible by the order of every element.}}
{{glossary end}}
P
{{glossary}}
{{term|perfect core}}
{{defn|1=The perfect core of a group is its largest {{gli|perfect group|perfect}} subgroup.}}
{{term|perfect group}}
{{defn|1=A perfect group is a group that is equal to its own {{gli|commutator subgroup}}.}}
{{term|1=periodic group}}
{{defn|1=A group is periodic if every group element has finite {{gli|order of a group element|order}}. Every finite group is periodic.}}
{{term|1=permutation group}}
{{defn|1=A permutation group is a group whose elements are permutations of a given set {{math|M}} (the bijective functions from set {{math|M}} to itself) and whose group operation is the composition of those permutations. The group consisting of all permutations of a set {{math|M}} is the symmetric group of {{math|M}}.}}
{{term|1=p-group}}
{{defn|1=If {{math|p}} is a prime number, then a p-group is one in which the order of every element is a power of {{math|p}}. A finite group is a {{math|p}}-group if and only if the {{gli|order of a group|order}} of the group is a power of {{math|p}}.}}
{{term|1=p-subgroup}}
{{defn|1=A {{gli|subgroup}} that is also a {{gli|p-group|{{math|p}}-group}}. The study of {{math|p}}-subgroups is the central object of the Sylow theorems.}}
{{glossary end}}
Q
{{glossary}}
{{term|1=quotient group}}
{{defn|1=Given a group {{math|G}} and a {{gli|normal subgroup}} {{math|N}} of {{math|G}}, the quotient group is the set {{math|G / N}} of left cosets {{math|{{mset|aN : a ∈ G}}}} together with the operation {{math|1=aN • bN = abN}}. The relationship between normal subgroups, homomorphisms, and factor groups is summed up in the fundamental theorem on homomorphisms.}}
{{glossary end}}
R
{{glossary}}
{{term|real element}}
{{defn|1=An element {{math|g}} of a group {{math|G}} is called a real element of {{math|G}} if it belongs to the same {{gli|conjugacy class}} as its inverse, that is, if there is a {{math|h}} in {{math|G}} with {{math|1=gh = g−1}}, where {{math|gh}} is defined as {{math|h−1gh}}. An element of a group {{math|G}} is real if and only if for all representations of {{math|G}} the trace of the corresponding matrix is a real number.}}
{{glossary end}}
S
{{glossary}}
{{term|1=serial subgroup}}
{{defn|1=A {{gli|subgroup}} {{math|H}} of a group {{math|G}} is a serial subgroup of {{math|G}} if there is a chain {{math|C}} of subgroups of {{math|G}} from {{math|H}} to {{math|G}} such that for each pair of consecutive subgroups {{math|X}} and {{math|Y}} in {{math|C}}, {{math|X}} is a {{gli|normal subgroup}} of {{math|Y}}. If the chain is finite, then {{math|H}} is a {{gli|subnormal subgroup}} of {{math|G}}.}}
{{term|1=simple group}}
{{defn|1=A simple group is a {{gli|trivial group|nontrivial group}} whose only {{gli|normal subgroup|normal subgroups}} are the trivial group and the group itself.}}
{{term|1=subgroup}}
{{defn|1=A subgroup of a group {{math|G}} is a subset {{math|H}} of the elements of {{math|G}} that itself forms a group when equipped with the restriction of the group operation of {{math|G}} to {{math|H × H}}. A subset {{math|H}} of a group {{math|G}} is a subgroup of {{math|G}} if and only if it is nonempty and closed under products and inverses, that is, if and only if for every {{math|a}} and {{math|b}} in {{math|H}}, {{math|ab}} and {{math|a−1}} are also in {{math|H}}.}}
{{term|subgroup series}}
{{defn|1=A subgroup series of a group {{math|G}} is a sequence of {{gli|subgroup|subgroups}} of {{math|G}} such that each element in the series is a subgroup of the next element:
: }}
{{term|1=subnormal subgroup}}
{{defn|1=A {{gli|subgroup}} {{math|H}} of a group {{math|G}} is a subnormal subgroup of {{math|G}} if there is a finite chain of subgroups of the group, each one {{gli|normal subgroup|normal}} in the next, beginning at {{math|H}} and ending at {{math|G}}. }}
{{term|1=symmetric group}}
{{defn|1=Given a set {{math|M}}, the symmetric group of {{math|M}} is the set of all permutations of {{math|M}} (the set all bijective functions from {{math|M}} to {{math|M}}) with the composition of the permutations as group operation. The symmetric group of a finite set of size {{math|n}} is denoted {{math|Sn}}. (The symmetric groups of any two sets of the same size are isomorphic.)}}
{{glossary end}}
T
{{glossary}}
{{term|1=torsion group}}
{{defn|1=Synonym for {{gli|periodic group}}.}}
{{term|1=transitively normal subgroup}}
{{defn|1=A {{gli|subgroup}} of a group is said to be transitively normal in the group if every {{gli|normal subgroup}} of the subgroup is also normal in the whole group.}}
{{term|1=trivial group}}
{{defn|1=A trivial group is a group consisting of a single element, namely the identity element of the group. All such groups are isomorphic, and one often speaks of the trivial group.}}
{{glossary end}}
Basic definitions
Both subgroups and normal subgroups of a given group form a complete lattice under inclusion of subsets; this property and some related results are described by the lattice theorem.
Kernel of a group homomorphism. It is the preimage of the identity in the codomain of a group homomorphism. Every normal subgroup is the kernel of a group homomorphism and vice versa.
Direct product, direct sum, and semidirect product of groups. These are ways of combining groups to construct new groups; please refer to the corresponding links for explanation.
Types of groups
Finitely generated group. If there exists a finite set {{math|S}} such that {{math|1={{angbr|S}} = G}}, then {{math|G}} is said to be finitely generated. If {{math|S}} can be taken to have just one element, {{math|G}} is a cyclic group of finite order, an infinite cyclic group, or possibly a group {{math|{{mset|e}}}} with just one element.
Simple group. Simple groups are those groups having only {{math|e}} and themselves as normal subgroups. The name is misleading because a simple group can in fact be very complex. An example is the monster group, whose order is about 1054. Every finite group is built up from simple groups via group extensions, so the study of finite simple groups is central to the study of all finite groups. The finite simple groups are known and classified.
The structure of any finite abelian group is relatively simple; every finite abelian group is the direct sum of cyclic p-groups.
This can be extended to a complete classification of all finitely generated abelian groups, that is all abelian groups that are generated by a finite set.
The situation is much more complicated for the non-abelian groups.
Free group. Given any set {{math|A}}, one can define a group as the smallest group containing the free semigroup of {{math|A}}. The group consists of the finite strings (words) that can be composed by elements from {{math|A}}, together with other elements that are necessary to form a group. Multiplication of strings is defined by concatenation, for instance {{math|1=(abb) • (bca) = abbbca}}.
Every group {{math|(G, •)}} is basically a factor group of a free group generated by {{math|G}}. Refer to Presentation of a group for more explanation.
One can then ask algorithmic questions about these presentations, such as:
- Do these two presentations specify isomorphic groups?; or
- Does this presentation specify the trivial group?
The general case of this is the word problem, and several of these questions are in fact unsolvable by any general algorithm.
General linear group, denoted by {{math|GL(n, F)}}, is the group of {{math|n}}-by-{{math|n}} invertible matrices, where the elements of the matrices are taken from a field {{math|F}} such as the real numbers or the complex numbers.
Group representation (not to be confused with the presentation of a group). A group representation is a homomorphism from a group to a general linear group. One basically tries to "represent" a given abstract group as a concrete group of invertible matrices, which is much easier to study.