In
mathematics, especially in the area of
algebra
Algebra () is one of the areas of mathematics, broad areas of mathematics. Roughly speaking, algebra is the study of mathematical symbols and the rules for manipulating these symbols in formulas; it is a unifying thread of almost all of mathem ...
known as
group theory
In abstract algebra, group theory studies the algebraic structures known as group (mathematics), groups.
The concept of a group is central to abstract algebra: other well-known algebraic structures, such as ring (mathematics), rings, field ...
, a complement of a
subgroup
In group theory, a branch of mathematics, given a group ''G'' under a binary operation ∗, a subset ''H'' of ''G'' is called a subgroup of ''G'' if ''H'' also forms a group under the operation ∗. More precisely, ''H'' is a subgrou ...
''H'' in a
group ''G'' is a subgroup ''K'' of ''G'' such that
:
Equivalently, every element of ''G'' has a unique expression as a product ''hk'' where ''h'' ∈ ''H'' and ''k'' ∈ ''K''. This relation is symmetrical: if ''K'' is a complement of ''H'', then ''H'' is a complement of ''K''. Neither ''H'' nor ''K'' need be a
normal subgroup
In abstract algebra, a normal subgroup (also known as an invariant subgroup or self-conjugate subgroup) is a subgroup that is invariant under conjugation by members of the group of which it is a part. In other words, a subgroup N of the group G ...
of ''G''.
Properties
* Complements need not exist, and if they do they need not be unique. That is, ''H'' could have two distinct complements ''K''
1 and ''K''
2 in ''G''.
* If there are several complements of a normal subgroup, then they are necessarily
isomorphic to each other and to the
quotient 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 (the rest of the structure is "factored" out). For exam ...
.
* If ''K'' is a complement of ''H'' in ''G'' then ''K'' forms both a left and right
transversal of ''H''. That is, the elements of ''K'' form a complete set of representatives of both the left and right
coset
In mathematics, specifically group theory, a subgroup of a group may be used to decompose the underlying set of into disjoint, equal-size subsets called cosets. There are ''left cosets'' and ''right cosets''. Cosets (both left and right) ...
s of ''H''.
* The
Schur–Zassenhaus theorem
The Schur–Zassenhaus theorem is a theorem in group theory which states that if G is a finite group, and N is a normal subgroup whose order is coprime to the order of the quotient group G/N, then G is a semidirect product (or split extension) of ...
guarantees the existence of complements of normal
Hall subgroup
In mathematics, specifically group theory, a Hall subgroup of a finite group ''G'' is a subgroup whose order is coprime to its index. They were introduced by the group theorist .
Definitions
A Hall divisor (also called a unitary divisor) of ...
s of
finite groups.
Relation to other products
Complements generalize both the
direct product
In mathematics, one can often define a direct product of objects already known, giving a new one. This generalizes the Cartesian product of the underlying sets, together with a suitably defined structure on the product set. More abstractly, one t ...
(where the subgroups ''H'' and ''K'' are normal in ''G''), and the
semidirect product
In mathematics, specifically in group theory, the concept of a semidirect product is a generalization of a direct product. There are two closely related concepts of semidirect product:
* an ''inner'' semidirect product is a particular way in w ...
(where one of ''H'' or ''K'' is normal in ''G''). The product corresponding to a general complement is called the
internal Zappa–Szép product. When ''H'' and ''K'' are
nontrivial, complement subgroups factor a group into smaller pieces.
Existence
As previously mentioned, complements need not exist.
A ''p''-complement is a complement to a
Sylow ''p''-subgroup. Theorems of
Frobenius and
Thompson describe when a group has a
normal ''p''-complement.
Philip Hall
Philip Hall FRS (11 April 1904 – 30 December 1982), was an English mathematician. His major work was on group theory, notably on finite groups and solvable groups.
Biography
He was educated first at Christ's Hospital, where he won the Thomp ...
characterized finite
soluble
In chemistry, solubility is the ability of a substance, the solute, to form a solution with another substance, the solvent. Insolubility is the opposite property, the inability of the solute to form such a solution.
The extent of the solub ...
groups amongst finite groups as those with ''p''-complements for every
prime
A prime number (or a prime) is a natural number greater than 1 that is not a product of two smaller natural numbers. A natural number greater than 1 that is not prime is called a composite number. For example, 5 is prime because the only way ...
''p''; these ''p''-complements are used to form what is called a
Sylow system
In mathematics, specifically group theory, a Hall subgroup of a finite group ''G'' is a subgroup whose order is coprime to its index. They were introduced by the group theorist .
Definitions
A Hall divisor (also called a unitary divisor) of an ...
.
A Frobenius complement is a special type of complement in a
Frobenius group.
A
complemented group is one where every subgroup has a complement.
See also
*
Product of group subsets In mathematics, one can define a product of group subsets in a natural way. If ''S'' and ''T'' are subsets of a group ''G'', then their product is the subset of ''G'' defined by
:ST = \.
The subsets ''S'' and ''T'' need not be subgroups for this pro ...
References
*
*
Group theory
{{Abstract-algebra-stub