It also includes the generalization to algebras over a ring