[Math] Characteristic polynomial for a matrix over Z2 (Homework)

eigenvalues-eigenvectorslinear algebra

I would like to know how to set up the matrix $(A – \lambda I)$ for a matrix over $\Bbb Z_2$ so I can figure out its determinant on my way to the characteristic equation. I am stuck on pretty much the first step. I think I understand, but please let me know if I have this wrong.

So I have the matrix:

$$
\begin{bmatrix}
1 & 1 & 1 & 1 \\
0 & 1 & 0 & 0 \\
1 & 1 & 0 & 1 \\
0 & 1 & 0 & 1 \\
\end{bmatrix}
$$

Since $\Bbb Z_2$ doesn't allow for subtraction, I am guessing that I start by doing this $(A + \lambda I)$ instead.

So I would end up with

$$
\begin{bmatrix}
1+\lambda & 1 & 1 & 1 \\
0 & 1+\lambda & 0 & 0 \\
1 & 1 & 0+\lambda & 1 \\
0 & 1 & 0 & 1+\lambda \\
\end{bmatrix}
$$

Then from there I can just find the $\det(A+\lambda I)$ like I would for any $4\times 4$ matrix.

Best Answer

You're doing it right. $Z_2$ does allow subtraction. But the result is the same as addition i.e $$-1 \mod 2 = 1 \mod 2$$ You're doing all the math in mod 2. That is $(7+6) \mod 2= (7 \mod 2) + (6 \mod 2) = 1+0 = 1$. So take the determinant of the matrix like you would any other matrix. If the coefficient is odd, its $1 \mod 2$. If it's even, its $0 \mod 2$. So, $$(3x^4 + 2x^3 - 2x + 5) \mod 2 = (x^4 + 1) \mod 2$$