Crossed formal series (Q1919559)

Let \(K\) be a field, \(G\) a totally ordered group, \(\sigma:G\to \text{Aut}(K)\) a group homomorphism \((g\mapsto \sigma_g)\) and \(\alpha:G\times G\to K\setminus\{0\}\) a 2-\(\sigma\)-cocycle, i.e. \(\alpha(g_1g_2,g_3)\alpha(g_1,g_2)=\alpha(g_1,g_2g_3)\sigma_{g_1}(\alpha(g_2,g_3))\). Let \(A=K[G,\sigma,\alpha]\) be the set of all \(K\)-linear combinations \(x=\sum_{g\in G}x(g)u_g\), where \(U=\{u_g\mid g\in G\}\) is in bijection with \(G\), and with product \((xy)(g)=\sum_{g=g_1g_2}x(g_1)\sigma_{g_1}(y(g_2))\alpha(g_1,g_2)\). Then \(A\) is an associative ring, containing \(K\) as subring; it may be extended to a skew-field \(S\) which consists of all infinite \(K\)-linear combinations \(x\) with well-ordered support (as in the Malcev-Neumann series). Denote by \(Q\) the smallest subfield of \(S\) containing \(A\): \(Q\) is the set of rational series. Theorem: if \(A\) satisfies the Ore condition, and if a rational series \(x\) is such that \(x(g)u_g\in D\), for some fixed subfield \(D\) of \(Q\), then \(x\in D\). This theorem applies when \(G\) is commutative and \(D\) is the centralizer in \(Q\) of a subset of \(U\cup K\setminus 0\); then \(D\) is itself the field of fractions of a ring of the form \(K[H,\sigma,\beta]\) for some subgroup \(H\) of \(G\) and 2-cocycle \(\beta\) of \(H\). From this, the author can quickly prove corollaries which give some centralizers in division ring of fractions of skew polynomial rings in several variables and quantum spaces.