Some results relevant to embeddability of rings (especially group algebras) in division rings (Q2315003)

Let \(G\) be a totally ordered group and \(k\) a field. We denote by \(k(\!(G)\!)\) the set of \(k\)-linear combinations \[\sum_{g \in G} \alpha_g g\] whose support \[\operatorname{supp} (\sum_{g \in G} \alpha_g g)=\{g\in G : \alpha_g \neq 0\}\] is well-ordered. When \(G\) is 2-sided invariant, i.e., \(f\leq g \Rightarrow hf\leq hg \wedge fh \leq gh\) for any \(f,g,h \in G\), the set \(k(\!(G)\!)\) is a division ring, and thus \(G\) embeds into a division ring. The most familiar example is that of \(G=\mathbb{Z}\), for which \(k(\!(G)\!)\) is the field of Laurent series \(k(\!(t)\!)\). When \(G\) is only right-invariant, i.e., \(f\leq g \Rightarrow fh \leq gh\) for any \(f,g,h \in G\), one cannot extend the ring structure of \(kG\) to \(k(\!(G)\!)\) in any evident way. Still, one can consider \(k(\!(G)\!)\) a right \(kG\)-module. This module has a property that is very encouraging with respect to the possibility of embedding \(kG\) in a division ring: \textit{N. I. Dubrovin} [Math. Notes 42, No. 3--4, 781--786 (1987; Zbl 0653.16005); translation from Mat. Zametki 42, No. 4, 508--518 (1987)] showed that every nonzero element of \(kG\) acts invertibly on \(k(\!(G)\!)\). The author of the paper under discussion reproves Dubrovin's result, and applies his previous work (which extended earlier works of Cohn) to support the conjecture that such an embedding exists.