Commutative bases of derivations in polynomial and power series rings
type: Item
instance of: scholarly article
title: Commutative bases of derivations in polynomial and power series rings
zbMATH Open document ID: 0592.13004
DOI: 10.1016/0022-4049(86)90046-0
author: Andrzej Nowicki
published in: Journal of Pure and Applied Algebra
publication date: 1986-01-01T00:00:00Z
review text: Let \(k\) be a commutative ring of characteristic zero and let \(R\) denote either the ring \(k[x_ 1,...,x_ n]\) of polynomials over \(k\) or the ring \(kx_ 1,...,x_ n\) of formal power series over \(k\). The \(R\)-module of all \(k\)-derivations from \(R\) to \(R\) is denoted by \(\text{Der}_ k(R)\). A basis \(\{d_ 1,...,d_ n\}\) of \(\text{Der}_ k(R)\) is said to be commutative if \(d_ id_ j=d_ jd_ i\) for any \(i,j=1,...,n\). The following characterization of a commutative basis of \(\text{Der}_ k(R)\) is given: The set \(\{d_ 1,...,d_ n\}\) of \(k\)-derivations of \(R\) is a commutative bases of \(\text{Der}_ k(R)\) iff there exist elements \(F_ 1,...,F_ n\in R\) such that \(d_ i(F_ j)=\delta_{ij}\), for any \(i,j=1,...,n\), where \(\delta_{ij}\) is the Kronecker symbol. Furthermore, two equivalent versions of the Jacobian conjecture in \(k[x_ 1,...,x_ n]\) are given by means of commutative bases in \(\text{Der}_ k(k[x_ 1,..,x_ n])\).
Mathematics Subject Classification ID: 13B10
Mathematics Subject Classification ID: 13F25
Mathematics Subject Classification ID: 13F20
zbMATH DE Number: 3950671
zbMATH Keywords: polynomial rings
zbMATH Keywords: formal power series rings
zbMATH Keywords: commutative basis of
zbMATH Keywords: derivation module
zbMATH Keywords: Jacobian conjecture
MaRDI profile type: Publication
full work available at URL: 0022-4049(86)90046-0
OpenAlex ID: W2031424582
cites work: The Jacobian conjecture: Reduction of degree and formal expansion of the inverse
cites work: Q5552079
cites work: Automorphisms of polynomial and power series rings
description: scientific article; zbMATH DE number 3950671