Algebra over a ring