Factorization properties of paratopological groups

In this article we continue the study of R$\mathbb{R}$-factorizability in paratopological groups. It is shown that: (1) all concepts of R$\mathbb{R}$-factorizability in paratopological groups coincide; (2) a Tychonoff paratopological group G   is R$\mathbb{R}$-factorizable if and only if it is totally ω  -narrow and has property ω-QU$\omega \text{-}\mathit{QU}$; (3) every subgroup of a _T1$T_1$ paratopological group G   is R$\mathbb{R}$-factorizable provided that the topological group G^?$G^{?}$ associated to G is a Lindelöf Σ-space, i.e., G is a totally Lindelöf Σ-space  ; (4) if Π=_∏i∈IGi$\Pi ={\prod }_{i\in I}{G}_i$ is a product of _T1$T_1$ paratopological groups which are totally Lindelöf Σ-spaces, then each dense subgroup of Π   is R$\mathbb{R}$-factorizable. These results answer in the affirmative several questions posed earlier by M. Sanchis and M. Tkachenko and by S. Lin and L.-H. Xie.     

Frobenius groups and retract rationality

Let k$k$ be any field, G$G$ be a finite group acting on the rational function field k(_xg:g∈G)$k(x_g:g\in G)$ by h⋅_xg=_xhg$h\cdot x_g=x_{hg}$ for any h,g∈G$h,g\in G$. Define k(G)=k(_xg:g∈G)^G$k\left(G\right)=k{(x_g:g\in G)}^G$. Noether’s problem asks whether k(G)$k\left(G\right)$ is rational (= purely transcendental) over k$k$. A weaker notion, retract rationality introduced by Saltman, is also very useful for the study of Noether’s problem. We prove that, if G$G$ is a Frobenius group with abelian Frobenius kernel, then k(G)$k\left(G\right)$ is retract k$k$-rational for any field k$k$ satisfying some mild conditions. As an application, we show that, for any algebraic number field k$k$, for any Frobenius group G$G$ with Frobenius complement isomorphic to S_L2(_F5)$S{L}_2\left({\mathbb{F}}_5\right)$, there is a Galois extension field K$K$ over k$k$ whose Galois group is isomorphic to G$G$, i.e. the inverse Galois problem is valid for the pair (G,k)$(G,k)$. The same result is true for any non-solvable Frobenius group if k(_ζ8)$k\left({\zeta }_8\right)$ is a cyclic extension of k$k$.     

The Zassenhaus filtration,Massey products,and representations of profinite groups

We consider the p  -Zassenhaus filtration (_Gn)$(G_n)$ of a profinite group G  . Suppose that G=S/N$G=S/N$ for a free profinite group S and a normal subgroup N of S   contained in _Sn$S_n$. Under a cohomological assumption on the n-fold Massey products (which holds, e.g., if G has p  -cohomological dimension ≤ 1), we prove that _Gn+1$G_{n+1}$ is the intersection of all kernels of upper-triangular unipotent (n+1)$(n+1)$-dimensional representations of G   over _Fp${\mathbb{F}}_p$. This extends earlier results by Miná?, Spira, and the author on the structure of absolute Galois groups of fields.