arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 1210.3285math.GR
收藏

逆半群的2-基

A 2-base for inverse semigroups

Joao Araujo, Michael Kinyon, R. Padmanabhan

摘要:

逆半群理论中的一个公开问题是,当把这种半群看作是具有一个二元运算和一个一元运算的代数时,它的簇是否是2-基的,也就是说,它的恒等式是否有一个由两个独立公理组成的基。本文给出了这个问题的肯定解:恒等式\[ \quad x(x'x) = x \qquad \quad x (x' (y (y' ((z u)' w')'))) = y (y' (x (x' ((w z) u)))) \]构成逆半群的基,其中${}'$是自然逆运算.我们在这里叙述了这个问题的历史,包括我们以前使用自动演绎找到2-碱基的努力以及最终成功的方法。我们描述了我们的努力,以简化证明使用\textsc{Prover9},目前的简化证明本身,并得出结论与一些开放的问题。

英文摘要:

An open problem in the theory of inverse semigroups was whether the variety of such semigroups, when viewed as algebras with a binary operation and a unary operation, is 2-based, that is, has a base for its identities consisting of 2 independent axioms. In this note, we announce the affirmative solution to this problem: the identities \[ \quad x(x'x) = x \qquad \quad x (x' (y (y' ((z u)' w')'))) = y (y' (x (x' ((w z) u)))) \] form a base for inverse semigroups where ${}'$ turns out to be the natural inverse operation. We recount here the history of the problem including our previous efforts to find a 2-base using automated deduction and the method that finally worked. We describe our efforts to simplify the proof using \textsc{Prover9}, present the simplified proof itself and conclude with some open problems.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑