maths.free › Abstract Algebra › Groups › Subgroups

Subgroups

Sometimes we wish to investigate smaller groups sitting inside a larger group. The set of even integers 2{\mathbb Z} = \{\ldots, -2, 0, 2, 4, \ldots \} is a group under the operation of addition.

Definitions and Examples

Sometimes we wish to investigate smaller groups sitting inside a larger group. The set of even integers \(2{\mathbb Z} = \{\ldots, -2, 0, 2, 4, \ldots \}\) is a group under the operation of addition. This smaller group sits naturally inside of the group of integers under addition. We define a subgroup \(H\) of a group \(G\) to be a subset \(H\) of \(G\) such that when the group operation of \(G\) is restricted to \(H\), \(H\) is a group in its own right. Observe that every group \(G\) with at least two elements will always have at least two subgroups, the subgroup consisting of the identity element alone and the entire group itself. The subgroup \(H = \{ e \}\) of a group \(G\) is called the trivial subgroup. A subgroup that is a proper subset of \(G\) is called a proper subgroup. In many of the examples that we have investigated up to this point, there exist other subgroups besides the trivial and improper subgroups.

Example

Consider the set of nonzero real numbers, \({\mathbb R}^*\), with the group operation of multiplication. \(\mathbb R^*\) the multiplicative group of real numbers The identity of this group is \(1\) and the inverse of any element \(a \in {\mathbb R}^*\) is just \(1/a\). We will show that \[\begin{aligned}\end{aligned}\] is a subgroup of \({\mathbb R}^*\). \(\mathbb Q^*\) the multiplicative group of rational numbers The identity of \({\mathbb R}^*\) is \(1\); however, \(1 = 1/1\) is the quotient of two nonzero integers. Hence, the identity of \({\mathbb R}^*\) is in \({\mathbb Q}^*\). Given two elements in \({\mathbb Q}^*\), say \(p/q\) and \(r/s\), their product \(pr/qs\) is also in \({\mathbb Q}^*\). The inverse of any element \(p/q \in {\mathbb Q}^*\) is again in \({\mathbb Q}^*\) since \((p/q)^{-1} = q/p\). Since multiplication in \({\mathbb R}^*\) is associative, multiplication in \({\mathbb Q}^*\) is associative.

Example

Recall that \({\mathbb C}^{\ast}\) is the multiplicative group of nonzero complex numbers. Let \(H = \{ 1, -1, i, -i \}\). Then \(H\) is a subgroup of \({\mathbb C}^{\ast}\). It is quite easy to verify that \(H\) is a group under multiplication and that \(H \subset {\mathbb C}^{\ast}\).

Condensed: the full section is in Judson, Abstract Algebra: Theory and Applications.

Some Subgroup Theorems

Let us examine some criteria for determining exactly when a subset of a group is a subgroup.

Proposition

A subset \(H\) of \(G\) is a subgroup if and only if it satisfies the following conditions.

The identity \(e\) of \(G\) is in \(H\).
If \(h_1, h_2 \in H\), then \(h_1h_2 \in H\).
If \(h \in H\), then \(h^{-1} \in H\).

Proof

First suppose that \(H\) is a subgroup of \(G\). We must show that the three conditions hold. Since \(H\) is a group, it must have an identity \(e_H\). We must show that \(e_H = e\), where \(e\) is the identity of \(G\). We know that \(e_H e_H = e_H\) and that \(ee_H = e_H e = e_H\); hence, \(ee_H = e_H e_H\). By right-hand cancellation, \(e =e_H\). The second condition holds since a subgroup \(H\) is a group. To prove the third condition, let \(h \in H\). Since \(H\) is a group, there is an element \(h' \in H\) such that \(hh' = h'h = e\). By the uniqueness of the inverse in \(G\), \(h' = h^{-1}\).

Conversely, if the three conditions hold, we must show that \(H\) is a group under the same operation as \(G\); however, these conditions plus the associativity of the binary operation are exactly the axioms stated in the definition of a group.

Proposition

Let \(H\) be a subset of a group \(G\). Then \(H\) is a subgroup of \(G\) if and only if \(H \neq \emptyset\), and whenever \(g, h \in H\) then \(gh^{-1}\) is in \(H\).

Proof

First assume that \(H\) is a subgroup of \(G\). We wish to show that \(gh^{-1} \in H\) whenever \(g\) and \(h\) are in \(H\). Since \(h\) is in \(H\), its inverse \(h^{-1}\) must also be in \(H\). Because of the closure of the group operation, \(gh^{-1} \in H\).

Conversely, suppose that \(H \subset G\) such that \(H \neq \emptyset\) and \(g h^{-1} \in H\) whenever \(g, h \in H\). If \(g \in H\), then \(gg^{-1} = e\) is in \(H\). If \(g \in H\), then \(eg^{-1} = g^{-1}\) is also in \(H\). Now let \(h_1, h_2 \in H\). We must show that their product is also in \(H\). However, \(h_1(h_2^{-1})^{-1} = h_1 h_2 \in H\). Hence, \(H\) is a subgroup of \(G\).

Condensed: the full section is in Judson, Abstract Algebra: Theory and Applications.

Manje Akukho kalkuli yokuxazulula le nto, kodwa amaphuzu ayo anga kalkuli. Zama enye ngezansi, noma ubhale yakho.

Qhubeka usebenza

I-akhawunti emahhala ifaka iziphawulo kulesifundo ngasinye, irekhodi lokuthi yini oqedile, izinkinga zakho ezixazululiwe endaweni eyodwa, nodokotela owaziyo ongabuza mayelana nalekhasi. I-matematics ivulekile kubo bonke, noma ngabe babhalise noma cha.

Bhala Ngena

Amaphawu asetshenziswa lapha

Chofoza noma yiluphi uphawu lwesibonakaliso ukuze uthole ukuchaza okuphelele, isithombe, kanye nokuthi iyiphi inhlamvu ekhona ekhuluma ngaso.

Imibuzo abantu bebuza

What is a group, in plain words?

A set with one operation that is associative, has an identity, and lets every element be undone. Symmetries of any object form a group. That is where the idea came from.

What is the difference between a ring and a field?

A ring has addition and multiplication that behave like the integers (you cannot always divide); a field is a ring where every non-zero element has a reciprocal, like the rationals or the reals.

Amangxenye wale khasi aguqulwe kusuka Judson, Abstract Algebra: Theory and Applications (GFDL 1.3). I-condensed futhi iphinde icaciswe lapha; amaphutha awusizo.

Okuningi Abstract Algebra

Groups Subgroups, cosets and Lagrange's theorem Cyclic groups and permutation groups Homomorphisms, normal subgroups and quotient groups Rings and fields Galois theory: why the quintic has no formula