Skip to main content
Logo image

Applied Discrete Structures

Section 11.3 Some General Properties of Groups

In this section, we will present some of the most basic theorems of group theory. Keep in mind that each of these theorems tells us something about every group. We will illustrate this point with concrete examples at the close of the section.

Subsection 11.3.1 First Theorems

One difficulty that students often encounter is how to get started in proving a theorem like this. The difficulty is certainly not in the theorem’s complexity. It’s too terse! Before actually starting the proof, we rephrase the theorem so that the implication it states is clear.

Proof.

(Indirect): Suppose that \(f\in G\text{,}\) \(f\neq e\text{,}\) and \(f\) is an identity of \(G\text{.}\) We will show that \(f = e\text{,}\) which is a contradiction, completing the proof.
\begin{equation*} \begin{split} f &= f * e \quad \textrm{ Since }e\textrm{ is an identity}\\ &= e \quad \textrm{ Since }f\textrm{ is an identity} \end{split} \end{equation*}
Next we justify the phrase “... the inverse of an element of a group.”
The same problem is encountered here as in the previous theorem. We will leave it to the reader to rephrase this theorem. The proof is also left to the reader to write out in detail. Here is a hint: If \(b\) and \(c\) are both inverses of \(a\text{,}\) then you can prove that \(b = c\text{.}\) If you have difficulty with this proof, note that we have already proven it in a concrete setting in Chapter 5.
As mentioned above, the significance of Theorem 11.3.3 is that we can refer to the inverse of an element without ambiguity. The notation for the inverse of \(a\) is usually \(a^{-1}\) (note the exception below).

Example 11.3.4. Some Inverses.

  1. In any group, \(e^{-1}\) is the inverse of the identity \(e\text{,}\) which always is \(e\text{.}\)
  2. \(\left(a^{-1}\right)^{-1}\) is the inverse of \(a^{-1}\) , which is always equal to \(a\) (see Theorem 11.3.5 below).
  3. \((x*y*z)^{-1}\) is the inverse of \(x * y * z\text{.}\)
  4. In a concrete group with an operation that is based on addition, the inverse of \(a\) is usually written \(-a\text{.}\) For example, the inverse of \(k - 3\) in the group \([\mathbb{Z}; +]\) is written \(-(k- 3)=3-k\text{.}\) In the group of \(2 \times 2 \) matrices over the real numbers under matrix addition, the inverse of \(\left( \begin{array}{cc} 4 & 1 \\ 1 & -3 \\ \end{array} \right)\) is written \(-\left( \begin{array}{cc} 4 & 1 \\ 1 & -3 \\ \end{array} \right)\text{,}\) which equals \(\left( \begin{array}{cc} -4 & -1 \\ -1 & 3 \\ \end{array} \right)\text{.}\)
Again, we rephrase the theorem to make it clear how to proceed.

Proof.

\begin{equation*} \begin{split} a &=a*e \quad \quad e\textrm{ is the identity of }G\\ &= a * (b * c) \quad\textrm{ because }c\textrm{ is the inverse of } b\\ & = (a * b) * c \quad \textrm{ why?}\\ & = e * c \quad \textrm{ why?}\\ & = c \quad \textrm{ by the identity property}\\ \end{split} \end{equation*}
The next theorem gives us a formula for the inverse of \(a * b\text{.}\) This formula should be familiar. In Chapter 5 we saw that if \(A\) and \(B\) are invertible matrices, then \((A B)^{-1}= B^{-1} A^{-1}\text{.}\)

Proof.

Let \(x = b^{-1}*a^{-1}\text{.}\) We will prove that \(x\) inverts \(a * b\text{.}\) Since we know that the inverse is unique, we will have proved the theorem.
\begin{equation*} \begin{split} (a * b) * x &= (a * b) * \left(b^{-1}*a^{-1}\right)\\ &= a* \left(b*\left(b^{-1}*a^{-1}\right)\right)\\ &= a*\left(\left(b*b^{-1}\right)*a^{-1}\right)\\ &= a * \left(e * a^{-1}\right)\\ &= a * a^{-1}\\ &= e \end{split} \end{equation*}
Similarly, \(x * (a * b) = e\text{;}\) therefore, \((a*b)^{-1}=x= b^{-1}*a^{-1}\)

Proof.

We will prove the left cancellation law. The right law can be proved in exactly the same way. Starting with \(a * b = a * c\text{,}\) we can operate on both \(a * b\) and \(a * c\) on the left with \(a^{-1}\text{:}\)
\begin{equation*} a^{-1}* (a * b) = a^{-1} * (a * c) \end{equation*}
Applying the associative property to both sides we get
\begin{equation*} \begin{split} (a^{-1} * a) * b = (a^{-1} * a) * c & \Rightarrow e * b = e * c\\ & \Rightarrow b = c \end{split} \end{equation*}

Proof.

We prove the theorem only for \(a * x = b\text{,}\) since the second statement is proven identically.
\begin{equation*} \begin{split} a*x = b & =e * b\\ &= (a* a^{-1}) * b \\ & = a * (a^{-1} * b) \end{split} \end{equation*}
By the cancellation law, we can conclude that \(x = a ^{-1} * b\text{.}\)
If \(c\) and \(d\) are two solutions of the equation \(a * x = b\text{,}\) then \(a * c = b = a * d\) and, by the cancellation law, \(c = d\text{.}\) This verifies that \(a ^{-1} * b\) is the only solution of \(a * x = b\text{.}\)

Note 11.3.10.

Our proof of Theorem 11.3.9 was analogous to solving the concrete equation \(4x = 9\) in the following way:
\begin{equation*} 4 x=9=\left(4\cdot \frac{1}{4}\right)9=4\left(\frac{1}{4}9\right) \end{equation*}
Therefore, by cancelling 4,
\begin{equation*} x = \frac{1}{4}\cdot 9 = \frac{9}{4} \end{equation*}

Subsection 11.3.2 Exponents

If \(a\) is an element of a group \(G\text{,}\) then we establish the notation that
\begin{equation*} a * a = a^2\quad \quad a*a*a=a^3\quad \quad \textrm{etc.} \end{equation*}
In addition, we allow negative exponents and define, for example,
\begin{equation*} a^{-2}= \left(a^2\right)^{-1} \end{equation*}
Although this should be clear, proving exponentiation properties requires a more precise recursive definition.

Definition 11.3.11. Exponentiation in Groups.

For \(n \geq 0\text{,}\) define \(a^n\) recursively by \(a ^0 = e\) and if \(n > 0, a^n= a^{n-1} *a\text{.}\) Also, if \(n >1\text{,}\) \(a^{-n}= \left(a^n\right)^{-1}\text{.}\)

Example 11.3.12. Some concrete exponentiations.

  1. In the group of positive real numbers with multiplication,
    \begin{equation*} 5^3= 5^2\cdot 5 =\left(5^1\cdot 5\right)\cdot 5=\left(\left(5^0\cdot 5\right)\cdot 5\right)\cdot 5=((1\cdot 5)\cdot 5)\cdot 5= 5 \cdot 5\cdot 5=125 \end{equation*}
    and
    \begin{equation*} 5^{-3}= (125)^{-1}= \frac{1}{125} \end{equation*}
  2. In a group with addition, we use a different form of notation, reflecting the fact that in addition repeated terms are multiples, not powers. For example, in \([\mathbb{Z}; +]\text{,}\) \(a + a\) is written as \(2a\text{,}\) \(a + a + a\) is written as \(3a\text{,}\) etc. The inverse of a multiple of \(a\) such as \(- (a + a + a + a + a) = -(5a)\) is written as \((-5)a\text{.}\)
Although we define, for example, \(a^5=a^4* a\text{,}\) we need to be able to extract the single factor on the left. The following lemma justifies doing precisely that.

Proof.

(By induction): If \(n=0\text{,}\)
\begin{equation*} \begin{split} b^1 &= b^0*b \textrm{ by the definition of exponentiation}\\ & =e*b\textrm{ by the basis for exponentiation}\\ &= b * e\textrm{ by the identity property}\\ &= b * b^0\textrm{ by the basis for exponentiation} \end{split} \end{equation*}
Now assume the formula of the lemma is true for some \(n\geq 0\text{.}\)
\begin{equation*} \begin{split} b^{(n+1)+1} &= b^{(n+1)}* b\textrm{ by the definition of exponentiation}\\ &= \left(b*b^n\right)*b\textrm{ by the induction hypothesis}\\ & = b*\left(b^n*b\right)\textrm{ associativity}\\ & = b*\left(b^{n+1}\right)\textrm{ definition of exponentiation}\\ \end{split} \end{equation*}
Based on the definitions for exponentiation above, there are several properties that can be proven. They are all identical to the exponentiation properties from elementary algebra.

Proof.

We will leave the proofs of these properties to the reader. All three parts can be done by induction. For example the proof of the second part would start by defining the proposition \(p(m)\) , \(m\geq 0\text{,}\) to be \(a^{n+m}=a^n*a^m \textrm{ for all } n\text{.}\) The basis is \(p(0): a^{n+0}=a^n*a^0\text{.}\)
Our final theorem is the only one that contains a hypothesis about the group in question. The theorem only applies to finite groups.

Proof.

Consider the list \(a, a^2,\ldots , a^{n+1}\) . Since there are \(n + 1\) elements of \(G\) in this list, there must be some duplication. Suppose that \(a^p=a^q\text{,}\) with \(p < q\text{.}\) Let \(m = q - p\text{.}\) Then
\begin{equation*} \begin{split} a^m & =a^{q-p}\\ &= a^q*a^{-p}\\ &= a^q*\left(a^p\right)^{-1}\\ &= a^q *\left(a^q\right)^{-1}\\ &= e\\ \end{split} \end{equation*}
Furthermore, since \(1\leq p < q \leq n+1\text{,}\) \(m= q-p\leq n\text{.}\)
Consider the concrete group \([\mathbb{Z}; +]\text{.}\) All of the theorems that we have stated in this section except for the last one say something about \(\mathbb{Z}\text{.}\) Among the facts that we conclude from the theorems about \(\mathbb{Z}\) are:
  • Since the inverse of 5 is \(-5\text{,}\) the inverse of \(-5\) is 5.
  • The inverse of \(-6 + 71\) is \(-(71) + -(-6) = -71 + 6\text{.}\)
  • The solution of \(12 + x = 22\) is \(x = -12 + 22\text{.}\)
  • \(-4(6) + 2(6) = (-4 + 2)(6) = -2(6) = -(2)(6)\text{.}\)
  • \(7(4(3)) = (7\cdot 4)(3) = 28(3)\) (twenty-eight 3s).

Exercises 11.3.3 Exercises

1.

Let \([G; * ]\) be a group and \(a\) be an element of \(G\text{.}\) Define \(f:G \to G\) by \(f(x) = a * x\text{.}\)
  1. Prove that \(f\) is a bijection.
  2. On the basis of part a, describe a set of bijections on the set of integers.
Answer.
  1. \(f\) is injective:
    \begin{equation*} \begin{split} f(x) = f(y) & \Rightarrow a * x = a * y \\ & \Rightarrow x = y\textrm{ by left cancellation}\\ \end{split}\text{.} \end{equation*}
    \(f\) is surjective: For all \(b \in G\text{,}\) \(f(x) = b\) has the solution \(a^{-1}*b\text{.}\)
  2. Functions of the form \(f(x) = a + x\text{,}\) where \(a\) is any integer, are bijections

3.

Prove by induction on \(n\) that if \(a_1\text{,}\) \(a_2,\ldots , a_n\) are elements of a group \(G\text{,}\) \(n\geq 2\text{,}\) then \(\left(a_1*a_2*\cdots *a_n\right)^{-1}= a_n^{-1}*\cdots *a_2^{-1}*a_1^{-1}\text{.}\) Interpret this result in terms of \([\mathbb{Z}; +]\) and \([\mathbb{R}^*;\cdot]\text{.}\)
Answer.
Basis: (\(n = 2\)) \(\left(a_1*a_2\right)^{-1}= a_2^{-1}*a_1^{-1}\) by Theorem 11.3.7.
Induction: Assume that for some \(n \geq 2\text{,}\)
\begin{equation*} \left(a_1*a_2* \cdots *a_n\right)^{-1}=a_n^{-1}* \cdots * a_2^{-1}*a_1^{-1} \end{equation*}
We must show that
\begin{equation*} \left(a_1*a_2* \cdots *a_n*a_{n+1}\right)^{-1}=a_{n+1}^{-1}*a_n^{-1}* \cdots * a_2^{-1}*a_1^{-1} \end{equation*}
This can be accomplished as follows:
\begin{equation*} \begin{split} \left(a_1*a_2*\cdots *a_n*a_{n+1}\right)^{-1} &=\left(\left(a_1*a_2*\cdots *a_n\right)*a_{n+1}\right)^{-1}\textrm{ by the associative law}\\ &=a_{n+1}^{-1}*\left(a_1*a_2*\cdots *a_n\right)^{-1}\textrm{ by the basis}\\ &=a_{n+1}^{-1}*\left(a_n^{-1}*\cdots * a_2^{-1}*a_1^{-1}\right) \textrm{ by the induction hypothesis}\\ &= a_{n+1}^{-1}*a_n^{-1}*\cdots * a_2^{-1}*a_1^{-1} \textrm{ by the associative law}\\ \end{split} \end{equation*}

4.

True or false? If \(a\text{,}\) \(b\text{,}\) \(c\) are elements of a group \(G\text{,}\) and \(a * b = c * a\text{,}\) then \(b = c\text{.}\) Explain your answer.

5.

Answer.
In this answer, we will refer to Lemma 11.3.13 simply as “the lemma.”
  1. Let \(p(n)\) be \(a^{-n}= \left(a^{-1}\right)^n\text{,}\) where \(a\) is any element of group \([G; *]\text{.}\) First we will prove that \(p(n)\) is true for all \(n \geq 0\text{.}\)
    Basis: If \(n = 0\text{,}\) Using the definition of the zero exponent, \(\left(a^0\right)^{-1} = e^{-1} = e\text{,}\) while \(\left(a^{-1}\right)^0= e\text{.}\) Therefore, \(p(0)\) is true.
    Induction: Assume that for some \(n \geq 0\text{,}\) \(p(n\)) is true.
    \begin{equation*} \begin{split} \left(a^{n+1}\right)^{-1} &= \left(a^n*a\right)^{-1}\textrm{ by the definition of exponentiation}\\ & =a^{-1}*\left(a^n\right)^{-1}\textrm{ by the lemma}\\ & = a^{-1}*\left(a^{-1}\right)^n\textrm{ by the induction hypothesis}\\ & = \left(a^{-1}\right)^{n+1} \textrm{ by the lemma} \end{split} \end{equation*}
    If \(n\) is negative, then \(-n\) is positive and
    \begin{equation*} \begin{split} a^{-n} & = \left(\left(\left(a^{-1}\right)^{-1}\right)^{-n} \right)\\ & =\left(a^{-1}\right)^{-(-n)}\textrm{ since the property is true for positive numbers}\\ & =\left(a^{-1}\right)^n \end{split} \end{equation*}
  2. For \(m > 1\text{,}\) let \(p(m)\) be \(a^{n+m}=a^n*a^m\) for all \(n\geq 1\text{.}\) The basis for this proof follows directly from the basis for the definition of exponentiation.
    Induction: Assume that for some \(m > 1\text{,}\) \(p(m)\) is true. Then
    \begin{equation*} \begin{split} a^{n+(m+1)}&= a^{(n+m)+1}\textrm{ by the associativity of integer addition}\\ &=a^{n+m}*a^1\textrm{ by the definition of exponentiation}\\ &=\left(a^n*a^m\right)*a^1 \textrm{ by the induction hypothesis}\\ &= a^n*\left(a^m*a^1\right)\textrm{ by associativity}\\ &= a^n*a^{m+1}\textrm{ by the definition of exponentiation} \end{split} \end{equation*}
    To complete the proof, you need to consider the cases where \(m\) and/or \(n\) are negative.
  3. Let \(p(m)\)be \(\left(a^n\right)^m= a^{n m}\) for all integers \(n\text{.}\)
    Basis: \(\left(a^m\right)^0= e\) and \(a^{m\cdot 0}=a^0= e\) therefore, \(p(0)\) is true.
    Induction; Assume that \(p(m)\) is true for some \(m >\)0,
    \begin{equation*} \begin{split} \left(a^n\right)^{m+1}&=\left(a^n\right)^m*a^n \textrm{ by the definition of exponentiation}\\ &=a^{n m}*a^n\textrm{ by the induction hypothesis}\\ & =a^{n m + n}\textrm{ by part (b) of this proof}\\ & =a^{n(m+1)} \end{split} \end{equation*}
    Finally, if \(m\) is negative, we can verify that \(\left(a^n\right)^m= a^{n m}\) using many of the same steps as the positive case.

6.

Each of the following facts can be derived by identifying a certain group and then applying one of the theorems of this section to it. For each fact, list the group and the theorem that are used.
  1. \(\left(\frac{1}{3}\right)5\) is the only solution of \(3x = 5\text{.}\)
  2. \(-(-(-18)) = -18\text{.}\)
  3. If \(A, B, C\) are \(3\times 3\) matrices over the real numbers, with \(A + B = A + C\text{,}\) then \(B = C\text{.}\)
  4. There is only one subset \(K\) of the natural numbers for which \(K \oplus A = A\) for every subset \(A\) of the natural numbers.
You have attempted of activities on this page.