Matrix Groups

Download as pdf or txt
Download as pdf or txt
You are on page 1of 4

1-20-2018

Matrix Groups
Many groups have matrices as their elements. The operation is usually either matrix addition or matrix
multiplication.

Example. Let G denote the set of all 2 × 3 matrices with real entries. (Remember that “2 × 3” means the
matrices have 2 rows and 3 columns.) Here are some elements of G:
√ #
1.17 −2.46 π 3
    "
1 2 3 0 0 0
, , 22 .
4 5 6 0 0 0 147.2 0
7

Show that G is a group under matrix addition.

If you add two 2 × 3 matrices with real entries, you obtain another 2 × 3 matrix with real entries:
     
a b c u v w a+u b+v c+w
+ = .
d e f x y z d+x e+y f +z

That is, addition yields a binary operation on the set.


You should know from linear algebra that matrix addition is associative.
The identity element is the 2 × 3 zero matrix:
           
0 0 0 a b c a b c a b c 0 0 0 a b c
+ = , + = .
0 0 0 d e f d e f d e f 0 0 0 d e f

The inverse of a 2 × 3 matrix under this operation is the matrix obtained by negating the entries of the
original matrix:
           
a b c −a −b −c 0 0 0 −a −b −c a b c 0 0 0
+ = , + = .
d e f −d −e −f 0 0 0 −d −e −f d e f 0 0 0

Notice that I don’t get a group if I try to apply matrix addition to the set of all matrices with real
entries. This does not define a binary operation on the set, because matrices of different dimensions can’t
be added.
In general, the set of m × n matrices with real entries — or entries in Z, Q, C, or Zn for n ≥ 2 form a
group under matrix addition.
As a special case, the n × n matrices with real entries forms a group under matrix addition. This group
is denoted M (n, R). As you might guess, M (n, Q) denotes the group of n × n matrices with rational entries
(and so on).

Example. Let G be the group of 3 × 4 matrices with entries in Z3 under matrix addition.

(a) What is the order of G?


 
1 1 2
(b) Find the inverse of in G.
0 2 1

(a) A 3 × 4 matrix has 3 · 4 = 12 entries. Each entry can be any one of the 3 elements of Z3 . Therefore,
there are 312 = 531441 elements.

1
(b)      
1 1 2 2 2 1 0 0 0
+ = .
0 2 1 0 1 2 0 0 0
 
2 2 1
Hence, the inverse is .
0 1 2

Example. Let   
0 x
G= x, y ∈ R .
0 y
In words, G is the set of 2 × 2 matrices with real entries having zeros in the first column.
Show that G is a group under matrix addition.

First,      
0 x1 0 x2 0 x1 + x2
+ = ∈ G.
0 y1 0 y2 0 y1 + y2
That is, if you add two elements of G, you get another element of G. Hence, matrix addition gives a
binary operation on the set G.
From linear algebra,
 you  know that matrix addition is associative.
0 0
The zero matrix is the identity under matrix addition; it’s an element of G, since its first column
0 0
is all-zero.    
0 x 0 −x
Finally, the additive inverse of an element ∈ G is , which is also an element of G.
0 y 0 −y
Thus, every element of G has an inverse.
All the axioms for a group have been verified, so G is a group under matrix addition.

Example. Consider the set of matrices


  
1 x
G= x ∈ R, x≥0 .
0 1

(Notice that x must be nonnegative). Is G a group under matrix multiplication?

First, suppose that x, y ∈ R, x, y ≥ 0. Then


    
1 x 1 y 1 x+y
= .
0 1 0 1 0 1
 
1 x+y
Now x + y ≥ 0, so ∈ G. Therefore, matrix multiplication gives a binary operation on G.
0 1
I’ll take for granted the fact that 
matrixmultiplication is associative.
1 0
The identity for multiplication is , and this is an element of G.
0 1
However, not all elements of G have inverses. To give a specific counterexample, suppose that for x ≥ 0
    
1 x 1 2 1 0
=
0 1 0 1 0 1

Then    
1 x+2 1 0
= .
0 1 0 1

2
 
1 2
Hence, x + 2 = 0 and x = −2. This contradicts x ≥ 0. Hence, the element of G does not have
0 1
an inverse.
Therefore, G is not a group under matrix multiplication.

Example. GL(n, R) denotes the set of invertible n × n matrices with real entries, the general linear
group. Show that GL(n, R) is a group under matrix multiplication.

First, if A, B ∈ GL(n, R), I know from linear algebra that det A 6= 0 and det B 6= 0. Then

det(AB) = (det A) · (det B) 6= 0.

Hence, so AB ∈ GL(n, R). This proves that GL(n, R) is closed under matrix multiplication.
I will take it as known from linear algebra that matrix multiplication is associative.
The identity matrix is the n × n matrix

1 0 ··· 0
 
0 1 ··· 0
I=
 ... .. . . ..  .
. . .
0 0 ··· 1

It is the identity for matrix multiplication: AI = A = IA for all A ∈ GL(n, R).


Finally, since GL(n, R) is the set of invertible n × n matrices, every element of GL(n, R) has an inverse
under matrix multiplication.

Example. GL(2, Z3 ) denotes the set of 2 × 2 invertible matrices with entries in Z3 . The operation is matrix
multiplication — but note that all the arithmetic is performed in Z3 .
For example,     
2 1 1 1 1 0
= .
1 2 2 1 2 0

The proof that GL(2, Z3 ) is a group under matrix multiplication follows the proof in the last example.
(In fact, the same thing works with any commutative ring in place of R or Z3 ; commutative rings will be
discussed later.)
 
1 1
(a) What is the order of ?
0 1
 
2 1
(b) Find the inverse of .
2 2

(a) Notice that


 2    3  
1 1 1 2 1 1 1 0
= and = .
0 1 0 1 0 1 0 1
 
1 1
Therefore, has order 3 in GL(2, Z3 ).
0 1

(b) Recall the formula for the inverse of a 2 × 2 matrix:


 −1  
a b 1 d −b
= .
c d ad − bc −c a

3
The formula works in this situation, but you have to interpret the fraction as a multiplicative inverse:
 −1  
a b d −b
= (ad − bc) −1
.
c d −c a

Thus,
 −1      
2 1 2 2 2 2 1 1
= (2−1 ) = 2 cdot = .
2 2 1 2 1 2 2 1

2 1
On the other hand, the matrix is not an element of GL(2, Z3 ). It has determinant 2·2−1·1 = 0,
1 2
so it’s not invertible.

Example. Show that the following set is a subgroup of GL(2, R):


n o
SL(2, R) = A ∈ GL(2, R) det A = 1

Suppose A, B ∈ SL(2, R). Then

det(AB) = (det A)(det B) = 1 · 1 = 1.

Hence, AB ∈ SL(2, R).


Since det I = 1, the identity matrix is in SL(2, R).
Finally, if A ∈ SL(2, R), then AA−1 = I implies that

(det A)(det A−1 ) = det I = 1.

But det A = 1, so det A−1 = 1, and hence A−1 ∈ SL(2, R).


Therefore, SL(2, R) is a subgroup of GL(2, R).


c 2018 by Bruce Ikenaga 4

You might also like