[Paper Review] Derivations and Iterated Skew Polynomial Rings

Michael Gr. Voskoglou|arXiv (Cornell University)|Sep 21, 2012

Rings, Modules, and Algebras26 references3 citations

TL;DR

This paper investigates derivations and their role in determining the simplicity of iterated skew polynomial rings. It establishes that for a commutative, finitely generated algebra of Krull dimension one over a field of characteristic zero, differential simplicity with respect to a single derivation is both necessary and sufficient for the simplicity of the corresponding skew polynomial ring.

ABSTRACT

Two are the objectives of the present paper. First we study properties of a differentially simple commutative ring R with respect to a set D of derivations of R. Among the others we investigate the relation between the D-simplicity of R and that of the local ring RP with respect to a prime ideal P of R and we prove a criterion about the D- simplicity of R in case where R is a 1-dimensional (Krull dimension) finitely generated algebra over a field of characteristic zero and D is a singleton set. The above criterion was quoted without proof in an earlier paper of the author. Second we construct a special class of iterated skew polynomial rings defined with respect to finite sets of derivations of a ring R (not necessarily commutative) commuting to each other. The important thing in this class is that, if R is a commutative ring, then its differential simplicity is the necessary and sufficient condition for the simplicity of the corresponding skew polynomial ring. Key-Words- Derivations, Differentially simple rings, Finitely-generated algebras, Iterated skew polynomial rings, Simple rings.

Motivation & Objective

• To analyze the D-simplicity of commutative rings with respect to a set of derivations.
• To investigate the relationship between the D-simplicity of a ring R and that of its localization at a prime ideal.
• To establish a criterion for D-simplicity in 1-dimensional, finitely generated algebras over characteristic zero fields when D is a singleton.
• To construct a class of iterated skew polynomial rings using commuting derivations on a ring R.
• To prove that when R is commutative, its differential simplicity is both necessary and sufficient for the simplicity of the associated skew polynomial ring.

Proposed method

• Analyzes the structure of derivations on commutative rings and their behavior under localization at prime ideals.
• Applies techniques from commutative algebra and differential algebra to study the ideal structure of rings under derivations.
• Uses the assumption of finite generation and Krull dimension one to derive a criterion for D-simplicity in the case of a single derivation.
• Constructs iterated skew polynomial rings via a sequence of derivations that commute pairwise.
• Employs the concept of differential simplicity as a key condition to ensure the simplicity of the resulting skew polynomial ring.
• Leverages the fact that commuting derivations allow for a well-defined iterated construction of skew polynomial extensions.

Experimental results

Research questions

• RQ1 Under what conditions is a commutative ring R with a set of derivations D D-simple?
• RQ2 How does the D-simplicity of R relate to the D-simplicity of its localization at a prime ideal?
• RQ3 What criterion ensures D-simplicity for a 1-dimensional, finitely generated algebra over a field of characteristic zero when D is a singleton?
• RQ4 What conditions guarantee the simplicity of an iterated skew polynomial ring constructed from commuting derivations?
• RQ5 Is differential simplicity of a commutative ring R both necessary and sufficient for the simplicity of the corresponding skew polynomial ring?

Key findings

• For a commutative, finitely generated algebra R of Krull dimension one over a field of characteristic zero, R is D-simple if and only if it has no nontrivial D-invariant ideals.
• The D-simplicity of R implies the D-simplicity of the localization RP for any prime ideal P of R.
• When D is a singleton set, the D-simplicity of R is characterized by the absence of nontrivial D-stable ideals in R.
• An iterated skew polynomial ring constructed from commuting derivations on a ring R is simple if and only if R is differentially simple.
• The construction of iterated skew polynomial rings via commuting derivations yields a well-defined ring structure with controlled ideal theory.
• The paper provides a proof for a criterion on D-simplicity that was previously quoted without justification in the author’s earlier work.