Crossed group rings in which solutions of the equation \(x^ n-\mu =0\) are trivial (Q791614)

Let F be a finite extension of Q and R the ring of algebraic integers of F. Given a finite group G denote by \(\Lambda =(G,R,\lambda)\) the crossed group ring of G over R with factor system \(\{\lambda_{a,b}\}\). Let \(U(\Lambda)\) be the group of units of \(\Lambda\), \(V(\Lambda)=U(\Lambda)/U(R)\) and P\(V(\Lambda)\) the subgroup of \(V(\Lambda)\) generated by the elements of finite order. An element \(v\in V(\Lambda)\) is called trivial if \(v=xu_ g\) where \(x\in U(R)\) and \(u_ g\) belongs to the natural basis of \(\Lambda\). In this paper, necessary and sufficient conditions are given for crossed group rings (G,\({\mathbb{Z}},\lambda)\) to be such that the group \(V(\Lambda)\) contains only trivial units of finite order, i.e. P\(V(\Lambda)\cong G\). In contrast to ordinary group rings this can also happen if G is neither abelian nor a Hamiltonian 2-group. In fact, theorem 3 states that if G is non abelian and \(| G| \neq 2^ d\) then \(\Lambda =(G,{\mathbb{Z}},\lambda)\) contains only trivial units of finite order if and only if G contains a normal subgroup H such that (H,\({\mathbb{Z}},\lambda)\) is commutative and G is the semidirect product of H and a cyclic group \(<a>\) verifying \(u^ 2_ a=-1,\quad u_ a^{-1}u_ hu_ a=u_ h^{- 1},\quad \forall h\in H.\) Finally, some results are extended to rings of algebraic integers: with the notation above, if G is nilpotent with \(| G| \not\equiv 0(mod 2)\) or G is abelian and F has Q- isomorphisms in the field of complex numbers, then P\(V(\Lambda)\cong G\) if and only if \(\Lambda\) is commutative.