论文标题
在半群融合课上解决的开放问题的解决方案
The solution of an open problem on semigroup inclusion classes
论文作者
论文摘要
semigroup包含类$ \ mathbf {i} = [xyxy = xy; xyz \ in \ {xywz，xuyz \}] $是$ \ mathbf {grb} = [xyzxy = xy] $的两个最大subvarieties的结合。 Monzo（Arxiv：1411.4860）描述了$ \ Mathbf {i} $下方的Semigroup包含类的晶格，并问$ \ Mathbf {i} $是否由$ \ Mathbf {grb {grb} $覆盖。我们的主要结果是$ \ mathbf {i} $的表征，这使得在负面回答Monzo的问题变得容易。
The semigroup inclusion class $\mathbf{I} = [xyxy = xy; xyz \in \{xywz, xuyz\}]$ is the union of two maximal subvarieties of $\mathbf{GRB} = [xyzxy=xy]$. Monzo ( arXiv:1411.4860 ) described the lattice of semigroup inclusion classes below $\mathbf{I}$ and asked if $\mathbf{I}$ is covered by $\mathbf{GRB}$. Our main result is a characterization of $\mathbf{I}$ which makes it easy to answer Monzo's question in the negative.
