Crossed group rings in which solutions of the equation \(x^ n-\mu =0\) are trivial (Q791614): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 02:14, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Crossed group rings in which solutions of the equation \(x^ n-\mu =0\) are trivial |
scientific article |
Statements
Crossed group rings in which solutions of the equation \(x^ n-\mu =0\) are trivial (English)
0 references
1983
0 references
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.
0 references
crossed group ring
0 references
group of units
0 references