Serge Lang libro de Álgebra, escribió en la página 748, después de definir el módulo de diferenciales $\Omega^1_{A/R}$ $R$- álgebra $A$ y más de los diferenciales de las $\Omega^i_{A/R}=\wedge^i \Omega^1_{A/R}$, que existe una única secuencia de $R$-homomorphisms $d_i:\Omega^i_{A/R}\rightarrow\Omega^{i+1}_{A/R}$ tal que para $\omega \in\Omega^i_{A/R}$ $\eta\in\Omega^j_{A/R}$ tenemos $d(\omega\wedge\eta)=d\omega\wedge\eta+(-1)^i\omega\wedge d\eta$. A continuación señaló $d^2=0$ como consecuencia de la definición.
La pregunta es, como vi en otros lugares, la gente suele imponer una más axioma, que $d^2r=0$$r\in R$, por lo que podemos definir de la $d$ inductiva. Y creo Lang falta algo aquí. Así que, es innecesario exigir $d^2r=0$ aquí?
