El libro que me estoy leyendo introduce polinomios sobre un campo y demuestra la declaración de que un polinomio de grado $n$ tiene más de $n$ ceros. Hacen esto mediante el uso del algoritmo de la división y de la inducción.
Entonces hacen el siguiente comentario:
Esto no es cierto para el polinomio más arbitrario de los anillos. Por ejemplo, $x^2 + 7 \in \mathbb{Z}_8$ tiene raíces $1,3,5,$$7$.
Mi pregunta: ¿qué falla en la prueba anterior arbitrarias de los anillos? Se acaba de hacer este comentario y se fue.
Editar -- Prueba (de Gallian):
Procedemos por inducción sobre $n$. Claramente, un polinomio de grado $0$ sobre un campo no tiene ceros. Ahora supongamos que $f(x)$ es un polinomio de grado $n$ sobre un campo y $a$ es un cero de $f(x)$ de la multiplicidad $k$. A continuación, $f(x)=(x-a)^kq(x)$$q(a) \neq 0$. Tenga en cuenta que han $\text{deg }f = n = k + \text{deg }q$. Si $f(x)$ no tiene ceros otros de $a$, hemos terminado. Por otro lado, si $b \neq a$ $b$ es un cero de $f(x)$,$0=f(b)=(b-a)^kq(b)$, de modo que $b$ es un cero $q(x)$ con la misma multiplicidad que tiene para $f(x)$. Por el Segundo Principio de Inducción Matemática, sabemos que $q(x)$ tiene más de deg $q(x)=n-k$ ceros, contando multiplicidad. Por lo tanto, $f(x)$ tiene más de $k + n -k = n$ ceros, contando multiplicidad.