Corpo finito

En matemáticas, un corpo finito ou corpo de Galois (chamado así en honra a Évariste Galois) é un corpo que contén un número finito de elementos. Como en calquera corpo, un corpo finito é un conxunto sobre o que se definen as operacións de multiplicación, suma, resta e división e cumpren determinadas regras básicas. Os exemplos máis comúns de corpos finitos son os enteiros mod $p$ cando $p$ é un número primo.

A orde dun corpo finito é o seu número de elementos, que é un número primo ou unha potencia prima. Para cada número primo $p$ e cada número enteiro positivo $k$ hai corpos de orde $p k$ , todos eles isomorfos.

Os corpos finitos son fundamentais en varias áreas das matemáticas e da informática, incluíndo a teoría dos números, a xeometría alxébrica, a teoría de Galois, a xeometría finita, a criptografía e a teoría da codificación.

Propiedades

Un corpo finito é un conxunto finito que é un corpo; isto significa que a multiplicación, a suma, a resta e a división (excluíndo a división por cero) están definidas e cumpren as regras da aritmética coñecidas como axiomas de corpo.

O número de elementos dun corpo finito chámase a súa orde ou, ás veces, o seu tamaño. Un corpo finito de orde $q$ existe se e só se $q$ é unha potencia de primo $p k$ (onde $p$ é un número primo e $k$ é un enteiro positivo). Nun corpo de orde $p k$ , engadindo $p$ copias de calquera elemento sempre resulta cero; é dicir, a característica do corpo é $p$ .

Para $q = p k$ , todos os corpos de orde $q$ son isomorfos . A maiores, un corpo non pode conter dous subcorpos finitos diferentes coa mesma orde. Pódense, polo tanto, identificar todos os corpos finitos coa mesma orde, e denotalos sen ambigüidades $\mathbb {F} _{q}$ , $F q$ ou $GF(q)$ , onde as letras GF significan "corpo de Galois".

Nun corpo finito de orde $q$ , o polinomio $X q - X$ ten todos os $q$ elementos do corpo finito como raíces. Os elementos distintos de cero dun corpo finito forman un grupo multiplicativo. Este grupo é cíclico, polo que todos os elementos distintos de cero poden expresarse como potencias dun único elemento chamado elemento primitivo do corpo. (En xeral, haberá varios elementos primitivos para un corpo dado).

Os exemplos máis simples de corpos finitos son os corpo de orde prima: para cada número primo $p$ , o corpo primo de orde $p$ pode construírse como os enteiros módulo $p$ , $\mathbb {Z} /p\mathbb {Z}$ .

Os elementos do corpo primo de orde $p$ poden ser representados por números enteiros no rango $0, ..., p - 1$ . A suma, a diferenza e o produto son o resto da división por $p$ do resultado da operación enteira correspondente. A inversa multiplicativa dun elemento pódese calcular usando o algoritmo de Euclides estendido.

A identidade

(x+y)^{p}=x^{p}+y^{p}

é certa nun corpo de característica $p$ . Isto despréndese do teorema binomial, xa que cada coeficiente binomial da expansión de $(x + y) p$ , excepto o primeiro e o último, é un múltiplo de $p$ .

Polo pequeno teorema de Fermat, se $p$ é un número primo e $x$ está no corpo $GF(p)$ entón $x p = x$ . Isto implica a igualdade

X^{p}-X=\prod _{a\in \mathrm {GF} (p)}(X-a)

para polinomios sobre $GF(p)$ . De forma máis xeral, cada elemento en $GF(p n)$ satisfai a ecuación polinómica $x p n - x = 0$ .

Calquera extensión finita de corpo dun corpo finito é separábel e simple. É dicir, se $E$ é un corpo finito e $F$ é un subcorpo de $E$ , entón $E$ obtense a partir de $F$ unindo un único elemento cuxo polinomio mínimo é separábel.

Unha estrutura alxébrica máis xeral que satisfai todos os outros axiomas dun corpo, mais cuxa multiplicación non é conmutativa, chámase anel de división (ou ás veces corpo nesgado). Segundo o teorema de Wedderburn, calquera anel de división finito é conmutativo e, polo tanto, é un corpo finito.

Existencia e unicidade

Sexa $q = p n$ unha potencia de primo e $F$ o corpo de descomposición do polinomio

P=X^{q}-X

sobre o corpo primo $GF(p)$ . Isto significa que $F$ é un corpo finito de orde máis baixa, no que $P$ ten $q$ raíces distintas (a derivada formal de $P$ é P'=-1, o que implica que $gcd(P, P') = 1$ , o que en xeral implica que o corpo de división é unha extensión separábel da orixinal).

A identidade anterior mostra que a suma e o produto de dúas raíces de $P$ son raíces de $P$ , así como a inversa multiplicativa dunha raíz de $P$ . Noutras palabras, as raíces de $P$ forman un corpo de orde $q$ , que é igual a $F$ pola minimalidade do corpo de división.

A unicidade ata o isomorfismo dos corpos de división implica que todos os corpos de orde $q$ son isomorfos. Alén diso, se un corpo $F$ ten un corpo de orde $q = p k$ como subcorpo, os seus elementos son as raíces $q$ de $X q - X$ , e $F$ non pode conter outro subcorpo de orde $q$ .

En resumo, temos o seguinte teorema de clasificación probado por primeira vez en 1893 por EH Moore:^[1]

A orde dun corpo finito é unha potencia de primo. Por cada potencia de primo $q$ hai corpos de orde $q$ , e todos son isomorfos. Nestes corpos, todo elemento satisfai
$x^{q}=x,$ e o polinomio $X q - X$ factoriza como

$X^{q}-X=\prod _{a\in F}(X-a).$

Dedúcese que $GF(p n)$ contén un subcorpo isomorfo a $GF(p m)$ se e só se $m$ é un divisor de $n$ ; nese caso, este subcorpo é único. De feito, o polinomio $X p m - X$ divide $X p n - X$ se e só se $m$ é un divisor de $n$ .

Construción explícita

Corpos non primos

Dada unha potencia de primo $q = p n$ con $p$ primo e $n > 1$ , o corpo $GF(q)$ pode construírse explicitamente do seguinte xeito.

Elixe primeiro un polinomio irredutíbel $P$ en $GF(p)[X]$ de grao $n$ (tal polinomio irredutíbel sempre existe). Logo o anel cociente

\mathrm {GF} (q)=\mathrm {GF} (p)[X]/(P)

do anel polinómico $GF(p)[X]$ polo ideal xerado por $P$ é un corpo de orde $q$ .

Excepto na construción de $\mathrm {GF} (4)$ , hai varias opcións posíbeis para $P$ , que producen resultados isomorfos. Para simplificar a división euclidiana, adóitase escoller para $P$ un polinomio da forma

X^{n}+aX+b,

que fai que as divisións euclidianas necesarias sexan moi eficientes. No entanto, para algúns corpos, normalmente na característica $2$ , poden non existir polinomios irredutíbeis da forma $X^{n}+aX+b$ .^[2]

Unha posíbel escolla para tal polinomio vén dada polos polinomios de Conway. Aseguran unha certa compatibilidade entre a representación dun corpo e as representacións dos seus subcorpos.

Corpo con 4 elementos

O corpo non primo máis pequeno é o corpo con catro elementos, que se denota comunmente como $\mathrm {GF} (4)$ ou $\mathbb {F} _{4}.$ Está formado polos catro elementos $0,1,\alpha ,1+\alpha$ tal que $\alpha ^{2}=1+\alpha$ , $1\cdot \alpha =\alpha \cdot 1=\alpha$ , $x+x=0$ , e $x\cdot 0=0\cdot x=0$ , para todo $x\in \mathrm {GF} (4)$ a outra operación resulta ser facilmente deducida da lei distributiva. Vexa a continuación as táboas de operacións completas.

Isto pódese deducir do seguinte xeito dos resultados do apartado anterior.

Sobre $\mathrm {GF} (2)$ , só hai un polinomio irredutíbel de grao $2$ :

X^{2}+X+1

Polo tanto, para $\mathrm {GF} (4)$ a construción da sección anterior debe implicar este polinomio, e

\mathrm {GF} (4)=\mathrm {GF} (2)[X]/(X^{2}+X+1).

Denotamos $\alpha$ unha raíz deste polinomio en $\mathrm {GF} (4)$ . Isto implica que

\alpha ^{2}=1+\alpha ,

e que $\alpha$ e $1+\alpha$ son os elementos de $\mathrm {GF} (4)$ que non están en $\mathrm {GF} (2)$ . As táboas das operacións en $\mathrm {GF} (4)$ resultan disto e son as seguintes:

Suma $x+y$
$y$ $x$	$0$	$1$	$α$	$1 + α$
$0$	$0$	$1$	$α$	$1 + α$
$1$	$1$	$0$	$1 + α$	$α$
$α$	$α$	$1 + α$	$0$	$1$
$1 + α$	$1 + α$	$α$	$1$	$0$

Multiplicación $x\cdot y$
$y$ $x$	$0$	$1$	$α$	$1 + α$
$0$	$0$	$0$	$0$	$0$
$1$	$0$	$1$	$α$	$1 + α$
$α$	$0$	$α$	$1 + α$	$1$
$1 + α$	$0$	$1 + α$	$1$	$α$

División $x\div y$
$y$ $x$	$1$	$α$	$1 + α$
$0$	$0$	$0$	$0$
$1$	$1$	$1 + α$	$α$
$α$	$α$	$1$	$1 + α$
$1 + α$	$1 + α$	$α$	$1$

(Como $0\cdot z=0$ para todo $z$ en todo anel a división por 0 ten que permanecer sen definir).

Nas táboas, pódese ver que a estrutura aditiva de $\mathrm {GF} (4)$ é isomorfa ao Grupo de Klein, mentres que a estrutura multiplicativa distinta de cero é isomorfa ao grupo $Z_{3}$ .

O mapa

\varphi :x\mapsto x^{2}

é o automorfismo de corpos non trivial, chamado Automorfismo de Frobenius, que envía $\alpha$ á segunda raíz $1+\alpha$ do citado polinomio irredutíbel $X^{2}+X+1$ .

GF(p²) para un primo impar p

Para aplicar o visto na construción xeral dos corpos finitos no caso de $\mathrm {GF} (p^{2})$ , hai que atopar un polinomio irredutíbel de grao 2. Para $p=2$ , isto fíxose na sección anterior. Se $p$ é un primo impar, sempre hai polinomios irredutíbeis da forma $X^{2}-r$ , con $r$ en $\mathrm {GF} (p)$ .

Máis precisamente, o polinomio $X^{2}-r$ é irredutíbel sobre $\mathrm {GF} (p)$ se e só se $r$ é un non residuo cadrático módulo $p$ (esta é case a definición dun non residuo cadrático).

Hai ${\tfrac {p-1}{2}}$ non residuos cadráticos módulo $p$ . Por exemplo, $2$ é un non residuo cadrático para $p=3,5,11,13,\ldots$ , e $3$ é un non residuo cadrático para $p=5,7,17,\ldots$ . Se $p\equiv 3\mod 4$ , isto é $p=3,7,11,19,\ldots$ , pódese escoller $-1\equiv p-1$ como un non residuo cadrático, o que nos permite ter un polinomio irredutíbel moito simple $X^{2}+1$ .

Tendo escollido un non residuo cadrático $r$ , sexa $\alpha$ unha raíz cadrada simbólica de $r$ , isto é, un símbolo que ten a propiedade $\alpha ^{2}=r$ . Daquela, os elementos de $\mathrm {GF} (p^{2})$ son todas as expresións lineares

a+b\alpha ,

con $a$ e $b$ en $\mathrm {GF} (p)$ .

As operacións en $\mathrm {GF} (p^{2})$ defínense do seguinte xeito (as operacións entre elementos de $\mathrm {GF} (p)$ representadas con letras latinas son as operacións en $\mathrm {GF} (p)$ ):

{\begin{aligned}-(a+b\alpha )&=-a+(-b)\alpha \\(a+b\alpha )+(c+d\alpha )&=(a+c)+(b+d)\alpha \\(a+b\alpha )(c+d\alpha )&=(ac+rbd)+(ad+bc)\alpha \\(a+b\alpha )^{-1}&=a(a^{2}-rb^{2})^{-1}+(-b)(a^{2}-rb^{2})^{-1}\alpha \end{aligned}}

Estrutura multiplicativa

O conxunto de elementos distintos de cero en $GF(q)$ é un grupo abeliano baixo a multiplicación, de orde $q - 1$ . Segundo o teorema de Lagrange, existe un divisor $k$ de $q - 1$ tal que $x k = 1$ para todo $x$ distinto de cero en $GF(q)$ . Como a ecuación $x k = 1$ ten como máximo $k$ solucións en calquera caorpo, $q - 1$ é o valor máis baixo posíbel para $k$ . O teorema de estrutura dos grupos abelianos finitos implica que este grupo multiplicativo é cíclico, é dicir, todos os elementos distintos de cero son potencias dun só elemento. En resumo: Tal elemento $a$ chámase elemento primitivo de $GF(q)$ . A menos que $q = 2, 3$ , o elemento primitivo non é único. O número de elementos primitivos é $φ (q - 1)$ onde $φ$ é a función totiente de Euler.

O resultado anterior implica que $x q = x$ para todo $x$ en $GF(q)$ . O caso particular onde $q$ é primo é o pequeno teorema de Fermat .

Logaritmo discreto

Se $a$ é un elemento primitivo en $\mathrm {GF} (q)$ , entón, para calquera elemento $x$ distinto de cero en $F$ , hai un único enteiro $n$ con $0\leq n\leq q-2$ tal que $x=a^{n}$ . Este número enteiro $n$ chámase logaritmo discreto de $x$ para a base $a$ .

Aínda que $a^{n}$ pódese calcular moi rapidamente, por exemplo usando a exponenciación ao cadrado, non se coñece un algoritmo eficiente para calcular a operación inversa, o logaritmo discreto.

Cando os elementos distintos de cero de $\mathrm {GF} (q)$ están representados polos seus logaritmos discretos, a multiplicación e división son fáciles, xa que se reducen a suma e resta módulo $q-1$ . Porén, a suma equivale a calcular o logaritmo discreto de $a^{m}+a^{n}$ .

A identidade

a^{m}+a^{n}=a^{n}\left(a^{m-n}+1\right)

permite resolver este problema construíndo a táboa dos logaritmos discretos de $a^{n}+1$ , chamada logaritmo de Zech, para $n=0,\ldots ,q-2$ (convén definir o logaritmo discreto de cero como $-\infty$ .

Os logaritmos de Zech son útiles para grandes cálculos, como a álxebra linear sobre corpos de tamaño medio, é dicir, corpos suficientemente grandes para que os algoritmos naturais sexan ineficientes, mais non demasiado grandes, xa que hai que calcular previamente unha táboa do mesmo tamaño que a orde do corpo.

Raíces da unidade

Todo elemento distinto de cero dun corpo finito é unha raíz da unidade, pois $x^{q-1}=1$ para todo elemento distinto de cero de $\mathrm {GF} (q)$ .

Se $n$ é un número enteiro positivo, unha raíz primitiva da unidade $n$ -ésima é unha solución da ecuación $x^{n}=1$ que non é unha solución da ecuación $x^{m}=1$ para calquera número enteiro positivo $m<n$ . Se $a$ é unha raíz primitiva da unidade $n$ -ésima nun corpo $F$ , entón $F$ contén todas as $n$ raíces da unidade, que son $1,a,a^{2},\ldots ,a^{n-1}$ .

O corpo $\mathrm {GF} (q)$ contén unha raíz primitiva da unidade $n$ -ésima se e só se $n$ é un divisor de $q-1$ ; se $n$ é un divisor de $q-1$ , entón o número de raíces primitivas $n$ -ésimas da unidade en $\mathrm {GF} (q)$ é $\phi (n)$ (función totiente de Euler). O número de raíces $n$ -ésimas da unidade en $\mathrm {GF} (q)$ é $\mathrm {gcd} (n,q-1)$ .

Nun corpo da característica $p$ , cada $np$ -ésima raíz da unidade é tamén unha $n$ -ésima raíz da unidade. Dedúcese que as raíces primitivas de $np$ -ésimas da unidade nunca existen nun corpo de característica $p$ .

Por outra banda, se $n$ é coprimo con $p$ , as raíces do $n$ -ésimo polinomio ciclotómico son distintas en todos os corpos da característica $p$ , xa que este polinomio é un divisor de $X^{n}-1$ cuxo discriminante $n^{n}$ é distinto de cero módulo $p$ .

Dedúcese que o $n$ -ésimo polinomio ciclotómico factoriza sobre $\mathrm {GF} (q)$ en distintos polinomios irredutíbeis que teñen todos o mesmo grao, digamos $d$ , e que $\mathrm {GF} (p^{d})$ é o corpo máis pequeno de característica $p$ que contén $n$ -ésimos raíces primitivas da unidade.

Ao calcular os caracteres de Brauer, utilízase o mapa $\alpha ^{k}\mapsto \exp(2\pi ik/(q-1))$ para asignar valores propios dunha matriz de representación aos números complexos. Baixo esta asignación, o subcorpo base $\mathrm {GF} (p)$ consta de puntos espazados uniformemente arredor da circunferencia unitaria (omitindo cero).

Exemplo: GF(64)

O corpo $\mathrm {GF} (64)$ ten varias propiedades interesantes que os corpos máis pequenos non comparten: ten dous subcorpos de xeito que ningún está contido no outro; non todos os xeradores (elementos con polinomio mínimo de grao $6$ sobre $\mathrm {GF} (2)$ ) son elementos primitivos; e os elementos primitivos non están todos conxugados baixo o grupo de Galois.

A orde deste corpo é $26$ , e os divisores de $6$ son $1, 2, 3, 6$ , os subcorpos de $GF(64)$ son $GF(2)$ , $GF(2 2) = GF(4)$ , $GF(2 3) = GF(8)$ , e o propio $GF(64)$ . Como $2$ e $3$ son coprimos, a intersección de $GF(4)$ e $GF(8)$ en $GF(64)$ é o corpo primo $GF(2)$ .

A unión de $GF(4)$ e $GF(8)$ ten así $10$ elementos. Os $54$ elementos restantes de $GF(64)$ xeran $GF(64)$ no sentido de que ningún outro subcorpo contén ningún deles. Dedúcese que son raíces de polinomios irredutíbeis de grao $6$ sobre $GF(2)$ . Isto implica que, sobre $GF(2)$ , hai exactamente $9 = 54 / 6$ polinomios mónicos irredutíbeis de grao $6$ . Isto pódese verificar factorizando $X 64 - X$ sobre $GF(2)$ .

Os elementos de $GF(64)$ son raíces primitivas $n$ -ésimas da unidade para algúns $n$ que dividen $63$ . Como a terceira e a sétima raíces da unidade pertencen a $GF(4)$ e $GF(8)$ , respectivamente, os xeradores de $54$ son raíces primitivas $n$ -éimas da unidade para algúns $n'$ en in ${9, 21, 63}$ . A función totiente de Euler mostra que hai $6$ raíces primitivas $9$ -ésimas da unidade, $12$ raíces primitivas $21$ -ésimas da unidade e $36$ raíces primitivas $63$ -ésimas da unidade. Sumando estes números (6+12+36), atópase de novo $54$ elementos.

Factorizando os polinomios ciclotómicos sobre $\mathrm {GF} (2)$ , atópase que:

As seis raíces primitivas da unidade $9$ -ésimas son raíces de

X^{6}+X^{3}+1,

e están todas conxugadas baixo a acción do grupo de Galois.

As doce raíces primitivas da unidade $21$ -ésimas son raíces de

(X^{6}+X^{4}+X^{2}+X+1)(X^{6}+X^{5}+X^{4}+X^{2}+1).

Forman dúas órbitas baixo a acción do grupo de Galois. Como os dous factores son recíprocos entre si, unha raíz e a súa inversa (multiplicativa) non pertencen á mesma órbita.

Os $36$ elementos primitivos de $\mathrm {GF} (64)$ son as raíces de

(X^{6}+X^{4}+X^{3}+X+1)(X^{6}+X+1)(X^{6}+X^{5}+1)(X^{6}+X^{5}+X^{3}+X^{2}+1)(X^{6}+X^{5}+X^{2}+X+1)(X^{6}+X^{5}+X^{4}+X+S+1)(X^{6}+X^{5}+X^{4}+X+S+1)

Descompóñense en seis órbitas de seis elementos cada unha baixo a acción do rupo de Galois.

Isto mostra que a mellor opción para construír $\mathrm {GF} (64)$ é definilo como $GF(2)[X] / (X 6 + X + 1)$ . De feito, este xerador é un elemento primitivo, e este polinomio é o polinomio irredutíbel que produce a división euclidiana máis sinxela.

Automorfismo de Frobenius e teoría de Galois

Nesta sección, $p$ é un número primo e $q = p n$ é unha potencia de $p$ .

En $GF(q)$ , a identidade $(x + y) p = x p + y p$ implica que o mapa

\varphi :x\mapsto x^{p}

é un endomorfismo linear $GF(p)$ e un automorfismo de corpos de $GF(q)$ , que fixa todos os elementos do subcorpo $GF(p)$ . Chámase automorfismo de Frobenius, en honor de Ferdinand Georg Frobenius.

Denotando como $φ k$ a composición de $φ$ consigo mesmo $k$ veces, temos

\varphi ^{k}:x\mapsto x^{p^{k}}.

Demostrouse na sección anterior que $φ n$ é a identidade. Para $0 < k < n$ , o automorfismo $φ k$ non é a identidade, xa que, en caso contrario, o polinomio $X^{p^{k}}-X$ tería máis de $p k$ raíces.

Non hai outros automorfismos $GF(p)$ de $GF(q)$ . Noutras palabras, $GF(p n)$ ten exactamente $n$ $GF(p)$ -automorfismos, que son

\mathrm {Id} =\varphi ^{0},\varphi ,\varphi ^{2},\ldots ,\varphi ^{n-1}.

En termos da teoría de Galois, isto significa que $GF(p n)$ é unha extensión de Galois de $GF(p)$ , que ten un grupo de Galois cíclico.

Factorización de polinomios

Artigo principal: Factorización de polinomios.

Esta sección é un extracto de Factorización de polinomios.[editar]

En matemáticas e álxebra informática, a factorización de polinomios ou factorización polinómica expresa un polinomio con coeficientes nun corpo determinado ou en números enteiros como o produto de factores irredutíbleis con coeficientes no mesmo dominio. A factorización polinómica é un dos compoñentes fundamentais dos sistemas de álxebra informática.

O primeiro algoritmo de factorización polinómica foi publicado por Theodor von Schubert en 1793. Leopold Kronecker redescubriu o algoritmo de Schubert en 1882 e estendeuno a polinomios e coeficientes multivariados nunha extensión alxébrica.

Mais a maior parte do coñecemento sobre este tema non é máis antigo que arredor de 1965 e os primeiros sistemas de álxebra informática.

Notas

↑ Moore, E. H. (1896). "A doubly-infinite system of simple groups". En E. H. Moore. Mathematical Papers Read at the International Mathematics Congress Held in Connection with the World's Columbian Exposition. Macmillan & Co. pp. 208–242.
↑ Recommended Elliptic Curves for Government Use (PDF). National Institute of Standards and Technology. xullo 1999. p. 3. Arquivado dende o orixinal (PDF) o 2008-07-19.

Véxase tamén

Bibliografía

W. H. Bussey (1905) "Galois field tables for pⁿ ≤ 169", Bulletin of the American Mathematical Society 12(1): 22–38, doi 10.1090/S0002-9904-1905-01284-2
W. H. Bussey (1910) "Tables of Galois fields of order < 1000", Bulletin of the American Mathematical Society 16(4): 188–206, doi 10.1090/S0002-9904-1910-01888-7
Jacobson, Nathan (2009) [1985]. Basic algebra I (Second ed.). Dover Publications. ISBN 978-0-486-47189-1.
Mullen, Gary L.; Mummert, Carl (2007). Finite Fields and Applications I. Student Mathematical Library (AMS). ISBN 978-0-8218-4418-2.
Mullen, Gary L.; Panario, Daniel (2013). Handbook of Finite Fields. CRC Press. ISBN 978-1-4398-7378-6.
Lidl, Rudolf; Niederreiter, Harald (1997). Finite Fields (2nd ed.). Cambridge University Press. ISBN 0-521-39231-4.
Skopin, A. I. (2001) [1994]. "Galois field". Encyclopedia of Mathematics. EMS Press.

Outros artigos

Ligazóns externas

Finite Fields at Wolfram research.
Finite Fields and Their Applications, Science Direct, (Open Access Journal).

[moore-1] Moore, E. H. (1896). "A doubly-infinite system of simple groups". En E. H. Moore. Mathematical Papers Read at the International Mathematics Congress Held in Connection with the World's Columbian Exposition. Macmillan & Co. pp. 208–242.

[2] Recommended Elliptic Curves for Government Use (PDF). National Institute of Standards and Technology. xullo 1999. p. 3. Arquivado dende o orixinal (PDF) o 2008-07-19.

[1]

[2]