Cuerpo Finito

Un cuerpo finito es un cuerpo con un número finito de elementos; para cada potencia de un número primo, existe exactamente un cuerpo de este tipo, con una estructura rica y computacionalmente útil.

Definition

Un cuerpo finito es un cuerpo que contiene un número finito de elementos; su orden es necesariamente una potencia de un número primo, y se construye como el cuerpo de descomposición de un polinomio adecuado sobre el cuerpo primo.

Scope

Este tema abarca la característica y el subcuerpo primo, la clasificación de los cuerpos finitos por su orden de potencia prima, la estructura cíclica del grupo multiplicativo, el automorfismo de Frobenius, la estructura de los subcuerpos y la construcción de cuerpos finitos como cuerpos de descomposición y cocientes de anillos de polinomios.

Core questions

• ¿Qué órdenes puede tener un cuerpo finito?
• ¿Cómo se clasifican los cuerpos finitos de un orden dado?
• ¿Cuál es la estructura del grupo multiplicativo de un cuerpo finito?
• ¿Cómo organizan el automorfismo de Frobenius y los subcuerpos un cuerpo finito?

Key theories

Clasificación de cuerpos finitos

Para cada potencia de un número primo existe, hasta el isomorfismo, exactamente un cuerpo finito de ese orden, realizado como el cuerpo de descomposición del polinomio cuyas raíces son exactamente sus elementos.

Grupo multiplicativo cíclico

Los elementos no nulos de un cuerpo finito forman un grupo cíclico bajo la multiplicación, por lo que el cuerpo tiene un elemento primitivo que genera todos los elementos no nulos como potencias.

Automorfismo de Frobenius

Elevar a la potencia del primo característico es un automorfismo de cuerpo, el mapa de Frobenius, que genera el grupo de Galois cíclico de un cuerpo finito sobre su cuerpo primo y rige su estructura de subcuerpos.

Clinical relevance

Los cuerpos finitos son fundamentales para la teoría de códigos y la criptografía, donde Reed-Solomon y otros códigos de corrección de errores, los criptosistemas de curva elíptica y el Estándar de Cifrado Avanzado (Advanced Encryption Standard) realizan cálculos sobre cuerpos finitos, y para la combinatoria a través de geometrías finitas y conjuntos de diferencias.

History

Galois introdujo los cuerpos de orden de potencia prima mientras estudiaba las congruencias, por lo que los cuerpos finitos también se denominan cuerpos de Galois. E. H. Moore demostró en 1893 que todo cuerpo finito está determinado hasta el isomorfismo por su orden, y Dickson desarrolló su teoría extensamente a principios del siglo XX.

Key figures

• Évariste Galois
• E. H. Moore
• Leonard Eugene Dickson

Seminal works

• dummit2004
• lang2002
• hungerford1974

Frequently asked questions

¿Por qué un cuerpo finito debe tener un orden de potencia prima?

Un cuerpo finito contiene un subcuerpo más pequeño isomorfo a los enteros módulo un primo, su característica, y es un espacio vectorial de dimensión finita sobre ese subcuerpo. Su tamaño es, por lo tanto, ese primo elevado a la dimensión, una potencia prima.

¿Dos cuerpos finitos del mismo tamaño son realmente el mismo?

Sí, hasta el isomorfismo. Para cada potencia de un número primo existe un cuerpo finito único de ese orden, por lo que se denotan sin ambigüedad por su tamaño. Diferentes construcciones, como diferentes polinomios irreducibles, producen cuerpos isomorfos.