En matemáticas , la norma (de campo) es un mapeo particular definido en la teoría de campos , que mapea elementos de un campo más grande en un subcampo.
Definicion formal
Sea K un campo y L una extensión finita (y por tanto una extensión algebraica ) de K.
El campo L es entonces un espacio vectorial de dimensión finita sobre K.
Multiplicación por α , un elemento de L ,
![{\displaystyle m_{\alpha }\dos puntos L\to L}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
,
es una K - transformación lineal de este espacio vectorial en sí mismo.
La norma , N L / K ( α ), se define como el determinante de esta transformación lineal . [1]
Si L / K es una extensión de Galois , se puede calcular la norma de α ∈ L como el producto de todos los conjugados de Galois de α :
![{\displaystyle \operatorname {N} _{L/K}(\alpha )=\prod _{\sigma \in \operatorname {Gal} (L/K)}\sigma (\alpha ),}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
donde Gal( L / K ) denota el grupo de Galois de L / K . [2] (Tenga en cuenta que puede haber una repetición en los términos del producto.)
Para una extensión de campo general L / K , y α distinto de cero en L , sean σ 1 ( α ), ..., σ n ( α ) las raíces del polinomio mínimo de α sobre K (raíces enumeradas con multiplicidad y situadas en algún campo de extensión de L ); entonces
.
Si L / K es separable , entonces cada raíz aparece sólo una vez en el producto (aunque el exponente, el grado [ L : K ( α )], aún puede ser mayor que 1).
Ejemplos
Extensiones de campo cuadrático
Uno de los ejemplos básicos de normas proviene de extensiones de campos cuadráticos donde es un entero libre de cuadrados. ![{\displaystyle \mathbb {Q} ({\sqrt {a}})/\mathbb {Q} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle a}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Entonces, el mapa de multiplicación por en un elemento es![{\displaystyle {\sqrt {a}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x+y\cdot {\sqrt {a}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\sqrt {a}}\cdot (x+y\cdot {\sqrt {a}})=y\cdot a+x\cdot {\sqrt {a}}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
El elemento se puede representar mediante el vector.![{\displaystyle x+y\cdot {\sqrt {a}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\begin{bmatrix}x\\y\end{bmatrix}},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
ya que existe una descomposición de suma directa como un espacio vectorial.![{\displaystyle \mathbb {Q} ({\sqrt {a}})=\mathbb {Q} \oplus \mathbb {Q} \cdot {\sqrt {a}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {Q} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
La matriz de es entonces![{\displaystyle m_{\sqrt {a}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle m_{\sqrt {a}}={\begin{bmatrix}0&a\\1&0\end{bmatrix}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
y la norma es , ya que es el determinante de esta matriz .![{\displaystyle N_{\mathbb {Q} ({\sqrt {a}})/\mathbb {Q} }({\sqrt {a}})=-a}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Norma de Q(√2)
Considere el campo numérico .![{\displaystyle K=\mathbb {Q} ({\sqrt {2}})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
El grupo Galois de over tiene orden y es generado por el elemento que envía a . Entonces la norma de es:![{\displaystyle K}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {Q} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle d=2}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\sqrt {2}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle -{\sqrt {2}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle 1+{\sqrt {2}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (1+{\sqrt {2}})(1-{\sqrt {2}})=-1.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
La norma de campo también se puede obtener sin el grupo de Galois .
Arreglar una base de , digamos:![{\displaystyle \mathbb {Q} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {Q} ({\sqrt {2}})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
.
Luego la multiplicación por el número envía![{\displaystyle 1+{\sqrt {2}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- 1 a y
![{\displaystyle 1+{\sqrt {2}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
a .![{\displaystyle 2+{\sqrt {2}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Entonces el determinante de "multiplicar por " es el determinante de la matriz que envía el vector![{\displaystyle 1+{\sqrt {2}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
(correspondiente al primer elemento base, es decir, 1) a ,![{\displaystyle {\begin{bmatrix}1\\1\end{bmatrix}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
(correspondiente al segundo elemento base, es decir, ) a ,![{\displaystyle {\sqrt {2}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\begin{bmatrix}2\\1\end{bmatrix}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
verbigracia.:
![{\displaystyle {\begin{bmatrix}1&2\\1&1\end{bmatrix}}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
El determinante de esta matriz es −1.
p -ésimas extensiones del campo raíz
Otra clase sencilla de ejemplos proviene de extensiones de campo de la forma en la que la factorización prima de no contiene potencias -ésimas, para un primo impar fijo.![{\displaystyle \mathbb {Q} ({\sqrt[{p}]{a}})/\mathbb {Q} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle a\in \mathbb {Q}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle p}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle p}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
El mapa de multiplicación por de un elemento es![{\displaystyle {\sqrt[{p}]{a}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\begin{aligned}m_{\sqrt[{p}]{a}}(x)&={\sqrt[{p}]{a}}\cdot (a_{0}+a_{1) }{\sqrt[{p}]{a}}+a_{2}{\sqrt[{p}]{a^{2}}}+\cdots +a_{p-1}{\sqrt[{p }]{a^{p-1}}})\\&=a_{0}{\sqrt[{p}]{a}}+a_{1}{\sqrt[{p}]{a^{ 2}}}+a_{2}{\sqrt[{p}]{a^{3}}}+\cdots +a_{p-1}a\end{aligned}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
dando la matriz
![{\displaystyle {\begin{bmatrix}0&0&\cdots &0&a\\1&0&\cdots &0&0\\0&1&\cdots &0&0\\\vdots &\vdots &\ddots &\vdots &\vdots \\0&0&\cdots &1&0\end{ matrizb}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
El determinante da la norma.
![{\displaystyle N_{\mathbb {Q} ({\sqrt[{p}]{a}})/\mathbb {Q} }({\sqrt[{p}]{a}})=(-1) ^{p-1}a=a.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Números complejos sobre reales
La norma de campo de los números complejos a los números reales envía
- x + iy
a
- x 2 + y 2 ,
porque el grupo de Galois de over tiene dos elementos,![{\displaystyle \mathbb {C} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {R} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- el elemento de identidad y
- conjugación compleja,
y tomando el producto se obtiene ( x + iy )( x − iy ) = x 2 + y 2 .
campos finitos
Sea L = GF( q n ) una extensión finita de un campo finito K = GF( q ).
Dado que L / K es una extensión de Galois , si α está en L , entonces la norma de α es el producto de todos los conjugados de Galois de α , es decir [3]
![{\displaystyle \operatorname {N} _{L/K}(\alpha )=\alpha \cdot \alpha ^{q}\cdot \alpha ^{q^{2}}\cdots \alpha ^{q^{ n-1}}=\alpha ^{(q^{n}-1)/(q-1)}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
En esta configuración tenemos las propiedades adicionales, [4]
![{\displaystyle \forall \alpha \in L,\quad \operatorname {N} _{L/K}(\alpha ^{q})=\operatorname {N} _{L/K}(\alpha )}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \forall a\in K,\quad \operatorname {N} _{L/K}(a)=a^{n}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Propiedades de la norma
Varias propiedades de la función norma son válidas para cualquier extensión finita. [5] [6]
Homomorfismo de grupo
La norma N L / K : L * → K * es un homomorfismo de grupo del grupo multiplicativo de L al grupo multiplicativo de K , es decir
![{\displaystyle \operatorname {N} _{L/K}(\alpha \beta )=\operatorname {N} _{L/K}(\alpha )\operatorname {N} _{L/K}(\beta ){\text{ para todos }}\alpha ,\beta \in L^{*}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Además, si a en K :
![{\displaystyle \operatorname {N} _{L/K}(a\alpha )=a^{[L:K]}\operatorname {N} _{L/K}(\alpha ){\text{ para todos }}\alfa \en L.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Si a ∈ K entonces![{\displaystyle \operatorname {N} _{L/K}(a)=a^{[L:K]}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Composición con extensiones de campo.
Además, la norma se comporta bien en torres de campos :
si M es una extensión finita de L , entonces la norma de M a K es simplemente la composición de la norma de M a L con la norma de L a K , es decir
![{\displaystyle \operatorname {N} _{M/K}=\operatorname {N} _{L/K}\circ \operatorname {N} _{M/L}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Reducción de la norma
La norma de un elemento en una extensión de campo arbitraria se puede reducir a un cálculo más sencillo si ya se conoce el grado de la extensión de campo . Esto es
[6]
Por ejemplo, en el campo extensión , la norma de es
![{\displaystyle L=\mathbb {Q} ({\sqrt {2}},\zeta _ {3}),K=\mathbb {Q} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \alpha }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\begin{aligned}N_{\mathbb {Q} ({\sqrt {2}},\zeta _ {3})/\mathbb {Q} }({\sqrt {2}})&= N_{\mathbb {Q} ({\sqrt {2}})/\mathbb {Q} }({\sqrt {2}})^{[\mathbb {Q} ({\sqrt {2}},\ zeta _{3}):\mathbb {Q} ({\sqrt {2}})]}\\&=(-2)^{2}\\&=4\end{aligned}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
ya que el grado de extensión del campo es .![{\displaystyle L/K(\alpha)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle 2}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Detección de unidades
Para el anillo de números enteros de un campo numérico algebraico , un elemento es una unidad si y sólo si .
![{\displaystyle K}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \alpha \in {\mathcal {O}}_{K}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle N_{K/\mathbb {Q} }(\alpha )=\pm 1}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Por ejemplo
![{\displaystyle N_{\mathbb {Q} (\zeta _{3})/\mathbb {Q} }(\zeta _{3})=1}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
dónde
.
Así, cualquier campo numérico cuyo anillo de números enteros contenga lo tiene como unidad.![{\displaystyle K}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {O}}_{K}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \zeta _{3}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Otras propiedades
La norma de un número entero algebraico es nuevamente un número entero, porque es igual (hasta el signo) al término constante del polinomio característico.
En la teoría algebraica de números también se definen normas para ideales . Esto se hace de tal manera que si I es un ideal distinto de cero de OK , el anillo de números enteros del campo numérico K , N ( I ) es el número de clases de residuos en, es decir, la cardinalidad de este anillo finito . Por tanto, esta norma ideal es siempre un número entero positivo. ![{\displaystyle O_{K}/I}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Cuando I es un ideal principal αO K entonces N ( I ) es igual al valor absoluto de la norma Q de α , para α un entero algebraico .
Ver también
Notas
- ^ Rotman 2002, pag. 940
- ^ Rotman 2002, pag. 943
- ^ Lidl y Niederreiter 1997, pág. 57
- ^ Mullen y Panario 2013, pag. 21
- ^ Romano 2006, pag. 151
- ^ ab Oggier. Introducción a la teoría algebraica de números (PDF) . pag. 15.
Referencias
- Lidl, Rudolf; Niederreiter, Harald (1997) [1983], Campos finitos , Enciclopedia de las matemáticas y sus aplicaciones, vol. 20 (Segunda ed.), Cambridge University Press , ISBN 0-521-39231-4, Zbl 0866.11069
- Mullen, Gary L.; Panario, Daniel (2013), Manual de campos finitos , CRC Press, ISBN 978-1-4398-7378-6
- Roman, Steven (2006), Teoría de campos , Textos de Posgrado en Matemáticas , vol. 158 (Segunda ed.), Springer, Capítulo 8, ISBN 978-0-387-27677-9, Zbl 1172.12001
- Rotman, Joseph J. (2002), Álgebra moderna avanzada , Prentice Hall, ISBN 978-0-13-087868-7