R-algebra

Associative algebra over a commutative ring

Let be a commutative ring. An -semigroup can be viewed in two equivalent ways: ring

1. As an -algebra which is associative;
2. As a rng equipped with an -action.

It is thus a Semigroup object in [[Category of modules over a commutative ring|]]

---

tidy | en | sembr