[논문 리뷰] On the Rees-Sushkevich variety

Stanislav Kublanovsky|arXiv (Cornell University)|2010. 09. 15.

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

한 줄 요약

이 논문은 주어진 반군 계열이 주어진 조건을 만족하는 완전히 0-간단한 반군에 의해 생성되는 Rees–Sushkevich 계열인지 결정할 수 있는 결정 가능 알고리즘을 수립한다. 이는 유한한 지수를 가진 주기적 군 위의 완전히 0-간단한 반군을 특징짓는 항등식으로 정의된 계열이다. 이 논문은 이러한 계열이 13개의 특정 유한 반군의 부재로 특징지어짐을 증명하고, 항등식과 잔여 유한성 조건을 이용한 알고리즘 기반 기준을 제공하며, 잔여 성질과 완전히 0-간단한 반군에 의해 생성되는 정확한 계열에 대한 적용을 포함한다.

ABSTRACT

We study varieties of semigroups related to completely 0-simple semigroup. We present here an algorithmic descriptions of these varieties in terms of "forbidden" semigroups. We also describe residually completely 0-simple varieties of semigroups in terms of identities.

연구 동기 및 목표

• 주어진 반군 계열이 완전히 0-간단한 반군에 의해 생성되는 Rees–Sushkevich 계열인지, 즉 유한 지수를 가진 주기적 군 위의 완전히 0-간단한 반군에 의해 생성되는지 결정하는 것.
• 금지된 유한 반군과 항등식을 사용하여 Rees–Sushkevich 계열에 대한 알고리즘 기반 특성화를 제공하는 것.
• 완전히 0-간단한 반군에 의해 생성되는 계열(‘정확한’ 계열로 불림)을 보다 광범위한 Rees–Sushkevich 계열의 범주 안에서 특성화하는 것.
• 이 계열 내에서 잔여 성질—특히 잔여 유한성 및 Brandt 또는 B₂ 반군에 대한 잔여성—을 조사하는 것.
• 정확한 계열의 등식 이론의 결정 가능성을 확립하고, 이를 지수 n에 대한 Burnside 문제의 결정 가능성과 연결하는 것.

제안 방법

• 모든 Rees–Sushkevich 계열에서 금지되어야 할 13개의 특정 유한 반군 표현을 제시한다.
• 모든 비균형 항등식으로 정의된 어떤 계열도 특정한 x^m = x^{m+n} 형태의 항등식을 만족함을 이용하여, r ≤ n 인 K_r 반군에 대해 유한하게 검증 가능함을 활용한다.
• 균형 잡힌 항등식의 개념을 적용: 만약 시스템 내 모든 항등식이 균형 잡혀 있다면, 계열은 모든 교환 반군을 포함하게 되며, 이는 Rees–Sushkevich 계열일 수 없음을 의미한다.
• Green의 관계 L, R, H를 사용하여 계열 내에서 잔여 유한성과 잔여성을 특성화한다.
• Adian, Ivanov 등이 확립한 Burnside 문제에 대한 기존 결과를 활용하여, 홀수 n ≥ 665 이며 n > 2^48 이고 2^9로 나누어떨어지는 경우에 등식 이론의 결정 가능성을 입증한다.
• 반군 표현과 항등식 체계를 사용하여 잔여 성질에 기반한 계열 분류 및 Brandt 반군에의 통합을 수행한다.

실험 결과

연구 질문

• RQ1 유한 표현된 반군 계열이 Rees–Sushkevich 계열인지 여부를 결정하는 알고리즘이 존재하는가?
• RQ2 완전히 0-간단한 반군에 의해 생성되는 어떤 반군 계열이 있으며, 이를 어떻게 특성화할 수 있는가? (이를 ‘정확한’ 계열이라 한다.)
• RQ3 모든 반군이 B₂에 대해 잔여적이거나 Brandt에 대해 잔여적인 계열을 특성화하는 항등식은 무엇인가?
• RQ4 지수 n에 대한 주기적 군의 등식 이론의 결정 가능성은 Rees–Sushkevich 계열을 식별하는 데 결정 가능성을 어떻게 연결하는가?
• RQ5 Green의 관계 L, R, H는 Rees–Sushkevich 계열 내에서 잔여 유한성과 잔여성을 특성화하는 데 어떤 역할을 하는가?

주요 결과

• 반군 계열 V가 Rees–Sushkevich 계열이 되는 것은, 주어진 13개의 특정 유한 반군을 포함하지 않을 때에만 성립한다.
• Rees–Sushkevich 계열을 식별하는 문제는 결정 가능하며, 이는 유한 개의 금지된 반군과 r ≤ n 인 K_r 반군에 대한 테스트만으로도 가능함을 보여준다.
• 완전히 0-간단한 반군에 의해 생성되는 모든 계열(‘정확한’ 계열)은 Rees–Sushkevich 계열이며, 이러한 계열은 B₂, A₀, A₂, N₂ 반군과 관련된 조건으로 특성화된다.
• 모든 정확한 반군 계열의 집합은 반군 계열의 랏의 부분격자(sublattice)를 이룬다. 이는 놀라운 구조적 결과이다.
• 모든 반군이 B₂에 대해 잔여적이거나 Brandt에 대해 잔여적인 계열은 세 가지 특정 항등식 집합으로 특성화되며, 이러한 계열은 잔여 유한이거나 정상 올바른 밴드의 군으로의 확장(중복)일 수 있다.
• 홀수 n ≥ 665 이며 n > 2^48 이고 2^9로 나누어떨어지는 경우, 지수 n에 대한 주기적 군의 등식 이론은 결정 가능하며, 이는 모든 완전히 0-간단한 반군이 주기적 군의 지수 n에 대해 생성하는 계열과 일치하는지 여부를 결정할 수 있는 알고리즘이 존재함을 시사한다.