Los enteros módulo n
Existen otras estructuras algebraicas finitas, que dependiendo del valor de n natural, son o no, un campo. En el caso de aquellas que no son un campo, se dan situaciones muy interesantes, como ecuaciones sin solución o leyes algebraicas que no se cumplen.

El ejemplo más sencillo
Presentamos a continuación la más sencilla de estas estructuras:

Es relativamente sencillo hacer ver que cumple todos los axiomas de campo.

Similarmente, tenemos:

De seguro, las más laboriosas de comprobar sean la asociatividad y la distributiva, pero al igual que la anterior, es posible ver que cumple todos los axiomas de campo.

En general estas estructuras se describen de la siguiente forma:

Definición

Por ejemplo

Los enteros módulo 4 en forma interactiva
Dando clic en Enteros Módulo 4, verás la ilustración interactiva de sus tablas se adición y multiplicación y podrás observar algunas de sus propiedades, en particular que no conforman un campo, puesto que falla la existencia del inverso multiplicativo y por lo mismo no se cumple la respectiva ley de cancelación.

Los enteros módulo 5 en forma interactiva
Dando clic en Enteros Módulo 5, verás la ilustración interactiva de sus tablas se adición y multiplicación y podrás observar algunas de sus propiedades, en particular que sí conforman un campo.

Se observa fácilmente que las operaciones son cerradas, conmutativas y que existen neutros e inversos. Es un poco laborioso ver que en efecto se cumplen las asociativas y la distributiva.

De lo anterior se desprende que al ser un campo, cumplen todos los teoremas que demostramos para los reales, en particular las leyes de cancelación para ambas operaciones.

Así, en los enteros módulo 5, toda ecuación de la forma:

De manera general
Aunque aquí no haremos la demostración, se sabe que: 

Conclusiones
En todos los campos se cumplen las leyes de cancelación, tanto para la adición como para la multiplicación.
En todos los campos tiene solución cualquier ecuación de la forma: a*x + b =0