[論文レビュー] Infinite irredundant equational axiomatisability for a finite monoid

Marcel Jackson|arXiv (Cornell University)|Nov 18, 2015

Advanced Algebra and Logic参考文献 17被引用数 3

ひとこと要約

この論文は、方程式的理論に無限の冗長でない基底を備えた有限の冪零モノイドを構成し、普遍代数における未解決問題を解決する。変数の出現回数や方程式内の部分語構造を丁寧に分析することで、著者は特定の長い方程式が短い方程式から導出できないことを証明し、有限部分集合が完全かつ冗長でない公理化として機能しえないことを保証する。これにより、有限モノイドであっても無限の冗長でない方程式的公理化が可能であることが示された。

ABSTRACT

It is shown that a finite monoid can have an infinite irredundant basis of equations.

研究の動機と目的

• 問題1.1を解決すること。すなわち、有限モノイドがモノイド恒等式の無限の冗長でない基底を有し得るかを問うものである。
• 恒等元の強い帰納的力にもかかわらず、モノイド記号において無限の冗長でない方程式的公理化が可能であることを示すこと。
• 方程式的理論が有限に公理化できないこと、かつ任意の完全な公理化において冗長な方程式がない特定の有限冪零モノイドを構成すること。
• 半群における無限の冗長でない基底に関する先行結果を、より制限の厳しいモノイドの文脈に拡張すること。ここでは、このような性質がよりまれであると予想される。

提案手法

• 方程式内の語構造、特に変数の出現回数、部分語、および恒等元が長い方程式を単純化する役割を果たすことに注目して分析する。
• 複雑な語をより単純な形に還元する写像φを帰納的に定義し、方程式的含意を保存するとともに、変数の位置と出現回数を追跡する。
• 構造的不変量（たとえば、変数の第一および第二出現の相対的位置）を維持する帰納的構成法を用いて、置換を再帰的に定義する。
• 重要な主張（例：主張3、主張8）を用いて、語内の文字列の可能な組み合わせを制限し、与えられた条件下で特定の部分語パターンが必須となるようにする。
• 長方程式が短方程式から導出できないこと、および、完全性を失わずに1つの方程式を削除できないことを示す。
• 証明により、構成されたモノイドの方程式的理論が有限に公理化できないこと、かつ任意の完全な公理化は無限かつ冗長でないことが確立される。

実験結果

リサーチクエスチョン

• RQ1 恒等元の強い帰納的影響にもかかわらず、有限モノイドが無限の冗長でないモノイド恒等式基底を有し得るか？
• RQ2 有限代数が、方程式的理論が有限に公理化できないにもかかわらず、任意の完全な公理化において冗長な方程式を含まないことは可能か？
• RQ3 モノイドにおける恒等元の存在は、半群と比較して無限の冗長でない公理化の可能性にどのように影響するか？
• RQ4 有限モノイドにおいて、短い方程式が長い方程式を導出できないのを防ぐ語および変数出現の構造的性質は何か？
• RQ5 有限モノイドに無限の冗長でない方程式的基底が存在する場合、その多様体が連続体個の部分多様体を持つことを意味するか？

主な発見

• 方程式的理論が有限に公理化できないこと、かつ任意の完全な基底において冗長な方程式がない、明示的な有限冪零モノイドが構成された。
• 構成されたモノイドの方程式的理論が無限かつ冗長でないことが示された。これは、任意の完全な基底に含まれるすべての方程式が論理的に必要不可欠であり、他のものから導出できないことを意味する。
• 証明により、基底内の長方程式が短方程式から導出できないことが判明した。これは、変数出現の特定の構造と部分語パターンに起因する。
• 恒等元の存在が、無限の冗長でない公理化の可能性を必ずしも破壊しないことが、この構成により示された。これは予想に反する。
• この例は多くの有限に公理化可能な多様体に含まれるが、自身の方程式的理論は無限かつ冗長でない公理化が可能である。
• 結果として、モノイド記号において無限の冗長でない方程式的公理化が可能であることが確認され、問題1.1が肯定的に解決された。