Complement (group theory)

In mathematics, especially in the area of algebra known as group theory, a complement of a subgroup H in a group G is a subgroup K of G such that

G = HK = \{ hk : h\in H, k\in K\} \text{ and } H\cap K = \{e\}.

Equivalently, every element of G has a unique expression as a product hk where hH and kK. 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.

Complements generalize both the direct product (where the subgroups H and K commute element-wise), and the semidirect product (where one of H or K normalizes the other). The product corresponding to a general complement is called the Zappa–Szép product. In all cases, complement subgroups factor a group into smaller pieces.

Some properties of complement subgroups:

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 characterized finite soluble groups amongst finite groups as those with p-complements for every prime 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.

A complemented group is one where every subgroup has a complement.

See also

References


This article is issued from Wikipedia - version of the Friday, December 18, 2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.