The maximal embedding dimension criterion for good subsemigroups of N2\mathbb{N}^2N2
Let SSS be a good subsemigroup of N2\mathbb{N}^2N2. Its multiplicity vector is denoted by e\boldsymbol{e}e, and let M=S∖{0}M=S\setminus\{\boldsymbol{0}\}M=S∖{0}. A good semigroup is said to have…