Definición. (Campo)

Un campo es un conjunto con dos operaciones y , que cumplen:







Obs. Los nuetros son distintos, .


Es muy importante tomar la caraterística de los campos.

Definición (Característica de )

Dado un campo , la carecterística de es el mínimo número natural positivo tal que .
Si dicho no existe, por convención, se dice que el campo tiene característica .

^[Congruencias]

A partir de aquí, demostramos propiedades fundamentales.^[Propiedades del Campo]