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

Discussion Overview

The discussion revolves around identifying the center of the group $GL_n(\mathbb{R})$, which consists of all invertible $n \times n$ matrices over the real numbers. Participants explore the properties of matrices that commute with all other matrices in this group, considering both theoretical implications and specific examples.

Discussion Character

  • Exploratory
  • Technical explanation
  • Mathematical reasoning
  • Debate/contested

Main Points Raised

  • One participant proposes that the center of $GL_n(\mathbb{R})$ consists of matrices $c$ such that $cg = gc$ for all $g \in GL_n(\mathbb{R})
  • Another participant suggests that any matrix that commutes with all of $GL_n(\mathbb{R})$ must be diagonal, indicating that matrices with non-zero off-diagonal elements can be shown not to commute with certain elementary matrices.
  • Further, it is discussed that diagonal matrices of the form $kI$ (where $k \in \mathbb{R}$) commute with all matrices, but the existence of other commuting matrices is questioned.
  • Participants analyze the behavior of elementary matrices $E_{i,j}$ and their effects on matrix multiplication, illustrating how they can demonstrate non-commutativity for matrices with off-diagonal elements.
  • Specific examples are provided to illustrate how right and left multiplication by elementary matrices affects the entries of a matrix, leading to conclusions about the structure of matrices in the center.

Areas of Agreement / Disagreement

Participants generally agree that diagonal matrices are candidates for the center of $GL_n(\mathbb{R})$, but there is no consensus on whether other types of matrices can also belong to the center. The discussion remains unresolved regarding the full characterization of the center.

Contextual Notes

Participants reference the properties of elementary matrices and their role in demonstrating non-commutativity, but the discussion does not resolve the implications of these properties for all matrices in $GL_n(\mathbb{R})$. There are also assumptions about the nature of diagonal matrices that remain unexamined.

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: 121
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
1K
  • · Replies 15 ·
Replies
15
Views
2K
  • · Replies 15 ·
Replies
15
Views
2K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 5 ·
Replies
5
Views
2K
Replies
8
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K