On additive commutator groups in division rings (Q1384120)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On additive commutator groups in division rings |
scientific article |
Statements
On additive commutator groups in division rings (English)
0 references
7 September 1998
0 references
Let \(D\) be a division ring with centre \(F\). The authors study algebraicity of \(D/F\) in terms of \([D,D]\), the additive group generated by the additive commutators. If \(D\) is finite-dimensional over \(F\), the reduced trace shows that \(D/[D,D]\) is an \(F\)-space of dimension at most one. In characteristic zero this is also shown to hold when \(D\) is algebraic over \(F\). Next, the authors prove the following generalization of Jacobson's theorem [cf. \textit{N. Jacobson}, Ann. Math., II. Ser. 46, 695-707 (1945; Zbl 0060.07501)]: If for any \(x,y\in D\), \(xy-yx\) is algebraic of degree at most \(n\) (where \(n\) is fixed), then \([D:F]\leq(n+1)^4/4\). They conjecture that here the last bound may be replaced by \(n^2\). The rest of the paper brings a number of special results on separable subfields and primitive elements. Sample: If \(K\) is a finite separable extension of \(F\) in \(D\) without a primitive element in \([D,D]\), then \(K\) has exactly one maximal subfield lying in \([D,D]\).
0 references
division rings
0 references
centre
0 references
algebraicity
0 references
additive commutators
0 references
reduced traces
0 references
Jacobson's theorem
0 references
separable subfields
0 references
primitive elements
0 references
maximal subfields
0 references