What is the center of $GL_n(\mathbb{R})$?

  • Context: MHB 
  • Thread starter Thread starter evinda
  • Start date Start date
  • Tags Tags
    Center
Click For Summary
SUMMARY

The center of the general linear group $GL_n(\mathbb{R})$, denoted as $Z(GL_n(\mathbb{R}))$, consists of all matrices $c \in GL_n(\mathbb{R})$ that commute with every matrix $g \in GL_n(\mathbb{R})$. It is established that the only matrices that commute with all others in this group are scalar multiples of the identity matrix, specifically of the form $kI$ where $k \in \mathbb{R}$. The discussion emphasizes that any matrix with non-zero off-diagonal elements does not belong to the center, as demonstrated through the use of elementary matrices $E_{i,j}$.

PREREQUISITES
  • Understanding of linear algebra concepts, particularly matrix operations.
  • Familiarity with the general linear group $GL_n(\mathbb{R})$.
  • Knowledge of diagonal matrices and their properties.
  • Basic understanding of elementary matrices and their role in matrix multiplication.
NEXT STEPS
  • Study the properties of the general linear group $GL_n(\mathbb{R})$ in detail.
  • Learn about the structure and properties of diagonal matrices.
  • Explore the concept of elementary matrices and their applications in linear algebra.
  • Investigate the implications of matrix commutativity in various mathematical contexts.
USEFUL FOR

This discussion is beneficial for mathematicians, particularly those specializing in linear algebra, as well as students and educators seeking a deeper understanding of matrix theory and the structure of linear groups.

evinda
Gold Member
MHB
Messages
3,741
Reaction score
0
Hello! (Wave)

I want to find the center of $GL_n(\mathbb{R})$.

$Z(GL_n(\mathbb{R}))=\{ c \in GL_n(\mathbb{R}): cg=gc \forall g \in GL_n(\mathbb{R}) \}$

I have thought the following.

Let $c \in GL_n(\mathbb{R})$. Then there is a $b \in GL_n(\mathbb{R})$ such that $cb=I$ where $I$ is the $n \times n$ identity matrix.
Then it also holds that $bc=I$ and so $cb=bc$.

But in this case the equality holds only for one $g$.

It would hold for all $g$ if we would consider as $c$ the identity matrix.

Is there also an other matrix that commutes with every other matrix? (Thinking)
 
Physics news on Phys.org
Yes, there is, in fact infinitely many.

For example, $kI$ commutes with any matrix, for any $k \in \Bbb R$.

I suggest doing the following-

1st, show that any matrix that commutes with all of $GL_n(\Bbb R)$ must be diagonal (that is, for any matrix that has a non-zero off-diagonal element, find a matrix it DOESN"T commute with-I would try one of the elementary matrices $E_{i,j}$ for a "wise" choice of $i$ and $j$).

2nd, show that if a diagonal matrix has two unequal diagonal elements, there is ALSO a matrix it doesn't commute with.
 
Deveno said:
1st, show that any matrix that commutes with all of $GL_n(\Bbb R)$ must be diagonal (that is, for any matrix that has a non-zero off-diagonal element, find a matrix it DOESN"T commute with-I would try one of the elementary matrices $E_{i,j}$ for a "wise" choice of $i$ and $j$).

I haven't heard of elementary matrices yet, but I found the following in wikipedia:View attachment 5280

Can we use this one?
 

Attachments

  • el.JPG
    el.JPG
    2.7 KB · Views: 117
The elementary matrix $E_{i,j}$ is the $n \times n$ matrix that has a $1$ as the $ij$-th entry and $0$'s everywhere else. For example in $GL_3(\Bbb R)$ the matrix $E_{1,3}$ is:

$E_{1,3} = \begin{bmatrix}0&0&1\\0&0&0\\0&0&0\end{bmatrix}$

These matrices behave differently (typically) when used on the left versus the right.
 
So you mean that we should pick a matrix that has a non-zero off-diagonal element and multiply by $E_{ij}$ and then multiply $E_{ij}$ by the above matrix?

Or do we choose $E_{ij}$ to be the matrix that has a non-zero off-diagonal element?
 
Let's say a matrix $A$ has an off-diagonal element $a_{ij} \neq 0$.

Since $a_{ij}$ is off-diagonal we know $i \neq j$. This will be useful.

Now let's consider what (in general) right-multiplication by $E_{i,j}$ does.

Clearly, $E_{i,j}$ sends the $k$-th column of $A = (a_{ij})$ to a 0-column if $k \neq i$.

And $E_{i,j}$ sends the $i$-th column to the $j$-th column in the product $AE_{i,j}$.

so let's use $E_{j,i}$ where $j$ is the column that our off-diagonal element $a_{ij}$ occurs in, and $i$ is the row it occurs in.

If $(b_{ij}) = B = AE_{j,i}$, then we know that $b_{ii} = a_{ij} \neq 0$. Remember this.

Now let's look at what happens when we multiply $E_{j,i}A$.

What $E_{j,i}$ does, when multiplied on the left side of $A$ is zero out every row of $A$ except the $i$-th, which it puts in the $j$-th row.

In particular, the $i$-th row of $(c_{ij}) = C = E_{j,i}A$ is all zeros, since $i \neq j$, that is $c_{ii} = 0$, so $C \neq B$.

For example, suppose we have:

$A = \begin{bmatrix}\ast&\ast&\ast\\ \ast&\ast&\ast\\ a&\ast&\ast\end{bmatrix}$.

Here, our non-zero off-diagonal is $a_{31} = a$ (so $i = 3$ and $j = 1$).

If we multiply $A$ on the right by $E_{1,3}$, we get:

$\begin{bmatrix}\ast&\ast&\ast\\ \ast&\ast&\ast\\ a&\ast&\ast\end{bmatrix}\begin{bmatrix}0&0&1\\0&0&0\\0&0&0\end{bmatrix} = \begin{bmatrix}0&0&\ast\\0&0&\ast\\0&0&a\end{bmatrix}$

with $a$ in the $3,3$ position.

If we multiply $A$ on the left with $E_{1,3}$ we get:

$\begin{bmatrix}0&0&1\\0&0&0\\0&0&0\end{bmatrix}\begin{bmatrix}\ast&\ast&\ast\\ \ast&\ast&\ast\\ a&\ast&\ast\end{bmatrix} = \begin{bmatrix}a&\ast&\ast\\0&0&0\\0&0&0\end{bmatrix}$

and here you can see that the $3,3$ position is $0$, and it does not matter what the asterisks are, the two matrices cannot be the same.
 
Deveno said:
Now let's consider what (in general) right-multiplication by $E_{i,j}$ does.

Clearly, $E_{i,j}$ sends the $k$-th column of $A = (a_{ij})$ to a 0-column if $k \neq i$.

And $E_{i,j}$ sends the $i$-th column to the $j$-th column in the product $AE_{i,j}$.

We have that $(AE_{ij})_{nm}=\sum_{k=1}^M A_{nk}(E_{ij})_{km}$, right?

Do we get from that the second statement that you said, "$E_{i,j}$ sends the $i$-th column to the $j$-th column in the product $AE_{i,j}$"?
Deveno said:
so let's use $E_{j,i}$ where $j$ is the column that our off-diagonal element $a_{ij}$ occurs in, and $i$ is the row it occurs in.

If $(b_{ij}) = B = AE_{j,i}$, then we know that $b_{ii} = a_{ij} \neq 0$.

How did you get that?
Deveno said:
What $E_{j,i}$ does, when multiplied on the left side of $A$ is zero out every row of $A$ except the $i$-th, which it puts in the $j$-th row.

What do you mean by "which it puts in the $j$-th row"?
Deveno said:
In particular, the $i$-th row of $(c_{ij}) = C = E_{j,i}A$ is all zeros, since $i \neq j$, that is $c_{ii} = 0$, so $C \neq B$.
Why does it hold that $c_{ii} = 0$? (Thinking)
 
Let's "fill in the blanks" in my last example, and I'll use a different elementary matrix.

Suppose $A = \begin{bmatrix}a&b&c\\d&e&f\\g&h&k\end{bmatrix}$.

Let us suppose further that the $2,3$ entry (the third entry in the second row, in this case, $f$) is non-zero.

Now $E_{3,2}$ (note how we reversed the indices) is the matrix:

$E_{3,2} = \begin{bmatrix}0&0&0\\0&0&0\\0&1&0\end{bmatrix}$

Watch what happens to $A$ when we multiply by $E_{3,2}$ on the right:

$AE_{3,2} = \begin{bmatrix}a&b&c\\d&e&f\\g&h&k\end{bmatrix}\begin{bmatrix}0&0&0\\0&0&0\\0&1&0\end{bmatrix}$

$=\begin{bmatrix}0&c&0\\0&f&0\\0&k&0\end{bmatrix}$

As I indicated, we killed all the columns except the 3rd, which wound up in the 2nd column.

In particular, our $f \neq 0$ moved from the $2,3$ position, to the $2,2$ position (on the main diagonal).

Now let's multiply $A$ on the left by $E_{3,2}$:

$E_{3,2}A = \begin{bmatrix}0&0&0\\0&0&0\\0&1&0\end{bmatrix}\begin{bmatrix}a&b&c\\d&e&f\\g&h&k\end{bmatrix}$

$=\begin{bmatrix}0&0&0\\0&0&0\\d&e&f\end{bmatrix}$.

Here, $E_{3,2}$ moved the second row (where the $f$ we're interested in) to the third row, the other two rows are $0$.

Do you see how that works? I did the 3x3 case so you can work it out yourself, but the same logic applies to any $n\times n$ matrix. $E_{i,j}$ takes the $i$-th column and puts it in the $j$-th column (and all the other columns become 0), when we use it on the right.

$E_{i,j}$ takes the $j$-th row, and moves it to the $i$-th row, making all other rows 0.

In my example here, we saw the $2,2$ entry of $AE_{3,2} = f \neq 0$.

However, the $2,2$ entry of $E_{3,2}A = 0$.

In the general case, if $a_{ij} \neq 0$, for our matrix $A = (a_{ij})$, if we hit it on the RIGHT by $E_{j,i}$ (again, note the reversal of indices), we will take the $j$-th column (which is where our non-zero entry $a_{ij}$ lives), and move it to the $i$-th column, and now the non-zero $a_{ij}$ is the $i$-the entry down in the $i$-th column, that is, it has moved to the diagonal, in the $i,i$-th position.

When we hit $A$ from the LEFT with $E_{j,i}$, it's again going to preserve the $i$-th row, but since $i \neq j$, it's not going to KEEP it in the $i$-th row, but move it to the $j$-th row.

And the $i$-th row(which contains the $i,i$-th diagonal position), along with any other row besides the $j$-th is going to be 0. So in our products, we have that the $i,i$-th entry of $AE_{j,i} = a_{ij} \neq 0$, but the $i,i$-th entry of $E_{j,i}A$ is 0.

In particular, $A$ and $E_{j,i}$ cannot commute.

This shows that if a matrix $A$ HAS an off-diagonal non-zero entry, we can find some matrix $A$ doesn't commute with, and thus $A$ cannot lie in the center of the general linear group.

So, we are left with diagonal matrices.
 

Similar threads

  • · Replies 80 ·
3
Replies
80
Views
10K
Replies
4
Views
2K
  • · Replies 26 ·
Replies
26
Views
958
  • · Replies 15 ·
Replies
15
Views
2K
  • · Replies 15 ·
Replies
15
Views
2K
  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
Replies
8
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K