[논문 리뷰] Two Generalizations of Homogeneity in Groups with Applications to Regular Semigroups

João Araüjo, Peter J‎. Cameron|arXiv (Cornell University)|2012. 04. 10.

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

한 줄 요약

이 논문은 군론적 개념으로서 (k−1,k)-균일성과 k-일반 전이성 성질을 도입하고, k ≤ ⌊(n+1)/2⌋ 인 경우 이러한 성질을 갖는 군들을 분류한다. 주요 기여는 임의의 랭크 k 변환과 함께 군을 생성할 때 정규 반군을 생성하는 군들을 완전히 분류한 것으로, 반군 이론에서 오랫동안 남아 있던 문제를 해결하며, 군 작용과 집합, 분할에 대한 깊이 있는 구조적 결과를 통해 순열 군 이론과 연결한다.

ABSTRACT

Let $X$ be a finite set such that $|X|=n$ and let $i\leq j \leq n$. A group $G\leq \sym$ is said to be $(i,j)$-homogeneous if for every $I,J\subseteq X$, such that $|I|=i$ and $|J|=j$, there exists $g\in G$ such that $Ig\subseteq J$. (Clearly $(i,i)$-homogeneity is $i$-homogeneity in the usual sense.) A group $G\leq \sym$ is said to have the $k$-universal transversal property if given any set $I\subseteq X$ (with $|I|=k$) and any partition $P$ of $X$ into $k$ blocks, there exists $g\in G$ such that $Ig$ is a section for $P$. (That is, the orbit of each $k$-subset of $X$ contains a section for each $k$-partition of $X$.) In this paper we classify the groups with the $k$-universal transversal property (with the exception of two classes of 2-homogeneous groups) and the $(k-1,k)$-homogeneous groups (for $2

연구 동기 및 목표

• 1 ≤ k ≤ ⌊(n+1)/2⌋ 인 경우, [n] 위의 임의의 랭크 k 변환과 함께 정규 반군을 생성하는 Sₙ의 부분군 G ≤ Sₙ를 분류하는 것.
• 군의 균일성의 두 가지 새로운 일반화인 (k−1,k)-균일성과 k-일반 전이성 성질을 도입하고 분석하는 것.
• 구조적 함의를 확립하는 것: (k−1,k)-균일성 군은 (k−2,k−1)-균일성 군이 되며, 두 가지 예외를 제외하고는 항상 성립한다. 또한 k-일반 전이성 군은 항상 (k−1)-일반 전이성 성질을 갖는다 (예외 없음).
• 선형 대수학과 행렬 이론으로의 결과 확장을 위한 기초를 마련하는 것. 유한 체 위의 동치 개념과 선형 군에 대한 응용을 포함한다.
• 군 이론, 반군 이론, 행렬 이론 분야에서 열린 문제를 제기하는 것. 특히 선형 군에서의 정규성과 생성에 관한 문제를 중심으로 한다.

제안 방법

• i ≤ j 일 때, 임의의 i-부분집합을 임의의 j-부분집합으로 매핑할 수 있는 군 원소가 존재하는 것을 (i,j)-균일성으로 정의한다.
• k-일반 전이성 성질을 도입한다: 임의의 k-부분집합 I와 [n]의 임의의 k-분할 P에 대해, g ∈ G 가 존재하여 Ig 가 P의 섹션을 이루는 성질.
• 특히 원시적이고 거의 단순한 군을 포함한 순열 군 이론의 분류 결과를 활용하여, k-일반 전이성 성질을 갖는 군들을 특성화한다.
• (k−1,k)-균일성 군의 분류 결과를 활용하여, 낮은 수준의 균일성과 전이성 성질에 대한 함의를 도출한다.
• 기존의 부분공간에 대한 추이성 작용 결과(예: 칸토어의 정리 등)를 활용하여 선형 동치를 분석하고, SL(n,q)에 포함됨을 추측한다.
• 변환 반군의 구조와 영업원소의 역할을 활용하여, 랭크 k 매핑 a에 대해 ⟨G,a⟩의 정규성 분석을 수행한다.

실험 결과

연구 질문

• RQ1 1 ≤ k ≤ ⌊(n+1)/2⌋ 인 경우, 모든 a ∈ Tₙ 중 랭크 k인 원소에 대해 ⟨G,a⟩가 정규 반군이 되는 Sₙ의 부분군 G ≤ Sₙ는 무엇인가?
• RQ2 어느 k 값에 대해 k-일반 전이성 성질이 (k−1)-일반 전이성 성질과 동치가 되며, (k−1,k)-균일성의 경우 예외가 존재하는가?
• RQ3 유한 단순군의 분류에 의존하지 않고도 k-일반 전이성 성질을 특성화할 수 있는가?
• RQ4 선형 군과 특이 행렬로 생성되는 반군에서 정규성 조건의 선형 동치는 무엇인가?
• RQ5 k-일반 전이성 성질을 만족하는 군들은 반드시 대규모 n에 대해 PSL(d,q) 또는 SL(n,q)를 포함하는가?

주요 결과

• k ≤ ⌊(n+1)/2⌋ 인 경우, 두 가지 2-균일성 군의 클래스를 제외하고, k-일반 전이성 성질을 갖는 모든 군들이 분류되었다.
• 모든 (k−1,k)-균일성 군은 (k−2,k−1)-균일성 군이며, 정확히 두 가지 예외를 제외하고는 항상 성립한다.
• k-일반 전이성 성질을 갖는 군들은 항상 (k−1)-일반 전이성 성질을 갖는다. 예외 없이 성립한다.
• 1 ≤ k ≤ ⌊(n+1)/2⌋ 인 경우, 임의의 랭크 k 변환과 함께 정규 반군을 생성하는 군들의 분류가 완료되었으며, 이는 정리 1.1을 확장한다.
• n ≥ 12 인 경우, G ≤ Sₙ 이고, 모든 랭크 ⌊n/2⌋ 매핑 a에 대해 ⟨G,a⟩가 정규 반군이면, G는 반드시 Aₙ 또는 Sₙ여야 한다는 것이 유도된다.
• 군론적 성질(예: 전이성 및 균일성)과 반군의 정규성 사이에 강력한 연결고리를 확립하였으며, 완전한 구조적 특성화를 제공한다.