Algebra over a Ring