In
mathematics, especially in the area of
algebra
Algebra () is one of the 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 mathematics.
Elementary ...
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 subgroup ...
''H'' in a
group
A group is a number of persons or things that are located, gathered, or classed together.
Groups of people
* Cultural group, a group whose members share the same cultural identity
* Ethnic group, a group whose members share the same ethnic ide ...
''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 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.
* 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 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) o ...
s of
finite groups.
Relation to other products
Complements generalize both the
direct product (where the subgroups ''H'' and ''K'' are normal in ''G''), and the
semidirect product (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 In mathematics, the adjective trivial is often used to refer to a claim or a case which can be readily obtained from context, or an object which possesses a simple structure (e.g., groups, topological spaces). The noun triviality usually refers to a ...
, 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
Thompson may refer to:
People
* Thompson (surname)
* Thompson M. Scoon (1888–1953), New York politician
Places Australia
*Thompson Beach, South Australia, a locality
Bulgaria
* Thompson, Bulgaria, a village in Sofia Province
Canada
* ...
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 Thomps ...
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 solubi ...
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 ways ...
''p''; these ''p''-complements are used to form what is called a
Sylow system.
A Frobenius complement is a special type of complement in a
Frobenius group
In mathematics, a Frobenius group is a transitive permutation group on a finite set, such that no non-trivial element
fixes more than one point and some non-trivial element fixes a point.
They are named after F. G. Frobenius.
Structure
Suppos ...
.
A
complemented group is one where every subgroup has a complement.
See also
*
Product of group subsets
References
*
*
Group theory
{{Abstract-algebra-stub