卡里姆·艾哈迈迪利尔;杜斯蒂，H。;R.戈洛米。 关于零亏广义多面体半群的结构。 （英语） Zbl 1237.20052号 谭康J.数学。 42，第2期，135-147（2011）. 作者定义了两个不同的有限半群示例（具有零亏）。为此，他们首先考虑演示文稿：\[\mathcal P_1=\语言a，b；\；a^l=b^m=（ab）^n\rangle\quad\text{和}\quad\\mathcal P_2=langle a，b；\；a^l=b^m，\；a（ab）^n=范围，\]然后，通过考虑它们的半群（Sg（mathcal P_i））和群（Gp（mathcal-P_i）表示，证明了\[|Sg（\mathcal P_1）|=4n^2\quad\text{和}\quad|Sg（\tathcal P_2）|=|Gp（\tatchcal P_2）|+（m-1）\]在某些条件下。作为这些结果的结果，还证明了（a^{4（n-1）}）和（ab）^n分别是半群（Sg（mathcal P_1）和Sg（mathcal P_2）中的唯一幂等元。有两件事我还不清楚：第一：我想没有必要给出命题1.1、1.2、1.3的证明。第二：在定理A（和定理B的一部分）的证明中，他们证明了半群（Sg（mathcal P_1））（和（Sg）mathcal P2））具有唯一的最小左理想和唯一的最小右理想。因此，通过引用R.麦克法登和H.施耐德【Proc.Camb.Philos.Soc.57，234-236（1961；兹比尔0239.20077)]，\（Sg（\mathcal P_1）\）实际上是一个“完全简单半群”（它必须同构于Rees矩阵半群\（S=\ mathcal M[G；I，\Lambda；P]\），其中\（I\），\（\Lambda\）是集，\（P\）是一个\（\Lambda\次I\）矩阵）。因此，由C.M.坎贝尔，J.D.米切尔、和N.鲁什库克，[在半群、算法、自动机和语言中。新加坡：世界科学。331-339（2002；Zbl 1039.20033号)]显然，本文定理A和B中给出的半群已经没有缺陷。最后，当我阅读这篇论文时，我确实记得C.M.Campbell的一些联合论文，这些论文是与本文的作者之一和其他一些人共同撰写的。审核人：艾哈迈特·西南·切维奇（科尼亚） MSC公司： 2005年5月20日 自由半群，生成器和关系，单词问题 20F05型 组的生成器、关系和表示 20个M10 半群的一般结构理论 20个M12 半群的理想理论 关键词：多面体群;多面体半群;小组演讲;半群的表示;零缺陷演示 引文：Zbl 0239.20077号;Zbl 1039.20033号 软件：间隙 PDF格式BibTeX公司 XML格式引用 \textit{K.Ahmadidel}等人，Tamkang J.Math。42，No.2，135--147（2011；Zbl 1237.20052） 全文： 内政部 链接