The corestriction of valued division algebras over Henselian fields. I (Q1919861): Difference between revisions
From MaRDI portal
Changed an Item |
Set OpenAlex properties. |
||
(One intermediate revision by one other user not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.2140/pjm.1995.170.53 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1584978784 / rank | |||
Normal rank |
Latest revision as of 22:32, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The corestriction of valued division algebras over Henselian fields. I |
scientific article |
Statements
The corestriction of valued division algebras over Henselian fields. I (English)
0 references
27 January 1997
0 references
The author's aim is to gain a better understanding of the corestriction of algebras by studying the case of valued division algebras over Henselian valued fields. Let \(F\) be a Henselian valued field; the author first considers \(F\)-central division algebras that are inertially split i.e. split by an unramified extension of \(F\). He proves Theorem 2.4. Let \((L,v)\supseteq (F,v)\) be a finite inertial extension of Henselian fields, let \(D\) be an inertially split \(L\)-central division algebra and \(C\) the division algebra component of \(\text{cor}_{L/F}D\). Then \(C\) is an inertially split central \(F\)-algebra, whose value group is contained in that of \(D\). Further, denote residue-class (skew) fields by a bar; then the centre of \(\overline{C}\) is contained in the normal closure of the centre of \(\overline{D}\) over \(\overline{F}\) and if \(D\) is inertial over \(L\), then \(C\) is inertial over \(F\) and \(\overline{C}\) is similar to \(\text{cor}_{\overline{L}/\overline{F}}(\overline D)\) in \(\text{Br}(\overline{F})\). Thus if \(D\) is tame over \(L\), then \(C\) is tame over \(F\). Turning to the ramified case and denoting by \(\Gamma_D\) the value group of \(D\), the author shows that when \(D\) is tamely totally ramified over \(L\), then \(\Gamma_C \subseteq \Gamma_D\) (when \(L/F\) is a finite separable inertial extension of Henselian fields), and the centre of \(\overline {C}\) is contained in \(\overline{F}\bigl(N_{\overline{L}/\overline{F}}(\overline{L})^{1/d}\bigr)\), where \(d\) is the highest common factor of \([L:F]\) and \(\text{exp}(\Gamma_D/\Gamma_L)\). By a further analysis he shows that when \(D\) is tame over \(L\) then \(\Gamma_C\subseteq\Gamma_D\) and the centre of \(\overline C\) is contained in the normal closure of the centre of \(\overline D\) over \(\overline F\) raised to the power \(1/k\), where \(k\) is a positive integer which depends on the roots of unity in \(F\). The final result gives a somewhat complicated general relation between the centres of \(\overline D\) and \(\overline C\) in the tame case (for an inertial extension \(F/L\)) which in some respects is best possible, as is shown by an example.
0 references
central algebras
0 references
corestrictions of algebras
0 references
valued division algebras over Henselian valued fields
0 references
inertial extensions of Henselian fields
0 references
finite separable inertial extensions
0 references
centre
0 references