Definition:Affine Monoid
Jump to navigation
Jump to search
Definition
An affine monoid is a monoid that is:
and:
- isomorphic to a submonoid of a free abelian group $\Z^d$, for some $d \in \Z_{\ge 0}$.