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