Degeneracy and decomposability in Abelian crossed products. (Q536193)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Degeneracy and decomposability in Abelian crossed products. |
scientific article |
Statements
Degeneracy and decomposability in Abelian crossed products. (English)
0 references
16 May 2011
0 references
Every central simple algebra decomposes as a tensor product of algebras of prime-power degree. Criteria for the decomposability of division algebras of prime-power degree, beyond the trivial fact that an algebra whose exponent is equal to the index is indecomposable, are not easy to obtain. Consider a central division algebra \(D\) of degree \(p^2\), containing a maximal subfield \(K\) which is Galois over the center with split Abelian Galois group. Such an algebra, called a crossed product, can be fully described by the field \(K\) and three constants, corresponding to the defining relations of the group. If \(\sigma_1,\sigma_2\) are automorphisms generating the Galois group, there are elements \(z_1\) and \(z_2\) whose conjugation induces \(\sigma_1\) and \(\sigma_2\) on \(K\). The commutator \(u=z_2z_1z_2^{-1}z_1^{-1}\) is an element of norm \(1\) in \(K\), controlling the decomposability of the algebra into a tensor product of cyclic algebras: if \(u=1\) then \(D=K^{\sigma_1}[z_2]\otimes K^{\sigma_2}[z_1]\), and such a decomposition, which is compatible with \(K\), is possible if and only if \(u\) has the form \(\sigma_1(a_1)a_1^{-1}\cdot\sigma_2(a_2)a_2^{-1}\) for some \(a_1,a_2\in K\), in which case \(u\) is \textit{degenerate}. This discussion extends to any degree \(p^n\). This paper provides an example of a crossed product of degree \(p^2\) with non-degenerate \(u\), which is nevertheless decomposable. Starting from a generic Abelian crossed product, this is done by extending scalars to the generic splitting field of its product with two cyclic algebras. The algebra thus becomes decomposable, but it retains enough of its generic features to have non-degenerate \(u\).
0 references
Brauer groups
0 references
indecomposable division algebras
0 references
Abelian crossed products
0 references
non-degenerate matrices
0 references
decomposition groups
0 references
central simple algebras
0 references
tensor products of algebras
0 references
0 references