佩德罗·桑切斯·特拉夫 连通po-群的半退化变种中的直接不可分解。 （英语） Zbl 1168.08005号 订单 25，第4期，377-386（2008）. po-groupoid是一个广群体\（（A，\cdot）\），因此由\（x\leqy \）iff\（x\ cdot y=x\）定义的关系是\（A\）上的偏序。如果相关的偏序是连通的，则称po-groupid是连通的。如果（V）的非平凡成员没有平凡子代数，则称簇（V）为半退化。本文的主要结果是定理2。它指出，如果（V）是有限语言上的连通po-群的半退化簇，则（V）的直接不可分解代数类可由（for all exists for all exacts for all）-一阶句子加上\（V）公理化。审核人：V.N.Sali（萨拉托夫） MSC公司： 2008年2月25日 产品、合并产品和其他种类的限制和结肠炎 05年6月 有序半群和幺半群 20号02 具有单个二进制操作的集合（群oid） 关键词：po-groupoid类;连接po-groupoid;半退化变种;直接不可分解 软件：梅斯4;谚语9 PDF格式BibTeX公司 XML格式引用 \textit{P.Sánchez Terraf}，第25号令，第4号，377--386（2008；Zbl 1168.08005） 全文： 内政部 arXiv公司 参考文献： [1] Gerhard，J.A.：幂等半群方程类的格。《代数杂志》15，195–224（1970）·Zbl 0194.02701号 ·doi:10.1016/0021-8693（70）90073-6 [2] Gerhard，J.A.：次直接不可约幂等半群。派克靴。数学杂志。39, 669–676 (1971) ·Zbl 0212.04301号 [3] Kollar，J.：同余与一元子代数。代数大学。9, 266–267 (1979) ·Zbl 0407.08002号 ·doi:10.1007/BF02488038文件 [4] McCune，W.：Mace4参考手册和指南，技术备忘录ANL/MCS-TM-264，伊利诺伊州阿贡市阿贡国家实验室数学和计算机科学部（2003年8月） [5] 麦克库恩，W.：《箴言9》和《Mace4》网页。http://www.cs.unm.edu/ccune/prover9/ [6] McKenzie，R.，McNulty，G.，Taylor，W.：代数，格，多样性，第1卷。沃兹沃思和布鲁克斯/科尔数学。系列。沃兹沃思和布鲁克斯/科尔，蒙特雷（1987） [7] Sánchez Terraf，P.，Vaggione，D.：具有可定义因子同余的品种。事务处理。美国数学。Soc.（出版中）·Zbl 1223.08001号 [8] Vaggione，D.：具有可分解同余的（mathcal{V}）和（mathcal{V}=mathbf{I\Gamma}^a（mathca｛V｝_{DI}）imply（\mathcal{V}）是鉴别器种类。科学学报。数学。62, 359–368 (1996) ·Zbl 0880.08007号 [9] Vaggione，D.：各种贝壳。代数大学。36, 483–487 (1996) ·Zbl 0901.08010号 ·doi:10.1007/BF01233918 [10] 威拉德，R.：关于不可分解格的注记。代数大学。26, 257–258 (1989) ·Zbl 0669.06003号 ·doi:10.1007/BF01236872 [11] Willard，R.：具有布尔因子同余的变体。《代数杂志》132、130–153（1990）·Zbl 0737.08006号 ·doi:10.1016/0021-8693（90）90257-O 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。