# Thread: Matrices with integer entries

1. ## Matrices with integer entries

If both $(c_{ij})$ and $(c_{ij})^{-1}$ have integer entries, show that $|c_{ij}|$ and $|(c_{ij})^{-1}|$ are in $\mathbb{Z}$. I can't figure this out .

ps this is pretty urgent if anyone can give me a pointer real quick

Thanks.

2. You could easily do it by induction, by evaluating the determinant along any row or column.

It should be pretty obvious, because the determinant only uses sums and products of the entries of the matrix, no divisons.

3. Induction Proof.

Base Case: Let $A_2 =
\left( \begin{array}{*{20}{cc}}
a & { b} \\
{ c} & d \\
\end{array} \right)
$
such that a,b,c,d are integers.
$Det(A_2) = ad-bc$, and since the set of integers is closed under addition and multiplication, we know we will be getting an integer determinant.

Now, let $A_3 =
\left( \begin{array}{*{20}{ccc}}
a & { b} & c\\
{ d} & e & f \\
g & h & i \\
\end{array} \right)
$
, such that a,b,c,d,e,f,g,h,i are integers.
Using cofactor expansion, we can write $Det[A_3]$
as the sum of three 2x2 determinants multiplied by integer coefficients.
Now, since we showed that a 2x2 integer matrix has an integer determinant, and again, the set of integers is closed under multiplication and addition, $Det(A_3)$ is too clearly an integer.

Induction Step:

Consider an NxN integer matrix. Assume that any square integer matrix smaller than NxN has an integer determinant. The determinant of the NxN integer matrix is the sum of N (N-1)x(N-1) integer determinants times their integer coefficients. Again, since the set of integers is closed under addition and multiplication, the NxN integer matrix has an integer determinant, for N>=2.

4. Yeah it is obvious, since a determinant is just a polynomial of its terms so if all terms are integers, then obviously the determinant will be an integer. I wasn't thinking straight last night

It becomes clear when seeing the Leibniz formula for the determinant. We have that for an $n \times n$-matrix $A=(a_{ij})$, then

$\det(A) = \sum_{\sigma \in S^n} \mathrm{sgn}(\sigma) \prod_{i=1}^n a_{i,\sigma(i)},$

where $S^n$ is the symmetric group of $n$ elements.