\(\mathbb Z_3 \times\mathbb Z_3\) crossed products. (Q406343): Difference between revisions
From MaRDI portal
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 / name | links / 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
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
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
0 references