[논문 리뷰] Isolated subsemigroups in the variants of T_n

Volodymyr Mazorchuk, Galyna Tsyaputa|arXiv (Cornell University)|2005. 03. 23.

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

한 줄 요약

이 논문은 전단사 변환 반군 $\mathcal{T}_n$ 의 변형에서, 등급이 1인 원소를 사용한 샌드위치 곱 $x*_{a}y = xay$ 를 통해 변형된 곱셈에서 고립, 완전 고립, 볼록 부분반군을 분류한다. 저자들은 안정 랭크에 따라 분석을 세 가지 경우로 나누어 최대 안정 랭크, $l-1$, 그리고 $l-2$ 이하로 나누며, 안정 랭크 $l-1$ 인 부분반군이 가장 복잡한 클래스임을 드러내고, 낮은 랭크 요소들은 고립 부분반군에 포함되어야 함을 보여준다.

ABSTRACT

We classify all isolated, completely isolated, and convex subsemigroups in the semigroup T_n of all transformations of an n-element set, considered as the semigroup with respect to a sandwich operation.

연구 동기 및 목표

• 전체 전단사 변환 반군 $\mathcal{T}_n$ 의 변형에서 고립, 완전 고립, 볼록 부분반군을 모두 분류하는 것.
• 샌드위치 곱 $x*_{a}y = xay$ 에서, 특히 샌드위치 원소 $a$ 가 등급원소일 경우 부분반군의 구조를 이해하는 것.
• 안정 랭크가 분류를 조직화하는 데 어떻게 기여하는지 분석하여, 최대 안정 랭크 $l$, $l-1$, 그리고 $l-2$ 이하로 세 가지 경우로 문제를 분할하는 것.
• 이러한 변형에서 고립, 완전 고립, 좌/우 볼록, 볼록 부분반군이 되는 조건을 규명하는 것.
• 샌드위치 원소의 랭크가 1 또는 2일 경우와 같은 특수 케이스에 대해 부분반군의 명시적 기술을 제공하는 것.

제안 방법

• 샌드위치 곱 $x*_{a}y = xay$ 를 사용하며, $a$ 는 등급원소로 간주하여 일반성을 잃지 않고 $a$ 가 등급원소임을 가정한다.
• 요소의 안정 랭크에 따라 부분반군을 분류하며, 안정 랭크는 요소가 생성하는 순환 부분반군 내에서의 유일한 등급원소의 랭크이다.
• $\mathcal{T}_n^{(l)}$ 의 구조를 분석하여 최대 안정 랭크 $l$ 을 가진 요소들의 집합이 부분반군을 이루며, 자연스러운 동치관계를 통해 직사각형 밴드로의 몫이 된다는 것을 보인다.
• $\mathcal{T}_n^{(l)}$ 에서 직사각형 밴드로의 사영을 통해 밴드의 부분반군과 $\mathcal{T}_n^{(l)}$ 의 고립 부분반군 사이의 전단사 사상 수립.
• 안정 랭크 $l-1$ 인 요소들의 고립 부분반군을 세 가지 서로 다른 유형으로 분류하며, 첫 번째 유형은 $\mathcal{T}_n^{(l)}$ 의 경우와 유사하고, 나머지 두 유형은 첫 번째 유형의 여러 복사본으로 구성된다.
• 고립 부분반군이 안정 랭크 $\leq l-2$ 인 요소를 포함하면, 반드시 안정 랭크 $\leq l-1$ 인 모든 요소를 포함해야 하며, 이는 강력한 구조적 제약 조건을 의미한다.

실험 결과

연구 질문

• RQ1 모든 $\mathcal{T}_n$ 의 변형에서 고립 부분반군의 완전한 분류는 무엇인가?
• RQ2 $\mathcal{T}_n$ 의 변형들 사이에서 고립, 완전 고립, 좌/우 볼록, 볼록 부분반군의 구조적 차이는 무엇인가?
• RQ3 요소의 안정 랭크가 고립 부분반군의 구조를 결정하는 데 어떤 역할을 하는가?
• RQ4 왜 안정 랭크 $l-1$ 인 요소들이 가장 복잡하고 비자명한 고립 부분반군의 클래스를 만들어내는가?
• RQ5 샌드위치 원소의 랭크가 최소 또는 작을 경우(예: 1 또는 2) 고립 부분반군의 구조는 어떻게 변하는가?

주요 결과

• 모든 $\mathcal{T}_n$ 의 변형에서 최대 안정 랭크 $l$ 을 가진 요소들의 집합 $\mathcal{T}_n^{(l)}$ 은 부분반군을 이루며, $\mathcal{T}_n^{(l)}$ 의 고립 부분반군은 자연스러운 몫 사상에 의해 직사각형 밴드의 부분반군과 전단사로 대응된다.
• 안정 랭크 $l-1$ 인 요소들의 고립 부분반군은 세 가지 서로 다른 유형으로 분류되며, 첫 번째 유형은 $\mathcal{T}_n^{(l)}$ 의 구조와 유사하고, 나머지 두 유형은 첫 번째 유형의 여러 복사본으로 구성된다.
• 고립 부분반군이 안정 랭크 $\leq l-2$ 인 요소를 포함하면, 반드시 안정 랭크 $\leq l-1$ 인 모든 요소를 포함해야 하며, 이는 강력한 닫힘 성질을 보여준다.
• 샌드위치 원소의 랭크가 1일 경우, 고립 부분반군은 공집합이 아닌 $X \subset N$ 에 대해 $\bigcup_{i\in X} \sqrt{\theta_i}$ 의 형태이며, 모든 고립 부분반군은 완전 고립이고 오른쪽 볼록이다.
• 샌드위치 원소의 랭크가 2일 경우, 고립 부분반군은 공집합이 아닌 부분집합 $X \subset \mathcal{X}$, $Y \subset \mathcal{Y}$ 에 대해 $F(X,Y)$ 와 $F(X,Y) \cup \mathcal{T}_n^{(1)}$ 을 포함하며, 볼록 부분반군은 $\mathcal{T}_n$ 과 $\mathcal{T}_n^{(2)}$ 뿐이다.
• 특히 $n=2$ 일 경우, 고립 부분반군은 $\mathcal{T}_2$, $\mathcal{S}(\{1,2\})$, $\mathcal{T}_2 \setminus \mathcal{S}(\{1,2\})$, 그리고 두 개의 최대 부분군 $G(\varepsilon_{1,2})$, $G(\varepsilon_{2,1})$ 이며, 완전 고립 부분반군은 첫 세 개이다.