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.

Ngayon ikaw Walang kalkulador settles ito isa, ngunit ang mga piraso ng mga ito ay computable. Subukan ang isa sa ibaba, o type ang iyong sarili.

Panatilihin ang iyong sariling nagtatrabaho

Ang isang libreng account ay nagdaragdag ng mga tala sa bawat aralin, isang tala ng kung ano ang iyong natapos, ang iyong mga nalulutas na problema sa isang lugar, at isang guro na maaari mong tanungin tungkol sa pahinang ito. Ang matematika mismo ay bukas sa lahat, naka-sign in o hindi.

Mag-sign Up Mag-login

Mga simbolong ginagamit dito

I-tap ang anumang simbolo para sa buong kahulugan, isang larawan, at kung ano ang ibig sabihin ng bawat titik sa ito.

Mga katanungan na tanong ng mga tao

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.

Bahagi ng pahinang ito ay naaayon mula sa Judson, Abstract Algebra: Theory and Applications (GFDL 1.3). Condensed at muling ipinaliwanag dito; errors ay aming.

Higit pa sa 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