-algebra

Associative algebra over a commutative ring

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

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

It is thus a Semigroup object in

#state/tidy | #lang/en | #SemBr