El Cuerpo Zp

Zp es un cuerpo finito con propiedades especiales. Estas se pueden probar usando propiedades sofisticadas de los morfismos de anillos y algunas reglas simples de la lógica proposicional. En esta nota se demostrará una propiedad (teorema de equivalencia) de este cuerpo usando el cálculo proposicional. Para avanzar en este sentido se presentan algunas definiciones básicas que sirven a su vez para definir el cuerpo. Vea el artí­culo aquí­.