PomeDefinition 19.2.3.923345ACA44A Let $\mathcal{S}'(C)$ be the subset of $\mathcal{S}(C)$ consisting of semigroups $S$ such that $S$ generates $\mathbb {Z}^{n+1}$ (as an Abelian group).
Definition 19.2.3923345ACA44A
The definition is repeated in the main chapter and the appendix. One entry retains both source locations.
Read the alternative statement and proof
Definition 19.2.3.923345ACA44A Let $\mathcal{S}'(C)$ be the subset of $\mathcal{S}(C)$ consisting of semigroups $S$ such that $S$ generates $\mathbb {Z}^{n+1}$ (as an Abelian group).
Comments
Corrections, questions, and mathematical discussion are welcome. Sign in with GitHub to comment. Comments are public.