title: Norma de un cuerpo
text: # Norma de un cuerpo
  
  En matemáticas, la norma de un cuerpo es una aplicación particular definida en teoría de cuerpos, que hace corresponder elementos de un cuerpo más grande en un subcuerpo.
  
  # Norma de un cuerpo
  ## Definición formal
  
  Sea K un cuerpo y L una extensión finita (y por lo tanto, una extensión algebraica) de K.
  El cuerpo L es entonces un espacio vectorial de dimensión finita sobre K.
  La multiplicación por α, un elemento de L,
      $m_{\alpha }\colon L\to L$
      $m_{\alpha }(x)=\alpha x$,
  es una K-aplicación lineal de este espacio vectorial sobre sí mismo.
  La norma, N$_{L/K}$(α), se define como el determinante de esta aplicación lineal.
  Si L/K es una extensión de Galois, se puede calcular la norma de α ∈ L como el producto de todos los elementos conjugados de α:
      $\operatorname {N} _{L/K}(\alpha )=\prod _{\sigma \in \operatorname {Gal} (L/K)}\sigma (\alpha ),$
  donde Gal(L/K) denota el grupo de Galois de L/K. (téngase en cuenta que puede haber una repetición en los términos del producto)
  Para una extensión de cuerpos general L/K, y α distinto de cero en L,
  sean σ$_1$(α), ..., σ$_n$(α) las raíces del polinomio mínimo de α sobre K (las raíces enumeradas con multiplicidad se encuentran en algunos cuerpos de extensión de L); luego
      $\operatorname {N} _{L/K}(\alpha )=\left(\prod _{j=1}^{n}\sigma _{j}(\alpha )\right)^{[L:K(\alpha )]}$.
  Si L/K es separable, entonces cada raíz aparece solo una vez en el producto (aunque el exponente, el grado [L: K (α)], todavía puede ser mayor que 1).
  
  # Norma de un cuerpo
  ## Ejemplos
  ### Extensiones de cuerpo cuadráticas
  
  Uno de los ejemplos básicos de normas proviene de las extensiones de un cuerpo cuadrático $\mathbb {Q} ({\sqrt {a}})/\mathbb {Q}$ donde $a$ es un número entero libre de cuadrados.
  Entonces, la aplicación de multiplicar por ${\sqrt {a}}$ un elemento $x+y\cdot {\sqrt {a}}$ es
      ${\sqrt {a}}\cdot (x+y\cdot {\sqrt {a}})=y\cdot a+x\cdot {\sqrt {a}}.$
  El elemento $x+y\cdot {\sqrt {a}}$ se puede representar mediante el vector
      ${\begin{bmatrix}x\\y\end{bmatrix}},$
  ya que existe una descomposición de suma directa $\mathbb {Q} ({\sqrt {a}})=\mathbb {Q} \oplus \mathbb {Q} \cdot {\sqrt {a}}$ como un espacio vectorial $\mathbb {Q}$.
  La matriz de $m_{\sqrt {a}}$ es entonces
      $m_{\sqrt {a}}={\begin{bmatrix}0&a\\1&0\end{bmatrix}}$
  y la norma es $N_{\mathbb {Q} ({\sqrt {a}})/\mathbb {Q} }=-a$, ya que es el determinante de esta matriz.
  
  # Norma de un cuerpo
  ## Ejemplos
  ### Extensiones de cuerpo cuadráticas
  #### Norma de Q(√2)
  
  En este ejemplo, la norma es el cuadrado de la norma habitual de distancia euclídea en $\mathbb {C}$.
  En general, la norma de un cuerpo es muy diferente a la norma de distancia usual.
  Este hecho se puede ilustrar con un ejemplo donde la norma del cuerpo puede ser negativa.
  Considérese el cuerpo de números algebraicos $K=\mathbb {Q} ({\sqrt {2}})$.
  El grupo de Galois de $K$ sobre $\mathbb {Q}$ tiene orden $d=2$ y es generado por el elemento que aplica ${\sqrt {2}}$ sobre $-{\sqrt {2}}$.
  Entonces la norma de $1+{\sqrt {2}}$ es:
      $(1+{\sqrt {2}})(1-{\sqrt {2}})=-1.$
  La norma de un cuerpo también se puede obtener sin el grupo de Galois.
  Dispóngase una base $\mathbb {Q}$ de $\mathbb {Q} ({\sqrt {2}})$, tal que:
      $\{1,{\sqrt {2}}\}$.
  Entonces, se define la multiplicación por el número que aplica $1+{\sqrt {2}}$
      1 a $1+{\sqrt {2}}$ y
      ${\sqrt {2}}$ a $2+{\sqrt {2}}$.
  Entonces el determinante de multiplicar por $1+{\sqrt {2}}$ es el determinante de la matriz que envía el vector
      ${\begin{bmatrix}1\\0\end{bmatrix}}$ (correspondiente al primer elemento base, es decir, 1) a ${\begin{bmatrix}1\\1\end{bmatrix}}$,
      ${\begin{bmatrix}0\\1\end{bmatrix}}$ (correspondiente al segundo elemento base, es decir, ${\sqrt {2}}$) a ${\begin{bmatrix}2\\1\end{bmatrix}}$,
  En consecuencia:
      ${\begin{bmatrix}1&2\\1&1\end{bmatrix}}.$
  El determinante de esta matriz es −1.
  
  # Norma de un cuerpo
  ## Ejemplos
  ### K-ésima raíz de las extensiones de un cuerpo
  
  Otra clase fácil de ejemplos proviene de la extensión de cuerposs de la forma $\mathbb {Q} ({\sqrt[{p}]{a}})/\mathbb {Q}$ donde la factorización prima de $a\in \mathbb {Q}$ no contiene potencias $p$-th.
  La aplicación de la multiplicación por ${\sqrt[{p}]{a}}$ de un elemento es
     ${\begin{aligned}m_{\sqrt[{p}]{a}}(x)&={\sqrt[{p}]{a}}\cdot (a_{1}+a_{2}{\sqrt[{p}]{a}}+a_{3}{\sqrt[{p}]{a^{2}}}+\cdots +a_{p-1}{\sqrt[{p}]{a^{p-1}}})\\&=a_{1}{\sqrt[{p}]{a}}+a_{2}{\sqrt[{p}]{a^{2}}}+a_{3}{\sqrt[{p}]{a^{3}}}+\cdots +a_{p-1}a\end{aligned}}$
  dando la matriz
     ${\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{bmatrix}}$
  El determinante proporciona la norma
      $N_{\mathbb {Q} ({\sqrt[{p}]{a}})/\mathbb {Q} }({\sqrt[{p}]{a}})=(-1)^{p-1}a=a.$
  
  # Norma de un cuerpo
  ## Ejemplos
  ### Números complejos sobre los reales
  
  La norma de cuerpo de los números complejos sobre los números reales hace corresponder a
      x + iy
  el número real
      x$^2$ + y$^2$,
  porque el grupo de Galois de $\mathbb {C}$ sobre $\mathbb {R}$ tiene dos elementos,
  * El elemento de identidad y
  * La conjugación compleja
  Tomando el producto se obtiene (x + iy)(x − iy) = x$^2$ + y$^2$.
  
  # Norma de un cuerpo
  ## Ejemplos
  ### Cuerpos finitos
  
  Sea L = GF(q$^n$) una extensión finita de un cuerpo 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 elementos conjugados de α, es decir
      $\operatorname {N} _{L/K}(\alpha )=\alpha \cdot \alpha ^{q}\cdot \alpha ^{q^{2}}\cdots \alpha ^{q^{n-1}}=\alpha ^{(q^{n}-1)/(q-1)}.$
  En este entorno se dispone de las propiedades adicionales,
  * $\forall \alpha \in L,\quad \operatorname {N} _{L/K}(\alpha ^{q})=\operatorname {N} _{L/K}(\alpha )$
  * $\forall a\in K,\quad \operatorname {N} _{L/K}(a)=a^{n}.$
  
  # Norma de un cuerpo
  ## Propiedades de la norma
  
  Varias propiedades de la función norma son válidas para cualquier extensión finita.
  
  # Norma de un cuerpo
  ## Propiedades de la norma
  ### Homomorfismo de grupo
  
  La norma N$_{L/K}$: L*→K* es un homomorfismo de grupos del grupo multiplicativo de L sobre el grupo multiplicativo de K, es decir
      $\operatorname {N} _{L/K}(\alpha \beta )=\operatorname {N} _{L/K}(\alpha )\operatorname {N} _{L/K}(\beta ){\text{ for all }}\alpha ,\beta \in L^{*}.$
  Además, si a en K:
      $\operatorname {N} _{L/K}(a\alpha )=a^{[L:K]}\operatorname {N} _{L/K}(\alpha ){\text{ for all }}\alpha \in L.$
  Si a ∈ K entonces $\operatorname {N} _{L/K}(a)=a^{[L:K]}.$
  
  # Norma de un cuerpo
  ## Propiedades de la norma
  ### Composición con extensiones de cuerpo
  
  Además, la norma se comporta bien en torres de cuerpos:
  si M es una extensión finita de L, entonces la norma de M sobre K es solo la composición de la norma de M sobre L con la norma de L sobre K, es decir
      $\operatorname {N} _{M/K}=\operatorname {N} _{L/K}\circ \operatorname {N} _{M/L}.$
  
  # Norma de un cuerpo
  ## Propiedades de la norma
  ### Reducción de la norma
  
  La norma de un elemento en una extensión de cuerpos arbitraria se puede reducir a un cálculo más sencillo si ya se conoce el grado de la extensión de cuerpos. Esto es
     $N_{L/K}(\alpha )=N_{K(\alpha )/K}(\alpha )^{[L:K(\alpha )]}$
  Por ejemplo, para $\alpha ={\sqrt {2}}$ en una extensión de cuerpos $L=\mathbb {Q} ({\sqrt {2}},\zeta _{3}),K=\mathbb {Q}$, la norma de $\alpha$ es
     ${\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}}$
  ya que el grado de la extensión de cuerpos $L/K(\alpha )$ es $2$.
  
  # Norma de un cuerpo
  ## Propiedades de la norma
  ### Detección de unidades
  
  Un elemento $\alpha \in {\mathcal {O}}_{K}$ es una unidad si y solo si $N_{K/\mathbb {Q} }(\alpha )=\pm 1$.
  Por ejemplo
      $N_{\mathbb {Q} (\zeta _{3})/\mathbb {Q} }(\zeta _{3})=1$
  donde
      $\zeta _{3}^{3}=1$.
  Entonces, cualquier cuerpo numérico ${\mathcal {O}}_{K}$ que contenga $\zeta _{3}$ lo tiene como una unidad.
  
  # Norma de un cuerpo
  ## Otras propiedades
  
  La norma de un número entero algebraico es nuevamente un número entero, porque es igual (salvo el signo) al término constante del polinomio característico.
  En teoría de números algebraicos se definen también normas para los ideales.
  Esto se hace de tal manera que si I es un ideal distinto de cero de O$_K$, el anillo de los números enteros del cuerpo de números algebraicos K, N(I) es el número de clases de residuos en $O_{K}/I$ es decir, la cardinalidad de este anillo finito.
  Por lo tanto, esta norma de un ideal es siempre un número entero positivo.
  Cuando I es un ideal principal αO$_K$, entonces N(I) es igual al valor absoluto de la norma sobre Q de α, siendo α un número entero algebraico.