矩形圈与矩形拟群
群论
2007-05-23 v3
摘要
我们通过为矩形圈簇寻找一个由七条独立公理组成的基础，解决了 Krapež 提出的两个问题。其中六条公理构成了矩形拟群簇的一个基础。证明这六条公理充分的引理之证明基于自动推理程序 OTTER 生成的证明，而验证公理独立性的大多数模型由有限模型构造器 Mace4 生成。
引用
@article{arxiv.math/0409074,
title = {Rectangular loops and rectangular quasigroups},
author = {Michael K. Kinyon and J. D. Phillips},
journal= {arXiv preprint arXiv:math/0409074},
year = {2007}
}
备注
5 pages, AMS-LaTeX; v.2: minor corrections of proofs; v.3: added section discussing use of automated reasoning, other minor changes at request of referees