-algebra

-monoid

A -monoid is an -algebra for which the bilinear product possesses a two-sided identity and is associative #m/def/ralg

• for all
• for all

Hence it is also called a unital associative algebra over . In other words, a -monoid is a field action on a ring. An algebra homomorphism which preserves the identity is a unital algebra homomorphism or -monoid homomorphism. A generalization is an -monoid.

Further terminology

• Algebraic element

Examples

• Matrix algebra over a field
• Complex number
• Quaternion (non-commutative)
• Endomorphism ring
• Tensor algebra
• Clifford algebra
• Extension field as a unital associative algebra

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