En matemáticas , un campo finito o campo de Galois (llamado así en honor a Évariste Galois ) es un campo que contiene un número finito de elementos . Como ocurre con cualquier campo, un campo finito es un conjunto en el que las operaciones de multiplicación, suma, resta y división se definen y satisfacen ciertas reglas básicas. Los ejemplos más comunes de campos finitos los dan los enteros mod p cuando p es un número primo .
Los campos finitos son fundamentales en varias áreas de las matemáticas y la informática , incluida la teoría de números , la geometría algebraica , la teoría de Galois , la geometría finita , la criptografía y la teoría de la codificación .
Propiedades
Un campo finito es un conjunto finito que es un campo ; esto significa que la multiplicación, la suma, la resta y la división (excluyendo la división por cero) están definidas y satisfacen las reglas de la aritmética conocidas como axiomas de campo .
El número de elementos de un campo finito se denomina orden o, a veces, tamaño . Un campo finito de orden q existe si y solo si q es una potencia prima p k (donde p es un número primo y k es un número entero positivo). En un campo de orden p k , la adición de p copias de cualquier elemento siempre da como resultado cero; es decir, la característica del campo es p .
Si q = p k , todos los campos de orden q son isomorfos (ver § Existencia y unicidad a continuación). [1] Además, un campo no puede contener dos subcampos finitos diferentes con el mismo orden. Por lo tanto, se pueden identificar todos los campos finitos con el mismo orden, y se denotan sin ambigüedades, F q o GF ( q ) , donde las letras GF significan "campo de Galois". [2]
En un campo finito de orden q , el polinomio X q - X tiene todos los elementos q del campo finito como raíces . Los elementos distintos de cero de un campo finito forman un grupo multiplicativo . Este grupo es cíclico , por lo que todos los elementos distintos de cero se pueden expresar como potencias de un solo elemento llamado elemento primitivo del campo. (En general, habrá varios elementos primitivos para un campo determinado).
Los ejemplos más simples de campos finitos son los campos de orden primo: para cada número primo p , el campo primo de orden p ,, Puede construirse como los enteros módulo p , Z / p Z .
Los elementos del campo primo de orden p pueden representarse mediante números enteros en el rango 0, ..., p - 1 . La suma, la diferencia y el producto son el resto de la división por p del resultado de la operación entera correspondiente. El inverso multiplicativo de un elemento se puede calcular utilizando el algoritmo euclidiano extendido (ver algoritmo euclidiano extendido § Enteros modulares ).
Sea F un campo finito. Para cualquier elemento x en F y cualquier número entero n , denote por n ⋅ x la suma de n copias de x . El n menos positivo tal que n ⋅ 1 = 0 es la característica p del campo. Esto permite definir una multiplicaciónde un elemento k de GF ( p ) por un elemento x de F eligiendo un número entero representativo de k . Esta multiplicación hace F en un GF ( p ) - espacio vectorial . De ello se deduce que el número de elementos de F es p n para algún número entero n .
La identidad
(a veces llamado el sueño del estudiante de primer año ) es cierto en un campo de característica p . Esto se sigue del teorema del binomio , ya que cada coeficiente binomial de expansión de ( x + y ) p , excepto el primero y el último, es un múltiplo de p .
Según el pequeño teorema de Fermat , si p es un número primo y x está en el campo GF ( p ), entonces x p = x . Esto implica la igualdad
para polinomios sobre GF ( p ) . De manera más general, cada elemento en GF ( p n ) satisface la ecuación polinomial x p n - x = 0 .
Cualquier extensión de campo finito de un campo finito es separable y simple. Es decir, si E es un campo finito y F es un subcampo de E , entonces E se obtiene de F al unir un solo elemento cuyo polinomio mínimo es separable. Para usar una jerga, los campos finitos son perfectos .
Una estructura algebraica más general que satisface todos los demás axiomas de un campo, pero cuya multiplicación no requiere ser conmutativa, se llama anillo de división (o, a veces, campo sesgado ). Según el pequeño teorema de Wedderburn , cualquier anillo de división finita es conmutativo y, por tanto, es un campo finito.
Existencia y singularidad
Sea q = p n una potencia prima y F el campo de división del polinomio
sobre el campo principal GF ( p ) . Esto significa que F es un campo finito de orden más bajo, en el que P tiene q raíces distintas (la derivada formal de P es P ′ = −1 , lo que implica que mcd ( P , P ′ ) = 1 , lo que en general implica que el el campo de división es una extensión separable del original). Los anteriores de identidad muestra que la suma y el producto de dos raíces de P son raíces de P , así como el inverso multiplicativo de una raíz de P . En otras palabras, las raíces de P forman un campo de orden q , que es igual a F por la minimidad del campo de división.
La unicidad hasta el isomorfismo de los campos divididos implica, por tanto, que todos los campos de orden q son isomorfos. Además, si un campo F tiene un campo de orden q = p k como subcampo, sus elementos son las raíces q de X q - X , y F no puede contener otro subcampo de orden q .
En resumen, tenemos el siguiente teorema de clasificación probado por primera vez en 1893 por EH Moore : [1]
- El orden de un campo finito es un poder primordial. Para cada potencia prima q hay campos de orden q , y todos son isomorfos. En estos campos, cada elemento satisface
- y el polinomio X q - X factores como
- El orden de un campo finito es un poder primordial. Para cada potencia prima q hay campos de orden q , y todos son isomorfos. En estos campos, cada elemento satisface
De ello se deduce que GF ( p n ) contiene un subcampo isomorfo a GF ( p m ) si y solo si m es un divisor de n ; en ese caso, este subcampo es único. De hecho, el polinomio X p m - X divide X p n - X si y solo si m es un divisor de n .
Construcción explícita
Campos no principales
Dada una potencia prima q = p n con p prima yn > 1 , el campo GF ( q ) puede construirse explícitamente de la siguiente manera. Primero se elige un polinomio irreducible P en GF ( p ) [ X ] de grado n (tal polinomio irreducible siempre existe). Entonces el anillo del cociente
del polinomio del anillo GF ( p ) [ X ] por el ideal generado por P es un campo de orden q .
Más explícitamente, los elementos de GF ( q ) son los polinomios sobre GF ( p ) cuyo grado es estrictamente menor que n . La suma y la resta son las de polinomios sobre GF ( p ) . El producto de dos elementos es el resto de la división euclidiana por P del producto en GF ( p ) [ X ] . El inverso multiplicativo de un elemento distinto de cero puede calcularse con el algoritmo euclidiano extendido; ver algoritmo euclidiano extendido § Extensiones de campo algebraico simple .
Excepto en la construcción de GF (4) , hay varias opciones posibles para P , que producen resultados isomórficos. Para simplificar la división euclidiana, para P uno suele elegir polinomios de la forma
lo que hace que las divisiones euclidianas necesarias sean muy eficientes. Sin embargo, para algunos campos, típicamente en característica 2 , polinomios irreducibles de la forma X n + aX + b no existir. En la característica 2 , si el polinomio X n + X + 1 es reducible, se recomienda elegir X n + X k + 1 con la menor k posible que haga que el polinomio sea irreducible. Si todos estos trinomios son reducibles, se elige "pentanomios" X n + X a + X b + X c + 1 , ya que los polinomios de grado mayor que 1 , con un número par de términos, nunca son irreducibles en la característica 2 , teniendo 1 como raíz. [3]
Los polinomios de Conway ofrecen una posible elección para dicho polinomio . Aseguran una cierta compatibilidad entre la representación de un campo y las representaciones de sus subcampos.
En las siguientes secciones, mostraremos cómo funciona el método de construcción general descrito anteriormente para campos finitos pequeños.
Campo con cuatro elementos
Sobre GF (2) , solo hay un polinomio irreducible de grado2 :
Por lo tanto, para GF (4) la construcción de la sección anterior debe involucrar este polinomio, y
Si se denota α una raíz de este polinomio en GF (4) , las tablas de las operaciones en GF (4) son las siguientes. No hay una tabla para la resta, porque la resta es idéntica a la suma, como es el caso de todos los campos de la característica 2. En la tercera tabla, para la división de x entre y , se debe leer x a la izquierda e y a la cima.
Adición | Multiplicación | División | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
GF ( p 2 ) para un primo impar p
Para aplicar la construcción general anterior de campos finitos en el caso de GF ( p 2 ) , uno tiene que encontrar un polinomio irreducible de grado 2. Para p = 2 , esto se ha hecho en la sección anterior. Si p es un primo impar, siempre hay polinomios irreducibles de la forma X 2 - r , con r en GF ( p ) .
Más precisamente, el polinomio X 2 - r es irreducible sobre GF ( p ) si y solo si r es un módulo p cuadrático sin residuo (esta es casi la definición de un no residuo cuadrático). Existenp - 1/2no residuos cuadráticos módulo p . Por ejemplo, 2 es un no-residuo cuadrático para p = 3, 5, 11, 13, ... , y 3 es un no-residuo cuadrático para p = 5, 7, 17, ... . Si p ≡ 3 mod 4 , es decir p = 3, 7, 11, 19, ... , se puede elegir −1 ≡ p - 1 como un no residuo cuadrático, lo que nos permite tener un polinomio X irreducible muy simple 2 + 1 .
Habiendo elegido un no residuo cuadrático r , sea α una raíz cuadrada simbólica de r , que es un símbolo que tiene la propiedad α 2 = r , de la misma manera que el número complejo i es una raíz cuadrada simbólica de -1 . Entonces, los elementos de GF ( p 2 ) son todas las expresiones lineales
con un y b en GF ( p ) . Las operaciones en GF ( p 2 ) se definen de la siguiente manera (las operaciones entre elementos de GF ( p ) representados por letras latinas son las operaciones en GF ( p ) ):
GF (8) y GF (27)
El polinomio
es irreductible sobre GF (2) y GF (3) , es decir, es irreducible módulo 2 y 3 (para demostrarlo basta con mostrar que no tiene raíz en GF (2) ni en GF (3) ). De ello se deduce que los elementos de GF (8) y GF (27) pueden representarse mediante expresiones
donde a , b , c son elementos de GF (2) o GF (3) (respectivamente), y es un símbolo tal que
La suma, el inverso aditivo y la multiplicación en GF (8) y GF (27) pueden definirse así como sigue; en las siguientes fórmulas, las operaciones entre elementos de GF (2) o GF (3) , representadas por letras latinas, son las operaciones en GF (2) o GF (3) , respectivamente:
Novia (16)
El polinomio
es irreducible sobre GF (2) , es decir, es irreducible módulo 2 . De ello se deduce que los elementos de GF (16) pueden representarse mediante expresiones
donde a , b , c , d son 0 o 1 (elementos de GF (2) ), y α es un símbolo tal que
Como la característica de GF (2) es 2 , cada elemento es su inverso aditivo en GF (16) . La suma y la multiplicación en GF (16) se pueden definir como sigue; En las siguientes fórmulas, las operaciones entre elementos de GF (2) , representadas por letras latinas, son las operaciones en GF (2) .
Estructura multiplicativa
El conjunto de elementos distintos de cero en GF ( q ) es un grupo abeliano bajo la multiplicación, de orden q - 1 . Según el teorema de Lagrange , existe un divisor k de q - 1 tal que x k = 1 para cada x distinto de cero en GF ( q ) . Como la ecuación x k = 1 tiene como máximo k soluciones en cualquier campo, q - 1 es el valor más bajo posible para k . El teorema de la estructura de los grupos abelianos finitos implica que este grupo multiplicativo es cíclico , es decir, todos los elementos distintos de cero son potencias de un solo elemento. En resumen:
- El grupo multiplicativo de los elementos distintos de cero en GF ( q ) es cíclico, y existe un elemento a , tal que los elementos q - 1 distintos de cero de GF ( q ) son a , a 2 , ..., a q −2 , a q −1 = 1 .
Dicho elemento a se denomina elemento primitivo . A menos que q = 2, 3 , el elemento primitivo no es único. El número de elementos primitivos es φ ( q - 1) donde φ es la función totiente de Euler .
El resultado anterior implica que x q = x para cada x en GF ( q ) . El caso particular donde q es primo es el pequeño teorema de Fermat .
Logaritmo discreto
Si a es un elemento primitivo en GF ( q ) , entonces para cualquier elemento x distinto de cero en F , hay un único entero n con 0 ≤ n ≤ q - 2 tal que
- x = una n .
Este número entero n se llama logaritmo discreto de x en base a .
Si bien una n se puede calcular muy rápidamente, por ejemplo, usando exponenciación al elevar al cuadrado , no existe un algoritmo eficiente conocido para calcular la operación inversa, el logaritmo discreto. Esto se ha utilizado en varios protocolos criptográficos ; consulte Logaritmo discreto para obtener más detalles.
Cuando los elementos distintos de cero de GF ( q ) están representados por sus logaritmos discretos, la multiplicación y la división son fáciles, ya que se reducen a suma y resta módulo q - 1 . Sin embargo, la suma equivale a calcular el logaritmo discreto de a m + a n . La identidad
- una m + una norte = una norte ( una m - norte + 1)
permite resolver este problema construyendo la tabla de los logaritmos discretos de a n + 1 , llamados logaritmos de Zech , para n = 0, ..., q - 2 (es conveniente definir el logaritmo discreto de cero como - ∞ ).
Los logaritmos de Zech son útiles para cálculos grandes, como el álgebra lineal sobre campos de tamaño mediano, es decir, campos que son lo suficientemente grandes para hacer que los algoritmos naturales sean ineficientes, pero no demasiado grandes, ya que uno tiene que precalcular una tabla del mismo tamaño. como el orden del campo.
Raíces de unidad
Todo elemento distinto de cero de un campo finito es una raíz de unidad , ya que x q −1 = 1 para cada elemento distinto de cero de GF ( q ) .
Si n es un entero positivo, un n º raíz primitiva de la unidad es una solución de la ecuación x n = 1 que no es una solución de la ecuación x m = 1 para cualquier número entero positivo m < n . Si una es un n º raíz primitiva de la unidad en un campo F , entonces F contiene todos los n raíces de la unidad, que son 1, un , un 2 , ..., un n -1 .
El campo GF ( q ) contiene un n º raíz primitiva de la unidad si y sólo si n es un divisor de q - 1 ; si n es un divisor de q - 1 , entonces el número de raíces primitivas n -ésimas de la unidad en GF ( q ) es φ ( n ) ( función totient de Euler ). El número de raíces n -ésimas de la unidad en GF ( q ) es mcd ( n , q - 1) .
En un campo de característica p , cada ( np ) º raíz de la unidad es también un n º raíz de la unidad. De ello se sigue que las raíces primitivas ( np ) de unidad nunca existen en un campo de característica p .
Por otro lado, si n es primos entre sí a p , las raíces de la n º ciclotómico polinomio son distintos en cada campo de característica p , como este polinomio es un divisor de X n - 1 , cuyo discriminante es distinto de cero módulo p . Se deduce que el n - ésimo polinomio ciclotómico se factoriza sobre GF ( p ) en distintos polinomios irreducibles que tienen todos el mismo grado, digamos d , y que GF ( p d ) es el campo más pequeño de la característica p que contiene las n- ésimas raíces primitivas de unidad.
Ejemplo: GF (64)
El campo GF (64) tiene varias propiedades interesantes que los campos más pequeños no comparten: tiene dos subcampos de manera que ninguno está contenido en el otro; no todos los generadores (elementos con polinomio mínimo de grado 6 sobre GF (2) ) son elementos primitivos; y los elementos primitivos no están todos conjugados bajo el grupo de Galois .
El orden de este campo es 2 6 , y los divisores de 6 son 1, 2, 3, 6 , los subcampos de GF (64) son GF (2) , GF (2 2 ) = GF (4) , GF (2 3 ) = GF (8) y el propio GF (64) . Como 2 y 3 son coprimos , la intersección de GF (4) y GF (8) en GF (64) es el campo primario GF (2) .
La unión de GF (4) y GF (8) tiene por tanto 10 elementos. Los 54 elementos restantes de GF (64) generan GF (64) en el sentido de que ningún otro subcampo contiene ninguno de ellos. De ello se deduce que son raíces de polinomios irreducibles de grado 6 sobre GF (2) . Esto implica que, sobre GF (2) , hay exactamente 9 = 54/6polinomios mónicos irreducibles de grado 6 . Esto puede verificarse factorizando X 64 - X sobre GF (2) .
Los elementos de GF (64) son raíces primitivas n -ésimas de la unidad para algunos n dividiendo 63 . Como la tercera y la séptima raíces de la unidad pertenecen a GF (4) y GF (8) , respectivamente, los 54 generadores son raíces primitivas n -ésimas de la unidad para algunos n en {9, 21, 63} . La función totient de Euler muestra que hay 6 raíces primitivas novena de unidad, 12 raíces primitivas vigésimo primera de unidad y 36 raíces primitivas 63 o de unidad. Sumando estos números, se encuentran de nuevo 54 elementos.
Al factorizar los polinomios ciclotómicos sobre GF (2) , se encuentra que:
- Las seis raíces primitivas novena de la unidad son raíces de
- y están todos conjugados bajo la acción del grupo de Galois.
- Las doce raíces primitivas de la unidad 21 son raíces de
- Forman dos órbitas bajo la acción del grupo Galois. Como los dos factores son recíprocos entre sí, una raíz y su inverso (multiplicativo) no pertenecen a la misma órbita.
- Los 36 elementos primitivos de GF (64) son las raíces de
- Se dividieron en 6 órbitas de 6 elementos bajo la acción del grupo Galois.
Esto muestra que la mejor opción para construir GF (64) es definirlo como GF (2) [ X ] / ( X 6 + X + 1) . De hecho, este generador es un elemento primitivo, y este polinomio es el polinomio irreducible que produce la división euclidiana más fácil.
Automorfismo de Frobenius y teoría de Galois
En esta sección, p es un número primo y q = p n es una potencia de p .
En GF ( q ) , la identidad ( x + y ) p = x p + y p implica que el mapa
es un GF ( p ) - endomorfismo lineal y un automorfismo de campo de GF ( q ) , que fija todos los elementos del subcampo GF ( p ) . Se llama automorfismo de Frobenius , en honor a Ferdinand Georg Frobenius .
Denotando por φ k la composición de φ consigo mismo k veces, tenemos
En la sección anterior se ha demostrado que φ n es la identidad. Para 0 < k < n , el automorfismo φ k no es la identidad, ya que, en caso contrario, el polinomio
tendría más de p k raíces.
No hay otros GF ( p ) -automorfismos de GF ( q ) . En otras palabras, GF ( p n ) tiene exactamente n GF ( p ) -automorfismos, que son
En términos de la teoría de Galois , esto significa que GF ( p n ) es una extensión de Galois de GF ( p ) , que tiene un grupo de Galois cíclico .
El hecho de que el mapa de Frobenius sea sobreyectivo implica que todo campo finito es perfecto .
Factorización de polinomios
Si F es un campo finito, un no constante polinomio mónico con coeficientes en F es irreducible sobre F , si no es el producto de dos polinomios monic no constantes, con coeficientes en F .
Como cada anillo polinomial sobre un campo es un dominio de factorización único , cada polinomio mónico sobre un campo finito puede factorizarse de una manera única (hasta el orden de los factores) en un producto de polinomios mónicos irreducibles.
Existen algoritmos eficientes para probar la irreductibilidad de polinomios y factorizar polinomios sobre un campo finito. Son un paso clave para factorizar polinomios sobre los números enteros o racionales . Al menos por esta razón, todo sistema de álgebra computacional tiene funciones para factorizar polinomios sobre campos finitos o, al menos, sobre campos primos finitos.
Polinomios irreducibles de un grado dado
El polinomio
factores en factores lineales sobre un campo de orden q . Más precisamente, este polinomio es el producto de todos los polinomios mónicos de grado uno sobre un campo de orden q .
Esto implica que, si q = p n entonces X q - X es el producto de todos los polinomios mónicos irreducibles sobre GF ( p ) , cuyo grado divide n . De hecho, si P es un factor irreducible sobre GF ( p ) de X q - X , su grado divide n , ya que su campo de división está contenido en GF ( p n ) . Por el contrario, si P es un polinomio mónico irreducible sobre GF ( p ) de grado d que divide n , define una extensión de campo de grado d , que está contenida en GF ( p n ) , y todas las raíces de P pertenecen a GF ( p n ) , y son raíces de X q - X ; por lo tanto P divide X q - X . Como X q - X no tiene ningún factor múltiple, es el producto de todos los polinomios mónicos irreductibles que lo dividen.
Esta propiedad se usa para calcular el producto de los factores irreducibles de cada grado de polinomios sobre GF ( p ) ; ver factorización de grados distintos .
Número de polinomios mónicos irreducibles de un grado dado sobre un campo finito
El número N ( q , n ) de polinomios mónicos irreducibles de grado n sobre GF ( q ) viene dado por [4]
donde μ es la función de Möbius . Esta fórmula es casi una consecuencia directa de la propiedad anterior de X q - X .
Por la fórmula anterior, el número de polinomios irreducibles (no necesariamente monicos) de grado n sobre GF ( q ) es ( q - 1) N ( q , n ) .
Un límite inferior (ligeramente más simple) para N ( q , n ) es
Se puede deducir fácilmente que, para cada qy cada n , hay al menos un polinomio irreducible de grado n sobre GF ( q ) . Este límite inferior es agudo para q = n = 2 .
Aplicaciones
En criptografía , la dificultad del problema del logaritmo discreto en campos finitos o en curvas elípticas es la base de varios protocolos ampliamente utilizados, como el protocolo Diffie-Hellman . Por ejemplo, en 2014, una conexión segura de Internet a Wikipedia implicó el protocolo de curva elíptica Diffie-Hellman ( ECDHE ) sobre un gran campo finito. [5] En la teoría de la codificación , muchos códigos se construyen como subespacios de espacios vectoriales sobre campos finitos.
Los campos finitos se utilizan ampliamente en la teoría de números , ya que muchos problemas relacionados con los números enteros pueden resolverse reduciéndolos módulo uno o varios números primos . Por ejemplo, los algoritmos más rápidos conocidos para la factorización de polinomios y el álgebra lineal sobre el campo de los números racionales proceden mediante la reducción del módulo uno o varios números primos, y luego la reconstrucción de la solución utilizando el teorema del resto chino , el levantamiento de Hensel o el algoritmo LLL .
De manera similar, muchos problemas teóricos en teoría de números pueden resolverse considerando sus reducciones en módulo algunos o todos los números primos. Véase, por ejemplo, el principio de Hasse . Muchos desarrollos recientes de la geometría algebraica fueron motivados por la necesidad de ampliar el poder de estos métodos modulares. La prueba de Wiles del último teorema de Fermat es un ejemplo de un resultado profundo que involucra muchas herramientas matemáticas, incluidos los campos finitos.
Las conjeturas de Weil se refieren al número de puntos en variedades algebraicas sobre campos finitos y la teoría tiene muchas aplicaciones, incluidas estimaciones exponenciales y de suma de caracteres .
Los campos finitos tienen una aplicación generalizada en combinatoria , dos ejemplos bien conocidos son la definición de Paley Graphs y la construcción relacionada de Hadamard Matrices . En combinatoria aritmética, los campos finitos [6] y los modelos de campo finito [7] [8] se utilizan ampliamente, como en el teorema de Szemerédi sobre progresiones aritméticas.
Extensiones
Cierre algebraico
Un campo finito F no es algebraicamente cerrado: el polinomio
no tiene raíces en F , ya que f ( α ) = 1 para todos α en F .
Arreglar un cierre algebraico de . El mapaenviar cada x de x q se llama la q ésima potencia de Frobenius automorfismo . El subcampo defijado por el n º iterate dees el conjunto de ceros del polinomio x q n - x , que tiene raíces distintas desde su derivada enes −1 , que nunca es cero. Por lo tanto, ese subcampo tiene q n elementos, por lo que es la copia única de en . Cada extensión finita de en Es esto para algunos n , entonces
El grupo absoluto de Galois dees el grupo profinite
Como cualquier grupo infinito de Galois, pueden estar equipados con la topología de Krull , y entonces los isomorfismos que se acaban de dar son isomorfismos de grupos topológicos . La imagen de en el grupo es el generador 1 , entonces corresponde a . Resulta que tiene un orden infinito y genera un subgrupo denso de , no a todo el grupo, porque el elemento tiene un orden infinito y genera el subgrupo denso Uno dice que es un generador topológico de .
Cierre cuasi-algebraico
Aunque los campos finitos no son algebraicamente cerrados, son casi algebraicamente cerrados , lo que significa que cada polinomio homogéneo sobre un campo finito tiene un cero no trivial cuyos componentes están en el campo si el número de sus variables es mayor que su grado. Ésta fue una conjetura de Artin y Dickson probada por Chevalley (véase el teorema de Chevalley-Warning ).
El pequeño teorema de Wedderburn
Un anillo de división es una generalización de campo. No se supone que los anillos de división sean conmutativos. No hay anillos de división finitos no conmutativos: el pequeño teorema de Wedderburn establece que todos los anillos de división finitos son conmutativos, por lo tanto, campos finitos. El resultado se mantiene incluso si relajamos la asociatividad y consideramos anillos alternativos , según el teorema de Artin-Zorn . [9]
Ver también
- Campo cuasi-finito
- Campo con un elemento
- Aritmética de campos finitos
- Anillo finito
- Grupo finito
- Grupo abeliano elemental
- Espacio Hamming
Notas
- ↑ a b Moore, EH (1896), "Un sistema doblemente infinito de grupos simples", en EH Moore; et al. (eds.), artículos matemáticos leídos en el Congreso Internacional de Matemáticas celebrado en conexión con la Exposición Mundial de Colombia , Macmillan & Co., págs. 208–242
- ↑ Esta última notación fue introducida por EH Moore en un discurso pronunciado en 1893 en el Congreso Internacional de Matemáticas celebrado en Chicago Mullen & Panario 2013 , p. 10.
- ^ Curvas elípticas recomendadas para uso gubernamental (PDF) , Instituto Nacional de Estándares y Tecnología , julio de 1999, pág. 3
- ↑ Jacobson 2009 , §4.13
- ^ Esto se puede verificar mirando la información en la página proporcionada por el navegador.
- ^ Shparlinski, Igor E. (2013), "Combinatoria aditiva sobre campos finitos: nuevos resultados y aplicaciones", Campos finitos y sus aplicaciones , DE GRUYTER, doi : 10.1515 / 9783110283600.233 , ISBN 9783110283600
- ^ Green, Ben (2005), "Modelos de campo finito en combinatoria aditiva", Surveys in Combinatorics 2005 , Cambridge University Press, págs. 1–28, arXiv : math / 0409420 , doi : 10.1017 / cbo9780511734885.002 , ISBN 9780511734885
- ^ Wolf, J. (marzo de 2015). "Modelos de campo finito en combinatoria aritmética - diez años después" . Campos finitos y sus aplicaciones . 32 : 233-274. doi : 10.1016 / j.ffa.2014.11.003 . ISSN 1071-5797 .
- ^ Shult, Ernest E. (2011). Puntos y líneas. Caracterización de las geometrías clásicas . Universitext. Berlín: Springer-Verlag . pag. 123. ISBN 978-3-642-15626-7. Zbl 1213.51001 .
Referencias
- WH Bussey (1905) "Tablas de campo de Galois para p n ≤ 169", Boletín de la American Mathematical Society 12 (1): 22–38, doi : 10.1090 / S0002-9904-1905-01284-2
- WH Bussey (1910) "Tablas de campos de Galois de orden <1000", Boletín de la American Mathematical Society 16 (4): 188-206, doi : 10.1090 / S0002-9904-1910-01888-7
- Jacobson, Nathan (2009) [1985], Álgebra básica I (Segunda ed.), Publicaciones de Dover, ISBN 978-0-486-47189-1
- Mullen, Gary L .; Mummert, Carl (2007), Campos finitos y aplicaciones I , Biblioteca de matemáticas para estudiantes (AMS), ISBN 978-0-8218-4418-2
- Mullen, Gary L .; Panario, Daniel (2013), Manual de campos finitos , CRC Press, ISBN 978-1-4398-7378-6
- Lidl, Rudolf; Niederreiter, Harald (1997), Finite Fields (2.a ed.), Cambridge University Press , ISBN 0-521-39231-4
- Skopin, AI (2001) [1994], "Campo de Galois" , Enciclopedia de Matemáticas , EMS Press
enlaces externos
- Campos finitos en Wolfram research.