trace map

Last modified date: <%+ tp.file.last_modified_date() %>



Summary

Let \(A\in {}_{k} \mathsf{Alg} ^{\mathrm{fd}}\) and let \([m_a]\) be the matrix of \(x\mapsto ax\) in a \(k{\hbox{-}}\)basis. The trace of \(a \in A\) is the trace of \(m_{a}\). The norm of \(a\) is the determinant of \(m_{a}\).

attachments/Pasted%20image%2020220830114611.png

attachments/Pasted%20image%2020221017005924.png

trace map

attachments/Pasted%20image%2020220417004143.png

attachments/Pasted%20image%2020220328100011.png

Relation to separable algebras: attachments/Pasted%20image%2020220417004200.png

norm map

attachments/Pasted%20image%2020220325232530.png attachments/Pasted%20image%2020220325232555.png

Results

  • \(a \in A^{\times} \text {if and only if } \mathrm{N}_{A / k}(a) \neq 0\).
  • Let \(M_a\) be the minimal polynnomial of \(a\in A\), then If \(D\) is a finite-dimensional \(k\)-division algebra, then for all \(a \in D\), \begin{align*} \chi_{a}=M_{a}^{\operatorname{deg}\left(\chi_{a}\right) \over \operatorname{deg}\left(M_{a}\right)}=M_{a}^{[D: k] \over [k[a]: k]} . \end{align*} Thus, \(\mathrm{N}_{D / k}(a)=(-1)^{[D: k]} M_{a}(0)^{[D: k] /[k[a]: k]}\).
  • \(\operatorname{Tr}_{K / k}(a)=\sum_{i} \sigma_{i}(a) \text { and } \mathrm{N}_{K / k}(a)=\prod_{i} \sigma_{i}(a)\).
  • For \(a \in \mathbf{F}_{q^{n}}\), \begin{align*} \operatorname{Tr}_{\mathbf{F}_{q^{n}} / \mathbf{F}_{q}}(a)=a+a^{q}+\cdots+a^{q^{n-1}} \text { and } \mathbf{N}_{\mathbf{F}_{q^{n}} / \mathbf{F}_{q}}(a)=a \cdot a^{q} \cdots a^{q^{n-1}} . \end{align*}

Examples

attachments/Pasted%20image%2020220609124324.png

attachments/Pasted%20image%2020220609124453.png

Links to this page
#homotopy/stable-homotopy/equivariant #todo/add-references