Canadian Mathematical Society
Canadian Mathematical Society
  location:  PublicationsjournalsCJM
Abstract view

Division Algebras of Prime Degree and Maximal Galois $p$-Extensions

 Printed: Jun 2007
  • J. Mináč
  • A. Wadsworth
Format:   HTML   LaTeX   MathJax   PDF   PostScript  


Let $p$ be an odd prime number, and let $F$ be a field of characteristic not $p$ and not containing the group $\mu_p$ of $p$-th roots of unity. We consider cyclic $p$-algebras over $F$ by descent from $L = F(\mu_p)$. We generalize a theorem of Albert by showing that if $\mu_{p^n} \subseteq L$, then a division algebra $D$ of degree $p^n$ over $F$ is a cyclic algebra if and only if there is $d\in D$ with $d^{p^n}\in F - F^p$. Let $F(p)$ be the maximal $p$-extension of $F$. We show that $F(p)$ has a noncyclic algebra of degree $p$ if and only if a certain eigencomponent of the $p$-torsion of $\Br(F(p)(\mu_p))$ is nontrivial. To get a better understanding of $F(p)$, we consider the valuations on $F(p)$ with residue characteristic not $p$, and determine what residue fields and value groups can occur. Our results support the conjecture that the $p$ torsion in $\Br(F(p))$ is always trivial.
MSC Classifications: 16K20 show english descriptions Finite-dimensional {For crossed products, see 16S35} 16K20 - Finite-dimensional {For crossed products, see 16S35}

© Canadian Mathematical Society, 2014 :