
Let k be a commutative ring, A a commutative k -algebra and D the filtered ring of k -linear differential operators of A . We prove that: (1) The graded ring gr D admits a canonical embedding θ into the graded dual of the symmetric algebra of the module Ω A / k of differentials of A over k , which has a canonical divided power structure. (2) There is a canonical morphism ϑ from the divided power algebra of the module of k -linear Hasse–Schmidt integrable derivations of A to gr D . (3) Morphisms θ and ϑ fit into a canonical commutative diagram.
13N15, 13N10, Commutative rings of differential operators and their modules, integrable derivation, differential operator, FOS: Mathematics, derivation, Mathematics - Commutative Algebra, Commutative Algebra (math.AC), divided powers structure, Derivations and commutative rings
13N15, 13N10, Commutative rings of differential operators and their modules, integrable derivation, differential operator, FOS: Mathematics, derivation, Mathematics - Commutative Algebra, Commutative Algebra (math.AC), divided powers structure, Derivations and commutative rings
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 10 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Top 10% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
