[論文レビュー] Axioms for trimedial quasigroups

Michael Kinyon, J. D. Phillips|ArXiv.org|Oct 12, 2003

Mathematics and Applications参考文献 8被引用数 8

ひとこと要約

本稿では、2つの新しい恒等式 (E_l) と (E_r) を用いて、trimedial quasigroups のための新しい等式的公理化を提示する。これらの恒等式は、従来の公理系よりも対称的かつ簡潔である。本稿は、quasigroup が trimedial であるための必要十分条件がこれら2つの恒等式を満たすことであることを証明し、さらに右半中点的、左 F-quasigroup が trimedial であることを示す。これは、以前の特徴づけを改善するものである。

ABSTRACT

We give new equations that axiomatize the variety of trimedial quasigroups. We also improve a standard characterization by showing that right semimedial, left F-quasigroups are trimedial.

研究の動機と目的

• trimedial quasigroups の多様体に対する対称的で新しい公理化を、恒等式 (E_l) と (E_r) を用いて提供すること。
• 右半中点的、左 F-quasigroup が trimedial であることを示すことにより、既存の trimedial quasigroups の特徴づけを改善すること。
• 半中点的法則と三項恒等式を含む Kepka の以前の公理化よりも、より簡潔で洗練された代替公理化を確立すること。
• (E_l) および (E_r) を満たす quasigroups の構造的性質、特に同型型およびループ同型型との関係を調査すること。
• F-quasigroup や半中点的 quasigroups を含む、中点的 quasigroups の一般化に関する広範な理解に貢献すること。

提案手法

• F-quasigroup 恒等式を一般化する新しい恒等式 (E_l): x·yz = (x/x)y·xz および (E_r): zy·x = zx·y(x\x) を導入する。
• 反対（opposite）、左/右パラストロフィー（parastrophes）の構成を用いて、双対な quasigroup 構造間の恒等式を関連付ける。
• 既知の結果を活用する：trimedial quasigroups は可換 Moufang ループに同型である；F-quasigroups は Moufang ループに同型である。
• OTTER定理証明プローバーを用いた等式的推論により、導出および対称性の検証を行う。
• 恒等式 (E_l) と (E_r) が半中点的性質および F-quasigroup 性質を含意することを証明し、これにより命題 1.1 を通じて trimedial であることが示されることを示す。
• 局所的単位元 e(x) = x\x および f(x) = x/x を用いて、等式的証明における恒等式の簡略化と操作を行う。

実験結果

リサーチクエスチョン

• RQ1 trimedial quasigroups の多様体は、F-quasigroup 法則を一般化する対称的恒等式のペアによって公理化可能か？
• RQ2 右半中点的、左 F-quasigroup が必然的に trimedial であることを示すことは可能か？これにより、既存の特徴づけが改善される。
• RQ3 恒等式 (E_l) と (E_r) は、追加の公理を必要とせずに、trimedial quasigroups の完全な構造を捉えているか？
• RQ4 恒等式 (E_l)、(E_l) および (S_l) を満たす、あるいは (E_l)、(S_l) および (F_l) を満たす quasigroups のループ同型型の構造は何か？
• RQ5 恒等式 (E_l) と (E_r) は、3つの元で生成される部分群において、中点的恒等式とどのように関係しているか？

主な発見

• quasigroup が trimedial であるための必要十分条件は、恒等式 (E_l) と (E_r) を満たすことである。これにより、新しい対称的公理化が得られる。
• 恒等式 (E_l) と (E_r) は、3つの生成元で生成される部分群における中点的恒等式の特別な場合であり、trimedial quasigroups における有効性を正当化する。
• 右半中点的、左 F-quasigroup は (E_r) を満たし、左半中点的、右 F-quasigroup は (E_l) を満たす。これにより、新たな同値類が確立される。
• 本稿は、quasigroup が trimedial であるための必要十分条件が、右半中点的かつ左 F-quasigroup であることであることを証明する。これは命題 1.1 よりも改善された結果である。
• 恒等式 (E_l) と (E_r) は、半中点的性質および F-quasigroup 構造を含意するため、既知の結果を通じて trimedial であることが導かれる。
• 著者は等式的推論とパラストロフィー双対性を用いて、恒等式間の含意関係を導出し、新公理の整合性および強度を確認した。