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

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
ReferenceBot (talk | contribs)
Changed an Item
(5 intermediate revisions by 4 users not shown)
Property / review text
 
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\).
Property / review text: 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\). / rank
 
Normal rank
Property / reviewed by
 
Property / reviewed by: Uzi Vishne / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 16K20 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 16S35 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 16K50 / rank
 
Normal rank
Property / zbMATH DE Number
 
Property / zbMATH DE Number: 6341132 / rank
 
Normal rank
Property / zbMATH Keywords
 
Abelian crossed products
Property / zbMATH Keywords: Abelian crossed products / rank
 
Normal rank
Property / zbMATH Keywords
 
central simple algebras
Property / zbMATH Keywords: central simple algebras / rank
 
Normal rank
Property / zbMATH Keywords
 
symbol lengths
Property / zbMATH Keywords: symbol lengths / rank
 
Normal rank
Property / zbMATH Keywords
 
essential \(p\)-dimension
Property / zbMATH Keywords: essential \(p\)-dimension / rank
 
Normal rank
Property / zbMATH Keywords
 
symbol algebras
Property / zbMATH Keywords: symbol algebras / rank
 
Normal rank
Property / zbMATH Keywords
 
Brauer groups
Property / zbMATH Keywords: Brauer groups / rank
 
Normal rank
Property / zbMATH Keywords
 
tensor products of cyclic algebras
Property / zbMATH Keywords: tensor products of cyclic algebras / rank
 
Normal rank
Property / zbMATH Keywords
 
division algebras
Property / zbMATH Keywords: division algebras / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
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
links / mardi / namelinks / mardi / name
 

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