一类数字半群容许的型

本文探究一类特殊的数字半群所容许的齐次线性型,证明这一类数字半群容许任意的强容许型、减法度大于等于2的减法型以及可容许度大于等于2的布尔型。同时还探究了被这一类数字半群及其极大理想所容许的非齐次线性型,即这一类数字半群的极大理想容许长度为n,常数项为PFn(S,M(S))的型。