Etymology

Today it means: A mathematical construct that resembles a module, except that the underlying abelian group is replaced with an abelian semigroup, so the elements do not necessarily have inverses. Full definition →