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.

Nüüd sina. Ükski kalkulaator ei lahenda seda, kuid selle osad on kompueeritavad. Proovi allpool või kirjuta omaenda oma.

Hoia oma töö

Tasuta konto lisab märkmeid igale õppetunnile, ülestähenduse, oma lahendatud probleemide kohta ühes kohas ja juhendaja kohta, kellelt võid küsida selle lehekülje kohta. Matemaatika ise on avatud kõigile, allkirjastatud või mitte.

Registreeru Sisselogimine

Siin kasutatavad sümbolid

Koputage kõiki sümboleid, mis on mõeldud täieliku definitsiooni, pildi ja iga tähe all.

Küsimusi, mida inimesed küsivad

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.

Osad käesoleva lehekülje on kohandatud alates Judson, Abstract Algebra: Theory and Applications (GFDL 1.3). Kondenseeritud ja uuesti selgitatud siin; vead on meie.

Rohkem 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