General Linear Group over Integers

General Linear Group over Integers
$\begingroup$

I'm trying to get my head around group theory as I've never studied it before. As far as the general linear group, I think I've ascertained that it's a group of matrices and so the 4 axioms hold? The question I'm trying to figure out is why $(GL_n(\mathbb{Z}),\cdot)$ does not form a group. I think I read somewhere that it's because it doesn't have an inverse and I understand why this would not be a group, but I don't understand why it wouldn't have an inverse.

$\endgroup$
2

5 Answers

$\begingroup$

$\DeclareMathOperator{\GL}{GL}\GL_n(\mathbf Z)$ is a multiplicative group, by definition: it is the set of invertible matrices with coefficients in $\mathbf Z$.

The problem is that it's not what you seem to think – the set of matrices with a non-zero determinant. In general, for any (commutative) ring $A$, $\GL_n(A)$ is the set /group of invertible matrices, i. e. the matrices with determinant invertible in $A$.

In the case $A=\mathbf Z$, this means the matrix has determinant $\pm1$.

$\endgroup$
$\begingroup$

As your title suggests, ${\rm GL}(n, \mathbb{Z})$ is indeed a group. It consists of those integer matrices with non-zero determinant whose inverses are also integer matrices ( and such matrices all have determinant $\pm 1$, as others have pointed out).

What is not a group is the set of $n \times n$ integer matrices of non-zero determinant. These have inverses with rational entries, but not usually integer entries.

$\endgroup$
$\begingroup$

$GL(n,\mathbb{Z})$ is a group for the multiplication law. One can show that : $$GL(n,\mathbb{Z})=\{A\in\mathcal{M}(n,\mathbb{Z})\textrm{ s.t. }|\det(A)|=1\}.$$ As far as $(A,+,\times)$ is a commutative ring with an identity element for $\times$, $GL(n,A)$ is a group.

$\endgroup$
0
$\begingroup$

In a general way, if you consider a matrix $A \in \mathcal{M}_n(\mathbb Z)$, you have the relation $$A.\mathbf{adj}(A)=\det(A)I_n \tag{1}$$ where $\mathbf{adj}(A)$ stands for the adjugate matrix of $A$. The adjugate matrix $\mathbf{A}$ also belongs to $\mathcal{M}_n(\mathbb Z)$.

The relation (1) allows to prove that a matrix $A \in \mathcal{M}_n(\mathbb Z)$ is invertible if and only if its determinant is an invertible element of $\mathbb Z$, i.e. is equal to $\pm 1$.

Which is a proof of the answer provided by Sheol.

$\endgroup$
$\begingroup$

Integers with multiplication do not form a group. For example the 1x1 matrix (2) has an inverse (1/2) which is not integer.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Chloe Bennett
Author

Chloe Bennett

Chloe Bennett explores the intersection of pop culture, streaming entertainment, digital trends, and contemporary lifestyle. Her weekly commentary reaches thousands of culture enthusiasts.