[논문 리뷰] Groebner-Shirshov bases for free inverse semigroups

L. A. Bokut, Yuqun Chen외 1명|arXiv (Cornell University)|2008. 04. 07.

semigroups and automata theory참고 문헌 29인용 수 3

한 줄 요약

이 논문은 Poliakova와 Schein의 2005년 정규 아이디포텐트 구성에 기반하여 자유 역반군에 대한 그로브너-شير쇼프 기저를 도입하고, deg-lex 단어 순서를 사용한다. 각 원소에 대해 유일하고 가장 짧은 정규형을 제공하며, 임의의 단어를 이 정규형으로 변환하는 구축 가능한 알고리즘을 제시하여 자유 역반군 내에서 단어 축약의 유일성과 효율성을 보장한다.

ABSTRACT

A new construction of a free inverse semigroup was obtained by Poliakova and Schein in 2005. Based on their result, we find a Groebner-Shirshov basis of a free inverse semigroup relative to the deg-lex order of words. In particular, we give the (unique and shortest) Groebner-Shirshov normal forms in the classes of equivalent words of a free inverse semigroup together with the Groebner-Shirshov algorithm to transform any word to its normal form.

연구 동기 및 목표

• 자유 역반군의 원소에 대해 그로브너-شير쇼프 기저를 이용한 구축 가능한 정규형을 개발하기 위해.
• 단어 표현의 비유일성 문제를 해결하기 위해 유일하고 가장 짧은 정규형을 식별하기 위해.
• 그로브너-شير쇼프 기저를 사용하여 임의의 단어를 그 유일한 정규형으로 변환하는 알고리즘적 방법을 제공하기 위해.
• Poliakova와 Schein의 프레임워크에서 유도된 정규 아이디포텐트를 활용하여 그로브너-شير쇼프 이론의 적용 범위를 역반군으로 확장하기 위해.

제안 방법

• X ∪ X⁻¹에서 생성된 자유 모노이드 위의 deg-lex 단어 순서를 사용하여 선도 단어와 조합을 정의하기 위해.
• Poliakova와 Schein의 구성에서 유도된 정규 아이디포텐트를 포함하는 정의 관계로부터 그로브너-شير쇼프 기저 S를 구성하기 위해.
• 조합-다이아몬드 보조정리를 적용하여 모든 조합(포함 및 교차)이 S에 대해 자명하다는 것을 증명하고, S가 그로브너-شير쇼프 기저임을 보장하기 위해.
• S에 대해 기저가 아닌 단어의 집합 Irr(S)를 정규형으로 정의하며, aā⁻¹ 형태의 부분단어가 없고 정규 아이디포텐트가 적절히 순서가 지정되어 있음을 특징으로 하기 위해.
• 정규 아이디포텐트 인자들의 첫 번째와 마지막 문자가 인접한 단어 부분과 일치하지 않도록 함으로써 유일성을 확보하기 위해.
• 기저 S를 사용하여 단계적 축약을 통해 임의의 단어를 그 유일한 정규형으로 축약하는 그로브너-شير쇼프 알고리즘을 구현하기 위해.

실험 결과

연구 질문

• RQ1 자유 역반군의 원소에 대해 그로브너-شير쇼프 기저를 사용하여 체계적으로 유일하고 가장 짧은 정규형을 유도할 수 있는가?
• RQ2 deg-lex 순서는 자유 역반군에 대한 그로브너-شير쇼프 기저를 구성하는 데 어떻게 적용될 수 있는가?
• RQ3 정규 아이디포텐트는 역반군의 정규형의 유일성 확보에 어떤 역할을 하는가?
• RQ4 모든 조합(포함 및 교차)이 구성된 기저에 대해 자명한가? 이는 기저가 그로브너-شير쇼프 기저임을 확인하는 데 기여한다.
• RQ5 그로브너-شير쇼프 알고리즘이 자유 역반군에서 임의의 단어를 그 유일한 정규형으로 효과적으로 축약하는 데 사용될 수 있는가?

주요 결과

• 기저 S에 대해 기저가 아닌 단어의 집합 Irr(S)는 자유 역반군 FI(X)의 각 원소에 대해 유일하고 가장 짧은 정규형을 형성한다.
• 정규형은 X ∪ X⁻¹에 속하는 y에 대해 yy⁻¹ 형태의 부분단어가 없고, 정규 아이디포텐트가 적절히 순서가 지정되어 있음을 특징으로 한다.
• 기저 S 내의 모든 포함 및 교차 조합은 S에 대해 자명하다. 이는 S가 그로브너-شير쇼프 기저임을 확인한다.
• 그로브너-شير쇼프 알고리즘은 임의의 단어를 그 유일한 정규형으로 축약하는 체계적이고 효과적인 방법을 제공한다.
• 정규형은 Poliakova와 Schein가 정의한 정규 단어의 부분집합이지만, 일반적인 정규 단어와 달리 각 원소에 대해 유일하게 결정된다.
• 이 구성은 Irr(S)에 속한 서로 다른 단어들이 FI(X)에서 서로 다른 원소를 나타냄을 보장하며, 정규형 사상의 단사성을 보장한다.