Idealisers in skew group rings
type: Item
instance of: scholarly article
title: Idealisers in skew group rings
zbMATH Open document ID: 1486.16031
author: Ruth Reynolds
published in: Journal of Algebra
publication date: 2019-09-11T00:00:00Z
full work available at URL: https://arxiv.org/abs/1811.10366
review text: 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.
reviewed by: Liping Li
Mathematics Subject Classification ID: 16S35
zbMATH DE Number: 7103968
zbMATH Keywords: skew group ring
zbMATH Keywords: idealizer ring
zbMATH Keywords: idealiser ring
zbMATH Keywords: Noetherian graded ring
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W2901614160
arXiv ID: 1811.10366
cites work: Noncommutative graded domains with quadratic growth
cites work: Twisted homogeneous coordinate rings
cites work: Q3472250
cites work: Rings Graded by Polycyclic-by-Finite Groups
cites work: Q5724382
cites work: Q3035452
cites work: Formale Theorie der linearen Differentialgleichungen. (Zweiter Teil).
cites work: Idealizers and hereditary Noetherian prime rings
cites work: Generic noncommutative surfaces.
cites work: Idealizer rings and noncommutative projective geometry
cites work: Geometric idealizer rings
cites work: Maps from the enveloping algebra of the positive Witt algebra to regular algebras
cites work: On the Ideals of a Noetherian Ring
Wikidata QID: Q127368961
DOI: 10.1016/J.JALGEBRA.2019.06.045
Recommended article: Q3751734
Recommended article: When are all prime ideals in an ore extension goldie?
Recommended article: MINIMAL AND MAXIMAL RIGHT IDEALS IN THE NEARRING OF POLYNOMIALS
Recommended article: Q4039202
Recommended article: On derivations and commutativity in prime rings
Recommended article: On the Automorphism Group of the First Weyl Algebra
Recommended article: Cohen’s theorem and eakin-nagata theorem revisited
Recommended article: On balanced one-sided ideals
Recommended article: Q3708931
Recommended article: Projective ideals of skew polynomial rings over HNP rings
description: scientific article