\(\mathbb Z_3 \times\mathbb Z_3\) crossed products. (Q406343): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
(2 intermediate revisions by 2 users not shown)
Property / OpenAlex ID
 
Property / OpenAlex ID: W178981346 / rank
 
Normal rank
Property / arXiv ID
 
Property / arXiv ID: 1402.0328 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Generic Abelian crossed products and \(p\)-algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the symbol length of -algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5484519 / rank
 
Normal rank
Property / cites work
 
Property / cites work: FIELDS OF DEFINITION FOR DIVISION ALGEBRAS / rank
 
Normal rank
Property / cites work
 
Property / cites work: Isotropic subspaces in symmetric composition algebras and Kummer subspaces in central simple algebras of degree 3 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Essential 𝑝-dimension of 𝐏𝐆𝐋(𝐩²) / rank
 
Normal rank
Property / cites work
 
Property / cites work: The chain lemma for Kummer elements of degree 3 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Prime to \(p\) extensions of division algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Cyclic Algebras of Small Exponent / rank
 
Normal rank
Property / cites work
 
Property / cites work: Corps a Involution Neutralises par une Extension Abelienne Elementaire / rank
 
Normal rank

Revision as of 00:09, 9 July 2024

scientific article
Language Label Description Also known as
English
\(\mathbb Z_3 \times\mathbb Z_3\) crossed products.
scientific article

    Statements

    \(\mathbb Z_3 \times\mathbb Z_3\) crossed products. (English)
    0 references
    0 references
    8 September 2014
    0 references
    Let \(F\) be a field containing the roots of unity of order \(e\). Merkurjev and Suslin proved that any central simple algebra \(A\) of exponent \(e\) over \(F\) is similar, in the Brauer group, to a tensor product of cyclic algebras of degree \(e\). However, the ``symbol length'' of \(A\), namely the number of cyclic algebras in such a presentation, is not known. The author has recently established an upper bound depending on the essential dimension, [see \textit{E. Matzri}, ``Symbol length in the Brauer group of a field'', Trans. Am. Math. Soc. (to appear; \url{arxiv:1402.0332})]. The goal of this paper is to bound the symbol length of algebras of degree \(9\). Recall that an algebra is a crossed product if it has a maximal subfield Galois over \(F\). The main results are as follows. (1) The symbol length of a crossed product of degree \(9\) is at most \(4\). This is based on an explicit presentation of the algebra as a product of \(3\) cyclic algebras after a quadratic extension, and taking the corestriction down to the base field. Incidentally this result proves that the essential \(3\)-dimension for division algebras of degree \(9\) is \(\text{edc}_3(A)\leq 6\). (2) The symbol length of a crossed product of degree \(9\) and exponent \(3\) is at most \(31\). The bound has gone up, since now only cyclic algebras of degree \(3\) are allowed. The proof here uses the above presentation, a slot lemma for algebras of degree \(3\), and a theorem of Tignol that the symbol length of cyclic algebras of degree \(9\) and exponent \(3\) is at most \(3\). (3) The symbol length for any algebra of degree \(9\) is at most \(8m\), where \(m=4480\) is the index of the \(3\)-Sylow subgroup of \(S_9\). And in exponent \(3\), the symbol length is at most \(62m=277760\). This is proved by a prime-to-\(3\) scalar extension to obtain a crossed product, and taking the corestriction back to \(F\).
    0 references
    0 references
    Abelian crossed products
    0 references
    central simple algebras
    0 references
    symbol lengths
    0 references
    essential \(p\)-dimension
    0 references
    symbol algebras
    0 references
    Brauer groups
    0 references
    tensor products of cyclic algebras
    0 references
    division algebras
    0 references

    Identifiers