4.1: Introduction to Subgroups
Sometimes groups are too complicated to understand directly. One method that can be used to identify a group's structure is to study its subgroups .
Definition: Subgroup
A subgroup of a group \(G\) is a subset of \(G\) that is also a group under \(G\)'s operation. If \(H\) is a subgroup of \(G\text{,}\) we write \(H \leq G\text{;}\) if \(H\subseteq G\) is not a subgroup of \(G\text{,}\) we write \(H\not\leq G\text{.}\)
Note
Do not confuse sub groups with sub sets ! All subgroups of a group \(G\) are, by definition, subsets of \(G\text{,}\) but not all subsets of \(G\) are subgroups of \(G\) (see Example \(4.1.1\), Parts 2–5, below). Whether or not a subset of \(G\) is a subgroup of \(G\) depends on the operation of \(G\text{.}\)
Example \(\PageIndex{1}\)
-
Consider the subset \(\mathbb{Z}\) of the group \(\mathbb{Q}\text{,}\) assuming that \(\mathbb{Q}\) is equipped with the usual addition of real numbers (as we indicated above that we would assume, by default). Since we already know that \(\mathbb{Z}\) is a group under this operation, \(\mathbb{Z}\) is not just a subset but in fact a subgroup of \(\mathbb{Q}\) (under addition).
-
Instead, consider the subset \(\mathbb{Q}^+\) of the group \(\mathbb{Q}\text{.}\) This subset is not a group under \(\mathbb{Q}\)'s operation \(+\text{,}\) since it does not contain an identity element for \(+\text{.}\) Therefore, \(\mathbb{Q}^+\) is a subset but not a subgroup of \(\mathbb{Q}\text{.}\)
-
Let \(I\) be the subset
\begin{equation*} I=\mathbb{R}-\mathbb{Q}=\{x\in \mathbb{R}: x \text{ is irrational} \} \end{equation*}
of the group \(\mathbb{R}\text{.}\) The set \(I\) is not a group under \(\mathbb{R}\)'s operation \(+\) since it is not closed under addition: for instance, \(\pi, -\pi \in I\text{,}\) but \(\pi+(-\pi)=0\not\in I\text{.}\) So \(I\) is a subset but not a subgroup of \(\mathbb{R}\text{.}\)
-
Consider the subset \(\mathbb{Z}^+\) of the group \(\mathbb{R}^+\text{.}\) The set \(\mathbb{Z}^+\) is closed under multiplication, multiplication is associative on \(\mathbb{Z}^+\text{,}\) and \(\mathbb{Z}^+\) does contain an identity element (namely, \(1\)). However, most elements of \(\mathbb{Z}^+\) do not have inverses in \(\mathbb{Z}^+\) under multiplication: for instance, the inverse of \(3\) would have to be \( \dfrac{1}{3}\text{,}\) but \(\dfrac{1}{3}\not\in \mathbb{Z}^+\text{.}\) Therefore, \(\mathbb{Z}^+\) is a subset but not a subgroup of \(\mathbb{R}^+\text{.}\)
-
Consider the subset \(GL(n,\mathbb{R})\) of \(\mathbb{M}_n(\mathbb{R})\text{.}\) We know that \(GL(n,\mathbb{R})\) is a group, so it might be tempting to say that it is a subgroup of \(\mathbb{M}_n(\mathbb{R})\text{;}\) to be a subgroup of \(\mathbb{M}_n(\mathbb{R})\text{,}\) \(GL(n,\mathbb{R})\) must be a group under \(\mathbb{M}_n(\mathbb{R})\)'s operation, which is matrix addition. While \(GL(n,\mathbb{R})\) is a group under matrix multiplication, it is not a group under matrix addition: for instance, it is not closed under matrix addition, since \(I_n, -I_n\in GL(n,\mathbb{R})\) but \(I_n+(-I_n)\) is the matrix consisting of all zeros, which is not in \(GL(n,\mathbb{R})\text{.}\) So \(GL(n,\mathbb{R})\) is a subset but not a subgroup of \(\mathbb{M}_n(\mathbb{R})\text{.}\)
-
Consider the subset \(H=\{0,2\}\) of \(\mathbb{Z}_4\text{.}\) The subset \(H\) is closed under addition modulo \(4\) (\(0+0=0\text{,}\) \(0+2=2+0=2\text{,}\) \(2+2=0\)), addition modulo \(4\) is always associative, \(H\) contains an identity element (namely, \(0\)) under addition modulo \(4\), and both \(0\) and \(2\) have inverses in \(\mathbb{Z}_4\) under this operation (\(0\) and \(2\) are each their own inverses). Thus, \(H\) is a subgroup of \(\mathbb{Z}_4\text{.}\)
-
Let \(G\) be a group. Then \(\{e_G\}\) and \(G\) are clearly both subgroups of \(G\text{.}\)
Definition: Trivial, Nontrivial, Proper, and Improper Subgroup
Let \(G\) be a group. The subgroups \(\{e_G\}\) and \(G\) of \(G\) are called the trivial subgroup and the improper subgroup of \(G\text{,}\) respectively. Not surprisingly, if \(H\leq G\) and \(H\neq \{e_G\}\text{,}\) \(H\) is called a nontrivial subgroup of \(G\text{,}\) and if \(H\leq G\) and \(H\neq G\text{,}\) \(H\) is called a proper subgroup of \(G\text{.}\)
Remark
Sometimes the notation \(H\lt G\) is used to indicate that \(H\) is a proper subgroup of \(G\text{,}\) but sometimes it is simply used to mean that \(H\) is a subgroup—proper or improper—of \(G\text{.}\) We will not use the notation \(H\lt G\) in this text.
Notice that in the cases above, we saw subsets of groups fail to be subgroups because they were not closed under the groups' operations; because they did not contain identity elements; or because they didn't contain an inverse for each of their elements. None, however, failed because the relevant group's operation was not associative on them. This is not a coincidence: rather, since any element of a subset of a group \(G\) also lives in \(G\text{,}\) any associative operation on \(G\) is of necessity associative on any closed subset of \(G\text{.}\) Therefore, when we are checking to see if \(H\subseteq G\) is a subgroup of group \(G\text{,}\) we need only check for closure, an identity element, and inverses.
Lemma \(\PageIndex{1}\)
Let \(G\) be a group.
- If \(H\) is a subgroup of \(G\) then the identity element \(e_H\) of \(H\) is \(e_G\text{,}\) the identity element of \(G\text{.}\)
- If \(H\) is a subgroup of \(G\) and \(a\in H\) has inverse \(a^{-1}\) in \(G\text{,}\) then \(a\)'s inverse in \(H\) is also \(a^{-1}\text{.}\)
- Proof
-
For Part 1: Since \(e_H\) is in both \(H\) and \(G\), by the definition of \(e_H\), we have \(e_He_H=e_H\), and by the definition of \(e_G\) we have \(e_Ge_H=e_H\). So \(e_He_H=e_Ge_H\), and thus by right cancellation, \(e_H=e_G\).
Next, for Part 2, let \(b\) be the inverse of \(a\) in \(H\). Then using Part 1 of this lemma and the definition of an inverse, \(ab=e_H=e_G=aa^{−1}\). By left cancellation, then, we have that \(b=a^{−1}\).
Corollary \(\PageIndex{1}\)
Let \(H\subseteq G\text{.}\) If the identity element of \(G\) is not in \(H\text{,}\) then \(H\not\leq G\text{.}\)