General linear group over integers 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. 
 A: 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.
A: $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.
A: 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.
A: Integers with multiplication do not form a group. For example the 1x1 matrix (2) has an inverse (1/2) which is not integer.
A: $\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$.
