algebras over rings