An explicit example of a noncrossed product division algebra
computational algebraic number theoryextensions of automorphismsiterated twisted function fieldsnoncommutative valuationsnoncrossed productsrelative norm equationsskew Laurent seriesskew polynomialstwisted Laurent seriestwisted polynomials
Quaternion and other division algebras: arithmetic, zeta functions (11R52) Algebraic number theory computations (11Y40) Finite-dimensional division rings (16K20) Twisted and skew group rings, crossed products (16S35) Valuations, completions, formal power series and related constructions (associative rings and algebras) (16W60)
This carefully written paper gives an explicit description of a division algebra of degree \(8\) which is not a crossed product, i.e., which does not contain any maximal subfield that is a Galois extension of the center. In 1972, \textit{S. A. Amitsur} showed that generic division algebras are not crossed products if their degree is divisible by 8 or by the square of an odd prime [Isr. J. Math. 12, 408-420 (1972; Zbl 0248.16006)]. Subsequently, other noncrossed product division algebras were obtained by \textit{B. Jacob} and \textit{A. R. Wadsworth} [Trans. Am. Math. Soc. 293, 693-721 (1986; Zbl 0597.16016)] and by \textit{E. Brussel} [Am. J. Math. 117, No. 2, 377-393 (1995; Zbl 0822.16013)]. The present construction has the distinctive features that it is direct and very explicit, and that the center is simply the field of rational functions in two indeterminates over \(\mathbb{Q}\). The author defines two outer automorphisms \(\sigma\), \(\tau\) of the quaternion algebra \(D=(3+\sqrt 3,(-7+\sqrt{-7})/2)_K\) over \(K=\mathbb{Q}(\sqrt 3,\sqrt{-7})\) and considers a division algebra of twisted rational functions in two variables \(D(x;\sigma)(y;\tau)\). He shows that this division algebra is not a crossed product by relating its maximal subfields to the maximal subfields of \(D\). The crucial property is that \(D\) does not contain any maximal subfield that is Galois over \(\mathbb{Q}\). In the last section, the exponent of the noncrossed product is shown to be 8.
- Non-crossed products over function fields
- Valuated division algebras and crossed products
- Division algebras not embeddable in crossed products
- Embedding division algebras in crossed products
- A twisted Laurent series ring that is a noncrossed product.
- Galois subfields of inertially split division algebras.
- High-rate space-time block codes from twisted Laurent series rings
- Mal'cev-Neumann rings and noncrossed product division algebras.
- Noncrossed product bounds over Henselian fields.
- Wang counterexamples lead to noncrossed products
- Noncrossed Products and Nonabelian Crossed Products Over ℚ(T) and ℚ((T))
- The location of noncrossed products in Brauer groups of Laurent series fields over global fields.
- Indecomposable and noncrossed product division algebras over function fields of smooth \(p\)-adic curves.
- Splitting fields of \(G\)-varieties.
- Specialization and rigidity
- On absolute Galois splitting fields of central simple algebras
This page was built for publication: An explicit example of a noncrossed product division algebra
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4812391)
