[논문 리뷰] Algebra in superextensions of groups, I: zeros and commutativity

Тарас Банах, Volodymyr Gavrylkiv외 1명|arXiv (Cornell University)|2008. 02. 13.

semigroups and automata theory참고 문헌 5인용 수 15

한 줄 요약

이 논문은 군 $X$의 슈퍼확장 $λ(X)$의 대수적 구조를 조사한다. $λ(X)$는 군 연산을 확장하는 오른쪽-위상적 반군이다. 오른쪽 제로는 불변 최대 연결 시스템으로 특징지어지며, $λ(X)$가 오른쪽 제로를 가진다는 것은 모든 $X$의 원소가 홀수 차수를 가진다는 것과 동치임을 증명한다. $λ(X)$는 $|X| \leq 4$일 때에만 교환법칙을 만족하며, $|X| \leq 5$이면서 홀수일 때에만 제로를 포함한다.

ABSTRACT

Given a group $X$ we study the algebraic structure of its superextension $\lambda(X)$. This is a right-topological semigroup consisting of all maximal linked systems on $X$ endowed with the operation $$\mathcal A\circ\mathcal B=\{C\subset X:\{x\in X:x^{-1}C\in\mathcal B\}\in\mathcal A\}$$ that extends the group operation of $X$. We characterize right zeros of $\lambda(X)$ as invariant maximal linked systems on $X$ and prove that $\lambda(X)$ has a right zero if and only if each element of $X$ has odd order. On the other hand, the semigroup $\lambda(X)$ contains a left zero if and only if it contains a zero if and only if $X$ has odd order $|X|\le5$. The semigroup $\lambda(X)$ is commutative if and only if $|X|\le4$. We finish the paper with a complete description of the algebraic structure of the semigroups $\lambda(X)$ for all groups $X$ of cardinality $|X|\le5$.

연구 동기 및 목표

• 슈퍼확장 $λ(X)$의 대수적 성질을 분석한다. 여기서 $λ(X)$는 군 $X$ 위의 최대 연결 시스템에서 유도된 오른쪽-위상적 반군이다.
• 반군 $λ(X)$가 오른쪽 제로, 왼쪽 제로 또는 교환법칙을 만족하는 조건을 규명한다.
• 모든 $|X| \leq 5$인 군에 대해 $λ(X)$의 대수적 구조를 완전히 특징짓는다.
• 군론적 성질(예: 원소의 차수, 군의 크기)과 반군 구조 $λ(X)$ 사이의 관계를 명확히 한다.

제안 방법

• 모든 최대 연결 시스템으로 구성된 집합으로서 $λ(X)$를 정의하고, 군 연산을 확장하는 이진 연산을 부여한다.
• 반군 구조를 정의하기 위해 연산 $\mathcal{A} \circ \mathcal{B} = \{ C \subset X : \{x \in X : x^{-1}C \in \mathcal{B}\} \in \mathcal{A} \}$를 사용한다.
• 오른쪽 제로를 불변 최대 연결 시스템, 즉 군의 이동에 대해 닫혀 있는 시스템으로 특징지운다.
• 최대 연결 시스템의 성질과 불변성의 성질을 이용하여, $λ(X)$가 오른쪽 제로를 가진다는 것은 모든 $X$의 원소가 홀수 차수를 가진다는 것과 동치임을 증명한다.
• 반군 $λ(X)$가 왼쪽 제로를 포함하는 것과 제로를 포함하는 것이 동치이며, 이는 $|X| \leq 5$이면서 $|X|$가 홀수일 때 정확히 성립함을 증명한다.
• $|X| \leq 5$인 모든 군에 대해 $λ(X)$를 완전히 분류하고, 사례별로 반군의 구조를 분석한다.

실험 결과

연구 질문

• RQ1 군 $X$의 슈퍼확장 $λ(X)$가 오른쪽 제로를 포함하는 조건은 무엇이며, 이러한 원소는 어떻게 특징지어지는가?
• RQ2 $λ(X)$에 제로가 존재하는 것과 $X$의 원소의 차수 사이의 관계는 무엇인가?
• RQ3 어떤 군 $X$에 대해 반군 $λ(X)$가 교환법칙을 만족하는가?
• RQ4 $λ(X)$가 왼쪽 제로를 포함하는 조건은 무엇이며, 이는 제로 존재성과 어떻게 관련되어 있는가?
• RQ5 $|X| \leq 5$인 모든 군에 대해 $λ(X)$의 완전한 대수적 구조는 무엇인가?

주요 결과

• 반군 $λ(X)$가 오른쪽 제로를 가진다는 것은 모든 $X$의 원소가 홀수 차수를 가진다는 것과 동치이다.
• 반군 $λ(X)$가 왼쪽 제로를 포함하는 것은 제로를 포함하는 것과 동치이며, 이는 $|X| \leq 5$이면서 $|X|$가 홀수일 때 정확히 성립한다.
• 반군 $λ(X)$가 교환법칙을 만족하는 것은 $|X| \leq 4$일 때에만 성립한다.
• $|X| \leq 5$인 모든 군에 대해, 본 논문은 $λ(X)$의 대수적 구조를 완전히 기술하며, 제로의 존재 여부와 성격, 교환법칙 여부를 포함한다.
• 반군 $λ(X)$의 오른쪽 제로는 불변 최대 연결 시스템, 즉 $X$의 원소에 의한 왼쪽 이동에 대해 닫혀 있는 최대 연결 시스템으로 특징지어진다.
• $|X| \leq 5$인 경우 $λ(X)$의 구조는 완전히 분류되었으며, 군의 크기와 원소의 차수에 따라 반군 성질을 명시적으로 규명하였다.