Explicit norm one elements for ring actions of finite Abelian groups (Q1601465)

Let \(R\) be a ring with identity and \(G\) a finite group acting on \(R\) by ring automorphisms. Define for any subgroup \(U\) of \(G\) the norm map \(\text{N}_U\colon R\to R^U\) by \(\text{N}_U(x)=\sum_{g\in U}g(x)\). Ginosar and the first author showed that \(\text{N}_G\colon R\to R^G\) is surjective if and only if \(\text{N}_U\colon R\to R^U\) is surjective for every elementary Abelian subgroup \(U\) of \(G\). Because \(\text{N}_U\) is \(R^U\) linear, \(\text{N}_U\) is surjective if and only if there exists some \(x_U\in R\) such that \(\text{N}_U(x_U)=1\). In 1994, the first author found a formula for a ``global element'' \(x_G\) of the form \(x_G=\sum ag_{i_1}(x_{U_{j_1}})g_{i_2}(x_{U_{j_2}})\cdots g_{i_r}(x_{U_{j_r}})\) such that \(\text{N}_G(x_G)=1\) which held as long as \(R\) was commutative, but very little was known in the noncommutative case. In this paper, the authors find a formula of the above form that holds when \(G\) is a finite Abelian group acting on a noncommutative ring \(R\). The most involved part of the proof, which was inspired by cohomological considerations, addresses the case where \(G\) is a cyclic \(p\)-group. Extending this result to arbitrary Abelian \(p\)-groups is not as easy as one would hope since the existence of norm one elements for all cyclic subgroups does not imply the existence of a global element of norm one. Nevertheless, the authors do extend the result to Abelian \(p\)-groups, and finally to arbitrary finite Abelian groups.