Eine -Derivation von einer kommutativen -Algebra in einen -Modul .