We show that division algebras do not always embed in crossed product division algebras, so the latter do not serve as ''Galois closures'' for division algebras. We construct decomposable noncrossed product division algebras of prime-power index over rational function fields and Laurent series field
Embedding Division Algebras in Crossed Products
β Scribed by Burton Fein; David J. Saltman; Murray Schacher
- Publisher
- Elsevier Science
- Year
- 1996
- Tongue
- English
- Weight
- 161 KB
- Volume
- 182
- Category
- Article
- ISSN
- 0021-8693
No coin nor oath required. For personal study only.
β¦ Synopsis
Let F be an arbitrary field and let D be a division algebra having center F which is finite dimensional over F. In general, there need not exist a maximal subfield E of D which is Galois over F. If such an E exists, we Ε½ call D a crossed product or G G-crossed product if G G is the Galois group of . E over F ; if no such E exists, we call D a noncrossed product. There are three primary examples of noncrossed product division algebras in the w x literature; these are the generic division algebras of Amitsur A , the w x w x JacobαWadsworth examples JW , and the examples of Brussel B1 . Rew x cently, Brussel B2 proved that certain of his noncrossed products cannot be embedded in crossed product division algebras with the same center. Ε½We have also been informed by Adrian Wadsworth that the noncrossed w x . products of JW can be modified to have the same property. This raises
π SIMILAR VOLUMES
We investigate the problem of explicitly constructing non-cyclic free groups in finite-dimensional crossed products using valuation criteria. The results are applied to produce explicit free groups in division algebras generated by nilpotent groups, and symmetric free groups in group rings of finite
## Abstract The paper presents an explicit example of a noncrossed product division algebra of index and exponent 8 over the field β(__s__)(__t__). It is an iterated twisted function field in two variables __D__(__x, Ο__)(__y, Ο__ ) over a quaternion division algebra __D__ which is defined over the