Questions about commutative rings, their ideals, and their modules.

learn more… | top users | synonyms (1)

2
votes
0answers
54 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 ...