自由幂等幺半群

自由幂等幺半群是幺半群满足身份和由一组元素生成。如果这样一个幺半群的生成集是有限的，那么自由幂等单半群本身也是有限的。中的元素数monoid取决于生成集的大小，以及生成集的大小唯一地确定一个自由幂等幺半群。关于零字母，自由幂等元幺半群有一个元素（恒等式）。具有一个字母的自由幂等幺半群有两个元素.它有两个字母，有七个元素：一般来说上的自由幂等幺半群字母是1、2、7、160、332381。。。（组织环境信息系统A005345号).这些由解析表达式给出

哪里是一个二项式系数.产品可以进行分析，得出总和

根据多对数 就其索引和这个超然的牧师 关于它的第二个论点。