Traza de un cuerpo

Sea K un cuerpo y L una extensión finita (y por lo tanto, una extensión algebraica) de K. L puede verse como un espacio vectorial sobre K. La multiplicación por α, un elemento de L,

${\displaystyle m_{\alpha }:L\to L{\text{ dado por }}m_{\alpha }(x)=\alpha x}$,

es una K-aplicación lineal de este espacio vectorial sobre sí mismo. La traza, Tr_L/K(α), se define como la traza (en álgebra lineal) de esta transformación lineal.[1]

Para α en L, sean σ₁(α), ..., σ_n (α) las raíces (contadas con multiplicidad) del polinomio mínimo de α sobre K (en alguna extensión del cuerpo K), entonces

${\displaystyle \operatorname {Tr} _{L/K}(\alpha )=[L:K(\alpha )]\sum _{j=1}^{n}\sigma _{j}(\alpha )}$.

Si L/K es separable, entonces cada raíz aparece solo una vez[2] (sin embargo, esto no significa que el coeficiente anterior sea uno; por ejemplo, si α es el elemento de identidad 1 de K, entonces la traza es [L:K] multiplicado por 1).

Más particularmente, si L/K es una extensión de Galois y α está en L, entonces la traza de α es la suma de todos los elementos conjugados de α,[1] es decir,

${\displaystyle \operatorname {Tr} _{L/K}(\alpha )=\sum _{\sigma \in \operatorname {Gal} (L/K)}\sigma (\alpha ),}$

donde Gal (L / K) denota el Grupo de Galois de L / K.

Sea ${\displaystyle L=\mathbb {Q} ({\sqrt {d}})}$ una extensión cuadrática de ${\displaystyle \mathbb {Q} }$. Entonces, una base de ${\displaystyle L/\mathbb {Q} {\text{ es }}\{1,{\sqrt {d}}\}.}$ Si ${\displaystyle \alpha =a+b{\sqrt {d}}}$ entonces la matriz de ${\displaystyle m_{\alpha }}$ es:

${\displaystyle \left[{\begin{matrix}a&bd\\b&a\end{matrix}}\right]}$,

y entonces, ${\displaystyle \operatorname {Tr} _{L/\mathbb {Q} }(\alpha )=[L:\mathbb {Q} (\alpha )]\left(\sigma _{1}(\alpha )+\sigma _{2}(\alpha )\right)=1\times \left(\sigma _{1}(\alpha )+{\overline {\sigma _{1}}}(\alpha )\right)=a+b{\sqrt {d}}+a-b{\sqrt {d}}=2a}$.[1] El polinomio mínimo de α es X² − 2a X + a² − d b².

Varias propiedades de la función traza son válidas para cualquier extensión finita.[3]

La traza Tr _L/K : L → K es una K-aplicación lineal (un K-funcional lineal), es decir

${\displaystyle \operatorname {Tr} _{L/K}(\alpha a+\beta b)=\alpha \operatorname {Tr} _{L/K}(a)+\beta \operatorname {Tr} _{L/K}(b){\text{ para todo }}\alpha ,\beta \in K}$.

Si α ∈ K entonces ${\displaystyle \operatorname {Tr} _{L/K}(\alpha )=[L:K]\alpha .}$

Además, la traza se comporta bien en torres de cuerpos: si M es una extensión finita de L, entonces la traza de M sobre K es solo la composición de la traza de M sobre L con la traza de L sobre K, es decir

${\displaystyle \operatorname {Tr} _{M/K}=\operatorname {Tr} _{L/K}\circ \operatorname {Tr} _{M/L}}$.

Sea L = GF (qⁿ) 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 traza de α es la suma de todos los elementos conjugados de α, es decir,[4]

${\displaystyle \operatorname {Tr} _{L/K}(\alpha )=\alpha +\alpha ^{q}+\cdots +\alpha ^{q^{n-1}}}$.

En este entorno se cuenta con las propiedades adicionales:[5]

• ${\displaystyle \operatorname {Tr} _{L/K}(a^{q})=\operatorname {Tr} _{L/K}(a){\text{ para }}a\in L}$.
• Para cualquier ${\displaystyle \alpha \in K}$, hay exactamente ${\displaystyle q^{n-1}}$ elementos ${\displaystyle b\in L}$ con ${\displaystyle \operatorname {Tr} _{L/K}(b)=\alpha }$.

Teorema.[6] Para b ∈ L, sea F_b la aplicación ${\displaystyle a\mapsto \operatorname {Tr} _{L/K}(ba).}$ Entonces F_b ≠ F_c si b ≠ c. Además, las K-transformaciones lineales de L sobre K son exactamente las aplicaciones de la forma F_b, ya que b varía sobre el cuerpo L.

Cuando K es el subcuerpo principal de L, la traza se denomina traza absoluta y, de lo contrario, es una traza relativa.[4]

Cuando L/K es separable, la traza proporciona una dualidad a través de la forma de traza: la aplicación de L × L sobre K haciendo corresponder (x, y) sobre Tr_L/K (xy) es una forma bilineal no degenerada y simétrica, denominada forma de traza. Si L/K es una extensión de Galois, la forma de traza es invariante con respecto al grupo de Galois.

La forma de traza se utiliza en teoría de números algebraicos, concretamente en la teoría del ideal diferente.

Para una extensión de cuerpo de grado finito L/K, la forma de traza tiene signatura no negativa para cualquier cuerpo ordenado de K.[8] Lo contrario, que cada clase de equivalencia de Witt con signatura no negativa contiene una forma de traza, es cierto para los cuerpos numéricos algebraicos K.[8]

Si L/K es una extensión separable, entonces la forma de traza es idénticamente 0.[9]

• Norma de un cuerpo
• Álgebra simple central

• Hirschfeld, J.W.P. (1979), Projective Geometries over Finite Fields, Oxford Mathematical Monographs, Oxford University Press, ISBN 0-19-853526-0, (requiere registro).
• Isaacs, I.M. (1994), Algebra, A Graduate Course, Brooks/Cole Publishing.
• Lidl, Rudolf; Niederreiter, Harald (1997) [1983], Finite Fields, Encyclopedia of Mathematics and its Applications 20 (Second edición), Cambridge University Press, ISBN 0-521-39231-4, Zbl 0866.11069, (requiere registro).
• Lorenz, Falko (2008). Algebra. Volume II: Fields with Structure, Algebras and Advanced Topics. Springer. ISBN 978-0-387-72487-4. Zbl 1130.12001.
• Mullen, Gary L.; Panario, Daniel (2013), Handbook of Finite Fields, CRC Press, ISBN 978-1-4398-7378-6.
• Roman, Steven (2006), Field theory, Graduate Texts in Mathematics 158 (Second edición), Springer, Chapter 8, ISBN 978-0-387-27677-9, Zbl 1172.12001.
• Rotman, Joseph J. (2002), Advanced Modern Algebra, Prentice Hall, ISBN 978-0-13-087868-7.

• Conner, P.E.; Perlis, R. (1984). A Survey of Trace Forms of Algebraic Number Fields. Series in Pure Mathematics 2. World Scientific. ISBN 9971-966-05-0. Zbl 0551.10017.
• Sección VI.5 de Lang, Serge (2002). Algebra, Graduate Texts in Mathematics. New York: Springer-Verlag. p. 211 (Revised third ed.). ISBN 978-0-387-95385-4. MR 1878556. Zbl 0984.00001.

• Portal:Matemáticas. Contenido relacionado con Matemáticas.