Idealisers in skew group rings (Q2324661)

Let \(B\) be a ring, and \(I\) be a right ideal of \(B\). The idealiser of \(I\) is defined to be \[ \mathbb{I}_B(I) = \{ b \in B \mid bI \subseteq I\}. \] A classical result of \textit{J. C. Robson} [J. Algebra 22, 45--81 (1972; Zbl 0239.16003)] asserts that when \(I\) is a maximal right ideal, then \(B\) is right Noetherian if and only if so is the idealiser subring \(\mathbb{I}_B(I)\) of \(B\). Furthermore, for twisted homogeneous coordinate rings \(B\) and ideals \(I\) corresponding to closed subschemes \(Z\), the left or right Noetherianity of \(\mathbb{I}_B(I)\) can be determined by the orbit under actions of automorphisms. Therefore, one can understand the Noetherianity of these rings from a geometric perspective. Motivated by these results, in this paper the author considers the idealisers of a family of special ideals in skew group rings \(B = C \sharp G\), where \(C\) is a commutative Noetherian domain, and \(G\) is a finitely generated abelian group. Explicitly, let \(I\) be a prime ideal of \(C\), the author gives equivalent conditions such that the idealiser subring \(\mathbb{I}_B(IB)\) is left Noetherian or right Notherian (Theorem 1.4 and Theorem 1.5). As an application of these criterion, an example is studied in which these conditions are related to an interesting number theoretic problem.