11.3: Some General Properties of Groups
- Page ID
- 80546
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)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.
First Theorems
Theorem \(\PageIndex{1}\): Identities are Unique
The identity of a group is unique.
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.
Theorem \(\PageIndex{2}\): Identities are Unique - Rephrased
If \(G= [G; *]\) is a group and \(e\) is an identity of \(G\text{,}\) then no other element of \(G\) is an identity of \(G\text{.}\)
- 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 \(\PageIndex{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 \(\PageIndex{1}\): Some Inverses
- In any group, \(e^{-1}\) is the inverse of the identity \(e\text{,}\) which always is \(e\text{.}\)
- \(\left(a^{-1}\right)^{-1}\) is the inverse of \(a^{-1}\) , which is always equal to \(a\) (see Theorem \(\PageIndex{4}\) below).
- \((x*y*z)^{-1}\) is the inverse of \(x * y * z\text{.}\)
- 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{.}\)
Theorem \(\PageIndex{4}\): Inverse of Inverse Theorem
If a is an element of group \(G\text{,}\) then \(\left(a^{-1}\right)^{-1}=a\text{.}\)
Again, we rephrase the theorem to make it clear how to proceed.
Theorem \(\PageIndex{5}\): Inverse of Inverse Theorem (Rephrased)
If \(a\) has inverse \(b\) and \(b\) has inverse \(c\text{,}\) then \(a = c\text{.}\)
- 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{.}\)
Theorem \(\PageIndex{6}\): Inverse of a Product
If \(a\) and \(b\) are elements of group \(G\text{,}\) 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}\)
Theorem \(\PageIndex{7}\): Cancellation Laws
If \(a\text{,}\) \(b\text{,}\) and \(c\) are elements of group \(G\text{,}\) then
\begin{equation*} \begin{array}{lc} \textrm{left cancellation:}& (a * b = a * c) \Rightarrow b = c\\ \textrm{right cancellation:}& (b * a = c * a) \Rightarrow b = c\\ \end{array} \end{equation*}
- 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*}
Theorem \(\PageIndex{8}\): Linear Equations in a Group
If \(G\) is a group and \(a, b \in G\text{,}\) the equation \(a * x = b\) has a unique solution, \(x = a^{-1} * b\text{.}\) In addition, the equation \(x * a = b\) has a unique solution, \(x = b * a^{-1}\text{.}\)
- 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 \(\PageIndex{1}\)
Our proof of Theorem \(\PageIndex{8}\) 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*}
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 exponent 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 \(\PageIndex{1}\): 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 \(\PageIndex{2}\): Some Concrete Exponentiations
- 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*} - 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.
Lemma \(\PageIndex{1}\)
Let \(G\) be a group. If \(b\in G\) and \(n\geq 0\text{,}\) then \(b^{n+1}=b* b^n\text{,}\) and hence \(b* b^n= b^n*b\text{.}\)
- 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.
Theorem \(\PageIndex{9}\): Properties of Exponentiation
If a is an element of a group \(G\text{,}\) and \(m\) and \(n\) are integers,
- \(a^{-n}= \left(a^{-1}\right)^n\) and hence \(\left(a^n\right)^{-1}= \left(a^{-1}\right)^n\)
- \(\displaystyle a^{n+m}= a^n*a^m\)
- \(\displaystyle \left(a^n\right)^m= a^{n m}\)
- 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.
If \(G\) is a finite group, \(\left| G\right| = n\text{,}\) and \(a\) is an element of \(G\text{,}\) then there exists a positive integer \(m\) such that \(a^m= e\) and \(m\leq n\text{.}\)
- 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
Exercise \(\PageIndex{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{.}\)
- Prove that \(f\) is a bijection.
- On the basis of part a, describe a set of bijections on the set of integers.
- Answer
-
- \(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{.}\) - Functions of the form \(f(x) = a + x\text{,}\) where \(a\) is any integer, are bijections
- \(f\) is injective:
Exercise \(\PageIndex{2}\)
Rephrase Theorem \(\PageIndex{3}\) and write out a clear proof.
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 \(\PageIndex{6}\).
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*}
Exercise \(\PageIndex{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.
Exercise \(\PageIndex{5}\)
Prove Theorem \(\PageIndex{9}\).
- Answer
-
In this answer, we will refer to Lemma \(\PageIndex{1}\) simply as “the lemma.”
- 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*} - 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. - 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.
- 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{.}\)
Exercise \(\PageIndex{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.
- \(\left(\frac{1}{3}\right)5\) is the only solution of \(3x = 5\text{.}\)
- \(-(-(-18)) = -18\text{.}\)
- If \(A, B, C\) are \(3\times 3\) matrices over the real numbers, with \(A + B = A + C\text{,}\) then \(B = C\text{.}\)
- There is only one subset of the natural numbers for which \(K \oplus A = A\) for every \(A \subseteq N\text{.}\)