Explicit norm one elements for ring actions of finite Abelian groups

DOI10.1007/BF02773156MaRDI QIDQ1601465zbMATH OpenOpenAlexFDO

Publication date 1 October 2003

Published in Israel Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0012038

finite Abelian groups norm maps ring actions ring automorphisms

Actions of groups and semigroups; invariant theory (associative rings and algebras) (16W22) Cohomology of groups (20J06) Finite abelian groups (20K01)

Abstract: Let G be a cyclic p-group of order p^n acting by automorphisms on a (non-necessarily commutative) ring R. Suppose there is an element x in R such that (1 + t + ... + t^{p-1})(x) = 1, where t is an element of order p in G. We show how to construct an element y in R such that (1 + s + ... + s^{p^n-1})(y) = 1, where s is a generator of G.

Review text

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.

Recommendations

Cites work

Cited in

(2)

This page was built for publication: Explicit norm one elements for ring actions of finite Abelian groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1601465)