I'm reading a book called Linear Algebra by Friedberg, Insel, and Spence. In their chapter on diagonalization, they provide the following definition:
Let $\lambda$ be an eigenvalue of a linear operator or matrix with the characteristic polynomial $f(t)$. The (algebraic) multiplicity of $\lambda$ is the largest positive integer $k$ for which $(t - \lambda)^k$ is a factor of $f(t)$.
This definition makes perfect sense to me when considering a vector space with a scalar field like $\mathbb{R}$ or $\mathbb{C}$. But I find myself running into trouble when considering vector spaces over the field $GF(2)$, a.k.a. $\mathbb{Z}_2$ or $\mathbb{Z}/2\mathbb{Z}$.
Since $0^2 = 0$ and $1^2 = 1$, it seems to me that $GF(2)$ has the property that $x^k = x$ for all $x \in GF(2)$, $k = 1, 2, 3...$. This seems to imply that if $f(t)$ is the characteristic polynomial of a linear operator on a vector space over $GF(2)$, and $(t - \lambda)^k$ is a factor of $f(t)$, then $(t - \lambda)^{k+1}$ may be considered a factor of $f(t)$ as well. But this would imply that there is no largest positive integer $k$ for which $(t - \lambda)^k$ is a factor of $f(t)$, which would in turn make it impossible to define the algebraic multiplicity of $\lambda$.
This seems unlikely to me, because Friedberg et al. define algebraic multiplicity without specifying a field. What am I missing?