Simplicity and commutative bases of derivations in polynomial and power series rings

DOI10.1155/2013/560648MaRDI QIDQ2014904zbMATH OpenOpenAlexWikidataFDO

Authors Rene Baltazar

Publication date 16 June 2014

Published in ISRN Algebra (Search for Journal in Brave)

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

zbMATH Keywords

commutative basesderivationsJacobian conjecturepolynomials and power series rings

Mathematics Subject Classification ID

Polynomial rings and ideals; rings of integer-valued polynomials (13F20) Power series rings (13J05) Derivations and commutative rings (13N15)

Abstract: The first part of the paper will describe a recent result of K. Retert in (cite{Ret}) for $k[x_1,ldots,x_n]$ and $k[[x_1,ldots,x_n]]$. This result states that if $mathfrakD$ is a set of commute $k$-derivations of $k[x,y]$ such that both $partia{l}_{x}inmathfrakD$ and the ring is $mathfrakD$-simple, then there is $dinmathfrakD$ such that $k[x,y]$ is $partia{l}_x,d$-simple. As applications, we obtain relationships with known results of A. Nowicki on commutative bases of derivations.

Review text

Let \(k\) be a field of characteristic zero and \(R\) denote either the ring \(k[x_1,\dots,x_n]\) of polynomials over \(k\) or the ring \(kx_1,\dots,x_n\) of formal power series over \(k\). A \(k\)-derivation \(d:R\longrightarrow R\) of \(R\) is a \(k\)-linear map such that \(d(ab)=d(a)b+ad(b)\) for any \(a,b\in R\). Denoting by \(\mathrm{Der}_k(R)\) the set of all \(k\)-derivations of \(R\), let \(D\subseteq \mathrm{Der}_k(R)\) be a nonempty family of \(k\)-derivations. An ideal \(I\) of \(R\) is called \(D-\)stable if \(d(I)\subseteq I\) for all \(d\in D\). If \(R\) has no other \(D-\)stable ideal than \(0\) and \(R\), it is called \(D-\)simple. In his paper [Commun. Algebra 34, No. 8, 2941--2963 (2006; Zbl 1121.13028)], \textit{K. Retert} states that if \(D\) is a set of commutative \(k\)-derivations of \(k[x,y]\) such that \(\partial_x\in D\) and the ring \(k[x,y]\) is \(D-\)simple, then there is \(d\in D\) such that \(k[x,y]\) is \(\{\partial_x,d\}-\)simple. In the present paper, the author tries to generalize this result to the ring \(R=k[x_1,\dots,x_n]\) or \(kx_1,\dots,x_n\) and to give some applications.

Recommendations

• An example of a simple derivation in two variables
• SIMPLE QUADRATIC DERIVATIONS IN TWO VARIABLES
• Differential simplicity and dimension of a commutative ring
• On the differential simplicity of polynomial rings.
• A Class of Simple Derivations ofk[x,y]
• Some simple derivations of \(k[x, y]\)
• Simple Derivations of Graded Affine Algebras in Positive Characteristic
• Sets of Commuting Derivations and Simplicity
• Simple derivations on tensor product of polynomial algebras
• DIFFERENTIAL SIMPLICITY IN POLYNOMIAL RINGS AND ALGEBRAIC INDEPENDENCE OF POWER SERIES

Cites work

• Commutative bases of derivations in polynomial and power series rings
• On pairs of commuting derivations of the polynomial ring in one or two variables
• On the differential simplicity of affine rings
• Pairwise commuting derivations of polynomial rings
• Polynomial automorphisms and the Jacobian conjecture
• Polynomial derivations and their rings of constants
• Sets of Commuting Derivations and Simplicity
• The commuting derivations conjecture

Cited in

(12)

• Commutative bases of derivations in polynomial and power series rings
• Pairwise commuting derivations of polynomial rings
• Differential simplicity and dimension of a commutative ring
• A note on derivations of commutative rings
• NONHOLONOMIC SIMPLE D-MODULES FROM SIMPLE DERIVATIONS
• Derivations satisfying polynomial identities
• Stiff derivations of commutative rings
• Unified proofs of Hilbert's basis theorem and its analogue in formal power series rings
• DIFFERENTIAL SIMPLICITY IN POLYNOMIAL RINGS AND ALGEBRAIC INDEPENDENCE OF POWER SERIES
• Simplicity of some derivations of \(k[x, y]\)
• A note on linear derivations.
• A Gröbner basis approach to solve a conjecture of Nowicki

This page was built for publication: Simplicity and commutative bases of derivations in polynomial and power series rings

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