A monoid is an algebraic structure with a single associative binary operation and an identity element.

learn more… | top users | synonyms

2
votes
0answers
65 views
+50

What do we call collections of subsets of a monoid that satisfy these axioms?

Consider a monoid $M$ and a semiring $S$. Then there's an $S$-algebra freely generated by the monoid $M$, which can be described explicitly as the set of all finitely supported functions $S \leftarrow ...