[논문 리뷰] On disjunctions of equations over finite simple semigroups

Аrtеm N. Shevlyakov|arXiv (Cornell University)|2013. 05. 24.

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

한 줄 요약

이 논문은 유한 단순 반군이 대수적 집합의 유한 합이 대수적임을 의미하는 등식 도메인이 되기 위한 필요 및 충분 조건을 그의 리스 행렬 표현을 사용하여 설정한다. 유한 단순 반군 중에서 자명한 중심을 가진 것은 등식 도메인이 될 수 있음을 증명하고, 반면에 비자명한 중심을 가진 반군(영 원소를 가진 경우, 교환 법칙이 성립하는 경우, 또는 비군 호모그룹인 경우 포함)은 등식 도메인이 될 수 없음을 보이며, 반군 위에서의 대수기하학 분야의 핵심 문제를 해결한다.

ABSTRACT

A semigroup $S$ is called an equational domain if any finite union of algebraic sets over $S$ is algebraic. For a finite simple semigroup we find necessary and sufficient conditions to be an equational domain. Moreover, we study semigroups with nontrivial center and prove that any such semigroup is not an equational domain.

연구 동기 및 목표

• 유한 단순 반군이 등식 도메인이 되기 위한 필요 및 충분 조건을 규명하는 것.
• 등급이 아닌 비자명한 반군이 등식 도메인이 될 수 있는지 여부를 해결하는 것.
• 기존의 등식 도메인 결과를 군에서 반군으로 확장하고, 특히 유한 단순 반군에 초점을 맞추는 것.
• 반군의 중심이 등식 도메인 성질에 미치는 영향을 조사하는 것.
• 유한 단순 등식 도메인 반군에 항등원을 첨가할 경우 등식 도메인 성질이 유지되는지 확인하는 것.

제안 방법

• 유한 군 $G$와 $G$ 위의 정규화된 행렬 $\mathbf{P}$를 갖는 리스 행렬 반군 $S = (G, \mathbf{P}, \Lambda, I)$를 통해 유한 단순 반군을 표현한다.
• 변수와 반군 원소의 곱으로 이루어진 표현식 $t(X) = s(X)$를 통해 반군 위에서 정의된 대수적 집합의 구조를 사용한다.
• 등식 도메인 개념을 유한 합이 대수적 집합이 되는 반군로 적용한다.
• 이deals과 중심 원소를 사용하여 특정 논리합이 대수적이지 않음을 보여주는 반례를 구성한다.
• 교환 법칙을 적용하고 원소 수준의 계산을 통해, 어떤 논리합이 대수적이라고 가정했을 때 모순을 이끌어내는 방법을 사용한다.
• 유한 군에서는 $x^{-1} = x^{|G|-1}$를 통해 음의 거듭제곱을 양의 거듭제곱으로 변환할 수 있음을 활용하여 군의 방정식을 반군의 방정식으로 변환한다.

실험 결과

연구 질문

• RQ1 유한 단순 반군이 등식 도메인이 되기 위한 필요 및 충분 조건은 무엇인가?
• RQ2 등급이 아니지만 비자명한 반군이 등식 도메인이 될 수 있는가?
• RQ3 비자명한 중심이 반군의 등식 도메인 성질에 미치는 영향은 무엇인가?
• RQ4 유한 단순 반군에 항등원을 첨가할 경우 등식 도메인 성질이 유지되는가?
• RQ5 영 원소를 가진 반군 또는 교환 법칙이 성립하는 반군이 등식 도메인이 될 수 있는가?

주요 결과

• 유한 단순 반군 $S = (G, \mathbf{P}, \Lambda, I)$는 $|\Lambda| = |I| = 1$ 또는 $G$가 자명하고 $|\Lambda| = |I| = 1$일 때 등식 도메인이 되며, 이는 $S$가 군임을 의미한다.
• 논문은 비군 유한 단순 반군이 등식 도메인이 되는 명시적 예를 구성하여 비자명한 비군 등식 도메인의 존재 문제에 대한 긍정적 해결을 확인한다.
• 유한 단순 등식 도메인 반군에 항등원을 첨가하는 것은 등식 도메인 성질을 유지한다.
• 비자명한 중심을 가진 반군은 중심 원소 $e$에 대해 $ae \neq a$를 만족하는 원소 $a$가 존재할 경우 등식 도메인이 될 수 없다.
• 영 원소를 가진 비자명한 반군, 교환 법칙이 성립하는 반군, 비군 호모그룹은 등식 도메인이 아니다.
• 호모그룹의 커널은 군이며, 반군이 등식 도메인이라면 반드시 군이어야 하며, 즉 $S = Ker(S)$여야 한다.