Commutator products in skew Laurent series division rings
Hau-Yuan Jang, Wen-Fong Ke
TL;DR
This paper proves that every element of the skew Laurent series division ring $D=k(\!(\sigma;x)\!)$ over a field, with nontrivial automorphism $\sigma$, can be written as a product of two commutators, answering a question of Gardella–Thiel for this class. The proof proceeds by a case analysis on the order of $\sigma$, employing reduced-trace criteria when $|\langle\sigma\rangle|=2$ or $3$, exploiting the structure of $D$ as a cyclic division algebra, and then handling $|\langle\sigma\rangle|\ge5$ and the order-4 case via a sequence of commutator identities and basis arguments (including a normal-basis theorem in the finite-order setting). Key contributions include a constructive decomposition of any $f\in D$ as a product of two commutators and the development of lemmas based on the $\sigma$-degree $\deg_{\sigma}(\cdot)$ and commutator tricks. The results deepen the understanding of commutator structure in noncommutative division rings and illustrate how skew Laurent division rings behave similarly to central simple algebras in allowing product decompositions of arbitrary elements.
Abstract
In 1965, Baxter established that a simple ring is either a field or that every one of its elements can be expressed as a sum of products of commutator pairs. In a recent paper, Gardella and Thiel demonstrated that every element in a noncommutative division ring can be represented as the sum of just two products of two commutators. They further posed the question of whether every element in a noncommutative division ring can be represented as the product of two commutators. In this paper, we affirmatively answer this question for skew Laurent series division rings over fields.