2016-07-042016-07-042009Narváez Macarro, L. (2009). Hasse-Schmidt derivations, divided powers and differential smoothness. Annales de l'Institut Fourier, 59 (7), 2979-3014.0373-09561777-5310http://hdl.handle.net/11441/43077Let 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.application/pdfengAttribution-NonCommercial-NoDerivatives 4.0 Internacionalhttp://creativecommons.org/licenses/by-nc-nd/4.0/derivationintegrable derivationdifferential operatordivided powers structureinfo:eu-repo/semantics/articleinfo:eu-repo/semantics/openAccess10.5802/aif.2513https://idus.us.es/xmlui/handle/11441/43077