Algebra over a commutative ring