An extension of the trace map (Q796582)

Soient R un anneau commutatif unitaire et \(u:\quad A\to B\) un morphisme de R-algèbres tel que B est un A-module projectif de type fini et une intersection complète. Alors l'A. donne une extension du morphisme usuel \(tr_{B/A}:\quad B\to A\) à un morphisme A-linéaire homogène de degré zéro \(\theta_{B/A}:\quad \Omega^*_{B/R}\to \Omega^*_{A/R}\) des complexes de De Rham. On démontre des propriétés du morphisme \(\theta_{B/A}\).