[논문 리뷰] Algebra in superextensions of inverse semigroups

Тарас Банах, Volodymyr Gavrylkiv|arXiv (Cornell University)|2011. 09. 06.

semigroups and automata theory참고 문헌 11인용 수 4

한 줄 요약

이 논문은 초확장(superextensions)이 역반군인 경우를 특성화한다. 구체적으로, 최대 연결된 위가족의 반군 $\lambda(X)$, 필터 $\varphi(X)$, 연결된 위가족 $N_2(X)$, 그리고 위가족 $\upsilon(X)$가 역반군이 되는 조건을 다룬다. 논문은 $\lambda(X)$, $\varphi(X)$, $N_2(X)$, $\upsilon(X)$가 모두 역반군이 되는 것은 $X$가 유한 선형 반군 $L_n$ 또는 두 원소를 가진 군 $C_2$와 동형일 때에만 가능하다는 것을 증명한다. 주요 결과는 이러한 반군들의 확장 반군을 통해 전체적인 대수적 분류를 완성하는 것이다.

ABSTRACT

We find necessary and sufficient conditions on an (inverse) semigroup $X$ under which its semigroups of maximal linked systems $λ(X)$, filters $ϕ(X)$, linked upfamilies $N_2(X)$, and upfamilies $\upsilon(X)$ are inverse.

연구 동기 및 목표

• 주어진 역반군 $X$에 대해 그 초확장인 $\lambda(X)$, $\varphi(X)$, $N_2(X)$, $\upsilon(X)$가 역반군이 되는 데 필요한 필요충분조건을 규명하는 것.
• 필터, 연결된 위가족, 최대 연결된 위가족, 위가족의 반군이 역반군이 되는 모든 역반군 $X$를 분류하는 것.
• 이전의 군과 반군의 확장을 일반화하여, 보다 넓은 맥락인 역반군과 클리포드 반군의 초확장의 대수적 구조를 특성화하는 것.
• 초확장 반군이 역반군이 되는 경우, 특히 $\upsilon(X)$와 $N_2(X)$에서의 등급원의 교환성과 정규성 조건을 분석함으로써 $X$의 구조를 규명하는 것.

제안 방법

• 저자들은 $X$ 위의 이진 연산을 위가족 공간 $\upsilon(X)$로 확장하여, $\mathcal{A} * \mathcal{B} = \big\langle \bigcup_{a\in A} a * B_a : A\in\mathcal{A}, \{B_a\}_{a\in A} \subset \mathcal{B} \big\rangle$ 방식으로 반군 연산을 정의한다.
• 이들은 $\upsilon(X)$가 $\beta(X)$, $\lambda(X)$, $\varphi(X)$, $N_2(X)$, $X$를 닫힌 부분공간으로 포함하는 컴acts Hausdorff 오른쪽위상반군으로서의 구조를 분석한다.
• 논문은 기존의 역반군 및 클리포드 반군의 특성화(예: 등급원의 정규성과 교환성)를 적용하고, 이러한 성질이 초확장으로 어떻게 전이되는지 조사한다.
• 위상적 및 대수적 기법을 사용하여, $\upsilon(X)$와 $N_2(X)$에서의 비교환 등급원을 식별함으로써, $X$에 비선형적이거나 비자명한 부분군이 존재하지 않음을 규명한다.
• 증명은 모순에 기반하며, 비자명한 부분군이 존재한다고 가정하고, 교환되지 않는 필터와 위가족을 구성함으로써 필수적인 역반군 공리가 위배됨을 보인다.
• 이론적으로 알려진 결과를 활용하여, 예를 들어 모든 $x$에 대해 $xx^{-1} = x^{-1}x$이면 역반군이 클리포드 반군임을 보이고, 클리포드 반군은 서로 교환되는 등급원을 가진 군들의 합집합임을 적용한다.

실험 결과

연구 질문

• RQ1 어떤 역반군 $X$에 대해 최대 연결된 위가족의 반군 $\lambda(X)$가 역반군이 되는가?
• RQ2 어떤 조건에서 $X$ 위의 필터 반군 $\varphi(X)$가 역반군이 되는가?
• RQ3 $X$에 어떤 조건이 성립하면 연결된 위가족 반군 $N_2(X)$가 역반군이 되는가?
• RQ4 어떤 조건에서 전체 위가족 반군 $\upsilon(X)$가 역반군이 되는가?
• RQ5 만일 $\lambda(X)$, $\varphi(X)$, $N_2(X)$, 또는 $\upsilon(X)$ 중 하나의 초확장 반군이 역반군이라면, 그에 대응하는 $X$의 전체 대수적 구조는 무엇인가?

주요 결과

• $\lambda(X)$가 역반군이 되는 것은 $X$가 유한 선형 반군 $L_n$ 또는 두 원소를 가진 군 $C_2$와 동형일 때에만 가능하다.
• $\varphi(X)$가 역반군이 되는 것은 $X$가 $L_n$ 또는 $C_2$와 동형일 때에만 가능하며, 이는 $\varphi(X)$ 내의 등급원의 교환성과 비자명한 부분군의 부재에 기반한다.
• $N_2(X)$가 역반군이 되는 것은 $X$가 $L_n$ 또는 $C_2$와 동형일 때에만 가능하며, 이는 비자명한 부분군이 존재하면 $N_2(X)$에서 비교환 등급원이 생김을 보여서 증명된다.
• $\upsilon(X)$가 역반군이 되는 것은 $X$가 유한 선형 반군 $L_n$과 동형일 때에만 가능하며, $X$에 비자명한 부분군이 존재하면 $\upsilon(X)$에서 비교환 등급원이 생기기 때문이다.
• 논문은 $X$가 $L_1 \sqcup C_2 = \{0,1,-1\}$와 동형일 경우 $N_2(X)$가 역반군이 아니며, 이는 비교환 등급원 $\Delta$와 $\mathcal{F}$가 존재하기 때문이며, 이는 분류에서 제외됨을 증명한다.
• 분류는 완전하다: $\lambda(X)$, $\varphi(X)$, $N_2(X)$, $\upsilon(X)$ 중 하나의 초확장 반군이 역반군이 되는 유일한 역반군 $X$는 $L_n$ 또는 $C_2$와 동형인 경우뿐이다.