[논문 리뷰] Infinite irredundant equational axiomatisability for a finite monoid

Marcel Jackson|arXiv (Cornell University)|2015. 11. 18.

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)은 단어 내 가능한 문자열의 순서를 제약하여, 주어진 조건 하에서 특정한 부분어구 패턴이 반드시 발생해야 한다고 보장한다.
• 이 방법은 기초 내의 긴 등식들이 짧은 등식들로부터 도출될 수 없음을 보이며, 어떤 하나의 등식도 완전성 손실 없이 제거될 수 없음을 보여준다.
• 이러한 논증은 구성된 모노이드의 등식 이론이 유한기초화되지 않으며, 모든 완전한 기초화가 반드시 무한하고 비과도해야 한다고 확립한다.

실험 결과

연구 질문

• RQ1 항등원의 강력한 추론 영향에도 불구하고, 유한한 모노이드가 모노이드 항등식의 무한한 비과도 기초를 가질 수 있는가?
• RQ2 유한한 대수에서 등식 이론이 유한기초화되지 않지만, 어떤 완전한 기초화에서도 과도한 등식이 없는가?
• RQ3 모노이드에서 항등원의 존재는 반군과 비교할 때 무한한 비과도 기초화의 가능성을 어떻게 영향을 미치는가?
• RQ4 유한한 모노이드에서 등식 내의 단어 및 변수 발생의 구조적 성질은 짧은 등식들이 긴 등식들을 유도하는 것을 방지하는가?
• RQ5 유한한 모노이드에서 무한한 비과도 등식 기초가 존재한다면, 그 다양체는 연속체 만큼의 부분다양체를 갖는가?

주요 결과

• 등식 이론이 유한기초화되지 않으며, 어떤 완전한 기초화에서도 과도한 등식이 없는 유한한 노름단순 모노이드를 명시적으로 구성하였다.
• 구성된 모노이드의 등식 이론은 무한하고 비과도함을 보이며, 어떤 완전한 기초화 내의 모든 등식이 논리적으로 필수적이며 다른 등식들로부터 도출될 수 없음을 입증하였다.
• 기초 내의 긴 등식들이 변수 발생과 부분어구 패턴의 특수한 구조로 인해 짧은 등식들로부터 도출될 수 없다는 것이 증명되었다.
• 항등원의 존재가 무한한 비과도 기초화 가능성을 반드시 파괴하지는 않으며, 이는 예상과는 다르게 나타났다.
• 이 예시는 많은 유한기초화 다양체에 속해 있지만, 그 자체의 등식 이론은 여전히 무한하고 비과도하게 기초화 가능하다.
• 결과적으로, 모노이드 서명에서 무한한 비과도 등식 기초화가 가능함을 확인하였으며, 문제 1.1에 대해 긍정적으로 해결하였다.