On the corestriction of \(p^ n\)-symbol
type: Item
instance of: scholarly article
title: On the corestriction of \(p^ n\)-symbol
zbMATH Open document ID: 0778.12003
DOI: 10.1007/BF02782844
published in: Israel Journal of Mathematics
publication date: 1992-12-09T00:00:00Z
review text: Let \(F\) be a field of characteristic \(p \neq 0\) and let \(W_ n(F)\) denote the group of truncated Witt vectors of length \(n\) over \(F\). A \(p^ n\)- symbol over \(F\) is a central simple \(F\)-algebra of degree \(p^ n\) generated by elements \(\theta_ 1,\ldots, \theta_ n, u\) subject to the relations: \(u^{p^ n}=a\), \(\theta^ p-\theta=\omega\) and \(u\theta u^{-1}= \theta+1\), where \(a \in F^ \times\), \(\omega \in W_ n(F)\) and \(\theta=(\theta_ 1,\ldots, \theta_ n) \in W_ n(F(\theta_ 1,\ldots,\theta_ n))\). According to a result of Witt every cyclic algebra of degree \(p^ n\) over \(F\) is a \(p^ n\)-symbol. On the other hand, it follows from classical work of Albert and Teichmüller that every central simple \(F\)-algebra of exponent \(p^ e\) is Brauer- equivalent to a tensor product of \(p^ e\)-symbols. The purpose of the present paper is to give an upper bound for the number of factors in the decomposition of the Brauer class of certain central simple \(F\)-algebras of index \(p^ n\). If \(L/F\) is a finite separable extension of degree \(r\), it is shown that the corestriction of every \(p^ n\)-symbol over \(L\) is Brauer-equivalent to a tensor product of at most \(r\) \(p^ n\)-symbols over \(F\). An example is given to show that this bound is sharp. Using this result, the authors also show that cyclic \(F\)- algebras of degree \(p^ n\) and exponent \(p^ e\) are Brauer-equivalent to tensor products of \(p^ e\)-symbols with at most \(p^{n-e}\) factors.
Mathematics Subject Classification ID: 12E15
Mathematics Subject Classification ID: 16K20
zbMATH DE Number: 78194
zbMATH Keywords: Brauer group
zbMATH Keywords: \(p\)-algebras
zbMATH Keywords: Witt vectors
zbMATH Keywords: corestriction
author: Pasquale Mammone
author: Alexander Merkurjev
reviewed by: Jean-Pierre Tignol
MaRDI profile type: Publication
cites work: Q5777227
cites work: Q5328221
cites work: Q3963168
cites work: Sur la corestriction des p-symboles
cites work: Q4040049
cites work: A reciprocity law for \(K_2\)-traces
cites work: Q5509718
cites work: Q5760706
cites work: Relations between \(K_2\) and Galois cohomology
cites work: Cyclic Algebras of Small Exponent
cites work: Q5587110
full work available at URL: https://doi.org/10.1007/bf02782844
OpenAlex ID: W2086069352
description: scientific article; zbMATH DE number 78194