Cuerpo finito

ÔĽŅ
Cuerpo finito

Cuerpo finito

En √°lgebra abstracta, un cuerpo finito, campo finito o campo de Galois (llamado as√≠ por √Čvariste Galois) es un cuerpo que contiene un n√ļmero finito de elementos. Los cuerpos finitos son importantes en teor√≠a de n√ļmeros, geometr√≠a algebraica, teor√≠a de Galois, y criptograf√≠a. Los cuerpos finitos son totalmente conocidos, y ser√°n descritos m√°s abajo.

Contenido

Clasificación

Dado que todo cuerpo de caracter√≠stica 0 contiene a los racionales y es por lo tanto infinito, todos los campos finitos tienen caracter√≠stica prima, y por lo tanto, su tama√Īo (o cardinalidad) es de la forma pn, para p primo y n > 0 entero (pues el campo es un espacio vectorial sobre el subcuerpo de cardinalidad p generado por el elemento 1). No es en general cierto, sin embargo, que todo cuerpo de caracter√≠stica prima sea finito.

Para un primo p, los enteros m√≥dulo p forman un cuerpo de p elementos, denotado por Z/pZ (pues su grupo aditivo es isomorfo al grupo c√≠clico de p elementos), Fp, o GF(p); en algunos casos se usa Zp, aunque esta notaci√≥n es evitada por teoristas de los n√ļmeros, pues puede crear confusi√≥n con el anillo de los n√ļmeros p-√°dicos. Todo cuerpo con p elementos es isomorfo a √©ste.

Si q = pn es una potencia de un primo, existe (salvo isomorfismo) exactamente un campo con q elementos, denotado por Fq o GF(q). Se puede construir como sigue: encuéntrese un polinomio irreducible f(X) de grado n con coeficientes en Fp, y defínase Fq = Fp[X] / <f(T)>, donde Fp[X] denota el anillo de todos los polinomios con coeficientes en Fp, <f(X)> denota el ideal generado por f(X), y la barra diagonal indica el anillo cociente (definido de forma similar al grupo cociente). El polinomio f(X) se puede hallar factorizando Xq-X sobre Fp. El campo Fq contiene a (una copia de) Fp como subcampo.

No hay otros campos finitos.

Ejemplos

El polinomio f(X) = X2 + X + 1 es irreducible en F2, y F4 = F2[X] / <X2 + X + 1> puede representarse como el conjunto {0, 1, x, x+1} donde la multiplicación queda definida por la ecuación x2 + x + 1 = 0. Por ejemplo, para hallar x3, se observa que x(x2 + x + 1) = 0, con lo cual x3 + x2 + x = 0, y x3 = -x2 - x = (x + 1)( - x) = 1; de forma equivalente, habiendo observado que x3 + x2 + x = 0, se obtiene que x3 + (x2 + x + 1) = 1 con lo que x3 = 1, como antes.

Para encontrar un inverso multiplicativo de x en este campo, se debe encontrar un polinomio g(X) tal que X * g(X) = 1 módulo X2 + X + 1; el polinomio g(X) = X + 1 cumple esta propiedad, de modo que 1/x = x + 1.

Obsérvese que el campo F4 no tiene relación con el anillo Z4 de enteros módulo 4.

Para construir el campo F27, se comienza con el polinomio irreducible (en F3) X3 + X2 + X - 1. Se tiene entonces F27 = {ax2 + bx + c | a, b, c ‚ąą F3}, donde la multiplicaci√≥n se define por

x3 + x2 + x - 1 = 0 (de la misma manera que en el ejemplo pasado).

Propiedades

Si F es un campo finito con q = pn elementos (con p primo), entonces

xq = x

para todo x ‚ąą F. M√°s a√ļn, la funci√≥n

f:F\to F

definida por

f(x): = xp

es biyectiva y un homomorfismo, con lo cual es un automorfismo de F. Se la llama automorfismo de Frobenius, en honor a Ferdinand Georg Frobenius.

El automorfismo de Frobenius tiene orden n, y por lo tanto el grupo cíclico generado por éste es el grupo completo de automorfismos del campo.

El campo Fpm contiene una copia de Fpn si y sólo si n divide a m. La razón para la dirección "si" es que hay polinomios irreducibles de cualquier grado en Fpm.

Si se construyen los campos finitos de forma tal que Fpn esté efectivamente contenido en Fpm siempre que n divida a m, se puede tomar la unión de todos esos campos; ésta es también un campo de característica p, aunque infinito. Es la clausura algebraica de cada uno de los campos Fpn. Aun si no se construyen de esta manera los campos, se puede hablar de su clausura algebraica, aunque su construcción es ahora más delicada.

Aplicaciones

El grupo multiplicativo de todo cuerpo finito es c√≠clico. Esto significa que si F es un campo finito de q elementos, siempre hay un elemento x ‚ąą F tal que F = { 0, 1, x, x2,..., xq-2 }.

El elemento x no es √ļnico. Si se toma uno en particular, entonces para todo a ‚Ȇ 0 en F hay un √ļnico n ‚ąą {0,..., q - 2} tal que a = xn. El valor de n para un dado a se llama logaritmo discreto de a en base x. En la pr√°ctica, aunque calcular xn es relativamente trivial dado n, encontrar n para un a dado es un proceso computacionalmente dif√≠cil, por lo que tiene muchas aplicaciones en criptograf√≠a.

Los primeros cuerpos finitos

F2:

 + | 0 1        · | 0 1
 --+----        --+----
 0 | 0 1        0 | 0 0
 1 | 1 0        1 | 0 1
 

F3:

 + | 0 1 2       · | 0 1 2
 --+------       --+------
 0 | 0 1 2       0 | 0 0 0
 1 | 1 2 0       1 | 0 1 2
 2 | 2 0 1       2 | 0 2 1
 

F4:

 + | 0 1 A B       · | 0 1 A B
 --+--------       --+--------
 0 | 0 1 A B       0 | 0 0 0 0
 1 | 1 0 B A       1 | 0 1 A B
 A | A B 0 1       A | 0 A B 1
 B | B A 1 0       B | 0 B 1 A

Obtenido de "Cuerpo finito"

Wikimedia foundation. 2010.

Mira otros diccionarios:

  • Cuerpo (matem√°tica) ‚ÄĒ Saltar a navegaci√≥n, b√ļsqueda Para otros usos de este t√©rmino, v√©ase Cuerpo. Un cuerpo o campo es un anillo de divisi√≥n conmutativo, es decir, un anillo conmutativo en el que todo elemento distinto de cero (todo elemento no nulo) es invertible… ‚Ķ   Wikipedia Espa√Īol

  • √Ālgebra sobre un cuerpo ‚ÄĒ En matem√°ticas, un √°lgebra sobre un cuerpo K, o una K √°lgebra, es un espacio vectorial A sobre K equipado con una noci√≥n compatible de multiplicaci√≥n de elementos de A. Una generalizaci√≥n directa admite que K sea cualquier anillo conmutativo.… ‚Ķ   Wikipedia Espa√Īol

  • Grado de extensi√≥n de un cuerpo ‚ÄĒ Contenido 1 Extensi√≥n de un cuerpo como espacio vectorial sobre el cuerpo. 2 Definici√≥n del grado de una extensi√≥n. 3 Teorema de transitividad del grado ‚Ķ   Wikipedia Espa√Īol

  • Geometr√≠a finita ‚ÄĒ Una geometr√≠a finita es un sistema geom√©trico que tiene √ļnicamente un n√ļmero finito de puntos. Por ejemplo, la geometr√≠a euclidiana no es finita, ya que la l√≠nea de Euclides contiene infinitos puntos, de hecho posee tantos puntos como n√ļmeros… ‚Ķ   Wikipedia Espa√Īol

  • Funci√≥n zeta local ‚ÄĒ En la teor√≠a de n√ļmeros, una funci√≥n zeta local Z(t) es una funci√≥n cuya derivada logar√≠tmica es una funci√≥n generatriz del n√ļmero de soluciones de un conjunto de ecuaciones definidas sobre un cuerpo finito F, en extensi√≥n de cuerpos Fk de F.… ‚Ķ   Wikipedia Espa√Īol

  • Clausura algebraica ‚ÄĒ En Matem√°ticas, la clausura algebraica (o cerradura algebraica) de un cuerpo K es una extensi√≥n algebraica de K que sea algebraicamente cerrada. Es una de las muchas complexiones que existen en matem√°ticas. Usando el Lema de Zorn, puede probarse… ‚Ķ   Wikipedia Espa√Īol

  • Hip√≥tesis H de Schinzel ‚ÄĒ En matem√°ticas, la hip√≥tesis H de Schinzel es una generalizaci√≥n muy amplia de conjeturas tales como la de los n√ļmeros primos gemelos. La hip√≥tesis aspira a definir el √°mbito m√°s amplio que puede tener una conjetura de la naturaleza de que una… ‚Ķ   Wikipedia Espa√Īol

  • Polinomio separable ‚ÄĒ Saltar a navegaci√≥n, b√ļsqueda En matem√°tica, un polinomio P(X) es separable sobre un cuerpo K si sus ra√≠ces en una clausura algebraica de K son distintas es decir P(X) tiene factores lineales distintos en una extensi√≥n de cuerpo suficientemente… ‚Ķ   Wikipedia Espa√Īol

  • Grupo absoluto de Galois ‚ÄĒ En matem√°tica, el grupo absoluto de Galois GK de un campo K es el grupo de Galois de Ksep sobre K, donde Ksep es una clausura separable de K. Alternativamente es el grupo de todos los automorfismos de la clausura algebraica de K que fija K. El… ‚Ķ   Wikipedia Espa√Īol

  • Elemento primitivo ‚ÄĒ Saltar a navegaci√≥n, b√ļsqueda En matem√°tica, un elemento primitivo de una extensi√≥n de cuerpos L/K es un elemento ő∂ de L tal que L = K(ő∂), o en otras palabras, L est√° generado por ő∂ sobre K. Esto significa que todo elemento de L puede ser escrito ‚Ķ   Wikipedia Espa√Īol


Compartir el artículo y extractos

Link directo
… Do a right-click on the link above
and select ‚ÄúCopy Link‚ÄĚ

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.