# Subgroup

A **subgroup** of a group is any subset that is also a group under the same operation. Equivalently, the inverse of an element, or the product of two elements in , must remain in . More concisely, a subgroup of a group is a subset closed under the group product and inverses. When this happens, we can write .

Every nontrivial group contains at least two subgroups: the trivial subgroup , and the entire group . With the exception of cyclic groups with prime order, there will always be some other subgroup.

Subgroups are closed under arbitrary intersection, which means we can talk about the smallest subgroup containing a given set . This is called the subgroup **generated** by , and is denoted . If consists of finitely many elements , we can also write for this same subgroup. This notation should *not* be confused with that of group presentations.

In fact, the subgroups of any group form a complete lattice.

## Examples[edit | edit source]

- The multiples of any integer form a subgroup of the group of integers under addition . This can be denoted by .
- Tetrahedral symmetry is a subgroup of octahedral symmetry, as a regular tetrahedron can be inscribed symmetrically on the vertices of a cube (see stella octangula).
- If , the symmetric group can be seen as a subgroup of , by considering the permutations that fix all but the first elements.

## Cosets[edit | edit source]

Suppose is a subgroup of . The **left cosets** of in are the sets of the form

The **right cosets** are defined in an entirely analogous way. Note that itself will always be both a left and right coset. Cosets are not to be confused with the subgroups themselves. The only coset that is also a subgroup is .

The key results on cosets are the following.

- Any two cosets, either left or right, are in bijection and thus have as many elements as .
- Left cosets partition , as do right cosets.

An immediate corollary is **Lagrange's theorem**: if is a subgroup of , then the order of divides the order of . The value can be written and is called the **index** of the subgroup.

## Normal subgroups[edit | edit source]

In general, the left and right cosets of a subgroup won't be the same. If this happens, the subgroup is called **normal**, and we write *H* ⊴ *G*. Normal subgroups are of key importance within group theory, as they make it possible to define group quotients. Note that every subgroup of an abelian group is normal.

A subgroup is normal if and only if for any . Equivalently, for any , .

Just as all subgroups do, normal subgroups are closed under arbitrary intersection, and thus form a complete lattice.

A group without any nontrivial normal subgroups is called **simple**. As mentioned earlier, cyclic groups of prime order have no nontrivial subgroups, and are thus simple. Moreover, it can be proved that any alternating group of degree at least 5 is simple. The complete classification of finite simple groups was a long-standing problem in mathematics, only fully solved at the beginning of the 21st century, when these groups were classified into 4 infinite families (two of which were just mentioned), plus 26 exceptional cases.

## See also[edit | edit source]

## External links[edit | edit source]

- Wikipedia contributors. "Subgroup".
- Wikipedia contributors. "Simple group".
- Weisstein, Eric W. "Subgroup" at MathWorld.
- Weisstein, Eric W. "Coset" at MathWorld.
- Weisstein, Eric W. "Normal Subgroup" at MathWorld.
- Weisstein, Eric W. "Simple Group" at MathWorld.