Free symmetric group algebras in division rings generated by poly-orderable groups. (Q2438362)

In the paper under review, the authors study a question related with the long-standing conjecture of Makar-Limanov stating that a division ring which is finitely generated (as a division ring) and infinite dimensional over its center contains a free algebra of rank \(2\) over the center. Let \(k\) be a field, \(G\) be a group and \(k[G]\) denotes the group algebra over \(k\). Then, the map \[ k[G]\to k[G],\qquad\sum_{x\in G}xa_x\mapsto\sum_{x\in G}x^{-1}a_x, \] where for all \(x\in G\), \(a_x\) are elements of \(k\) all but a finite number of which zero, is a \(k\)-involution on \(k[G]\). This involution is called a \textit{canonical involution} of \(k[G]\). In the paper, the authors consider the subdivision ring \(k(G)\) generated by \(k[G]\) in the division ring of Malcev-Neumann series \(k((G))\) of an ordered group \(G\) over a field \(k\). The main aim of this paper is to prove that if \(G\) is nonabelian, then the canonical involution on \(k[G]\) extends to a \(k\)-involution \(^*\) on \(k(G)\) and \(k(G)\) contains a group \(k\)-algebra of a nonabelian free group generated by symmetric elements with respect to \(^*\). Moreover, a pair of free symmetric generators is explicitly constructed. In the end, the authors propose some questions for further study.