Complement (group theory)
 | This article needs attention from an expert on the subject. Please add a reason or a talk parameter to this template to explain the issue with the article. |
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 H and K together generate G and the intersection of H and K is the identity. Equivalently, a subgroup K of G is called a complement for H in G if G = HK = { hk : h ∈ H & k ∈ K } and H ∩ K = {e}. 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, a subgroup with a complement in some sense allows the group to be factored into simpler pieces.
References
- David S. Dummit & Richard M. Foote (2003). Abstract Algebra. Wiley. ISBN 978-0-471-43334-7.