[논문 리뷰] Groups whose locally maximal product-free sets are complete

Chimere S. Anabanti, Grahame Erskine외 1명|arXiv (Cornell University)|2016. 09. 30.

Limits and Structures in Graph Theory참고 문헌 5인용 수 3

한 줄 요약

이 논문은 모든 국소적으로 최대의 곱-free 집합이 완전한 군—즉, '채워진 군'으로 분류한다. 이를 통해 2000 이하의 순서를 가진 채워진 군은 유한체 2-군과 특정 이면체, 순환, 비노르멀 군들 뿐임을 증명한다. 군론적 분석과 GAP에서의 계산 알고리즘을 사용하여, 채워진 군은 유한체 2-군이거나 다음의 유한 목록에 속함을 확인하였다: $ C_3, C_5, D_6, D_8, D_{10}, D_{12}, D_{14}, D_{22}, D_8 \times C_2, D_8 \ast Q_8 $, 및 $ (D_8 \ast Q_8) \times C_2 $로, 이러한 군들의 완전한 분류에 대한 추측을 확인한다.

ABSTRACT

Let $G$ be a finite group and $S$ a subset of $G$. Then $S$ is product-free if $S \cap SS = \emptyset$, and complete if $G^{\ast} \subseteq S \cup SS$. A product-free set is locally maximal if it is not contained in a strictly larger product-free set. If $S$ is product-free and complete then $S$ is locally maximal, but the converse does not necessarily hold. Street and Whitehead [J. Combin. Theory Ser. A 17 (1974), 219--226] defined a group $G$ as filled if every locally maximal product-free set $S$ in $G$ is complete (the term comes from their use of the phrase `$S$ fills $G$' to mean $S$ is complete). They classified all abelian filled groups, and conjectured that the finite dihedral group of order $2n$ is not filled when $n=6k+1$ ($k\geq 1$). The conjecture was disproved by two of the current authors in [Austral. J. Combin. 63 (3) (2015), 385--398], where we also classified the filled groups of odd order. In this paper we classify filled dihedral groups, filled nilpotent groups and filled groups of order $2^np$ where $p$ is an odd prime. We use these results to determine all filled groups of order up to 2000.

연구 동기 및 목표

• 모든 국소적으로 최대의 곱-free 집합이 완전한 군(즉, '채워진 군')인 유한 군을 분류하는 것.
• Street와 Whitehead의 추측을 해결하는 것—즉, $ n = 6k+1 $ 일 때 이면체군 $ D_{2n} $ 는 채워지지 않으며, 특정 $ n $ 에 대해서만 채워진다.
• 아벨 군과 홀수 순서 군을 넘어서, 이면체, 노르멀, 그리고 순서가 $ 2^n p $ 인 군(여기서 $ p $ 는 홀수 소수)에 대한 채워진 군의 분류를 확장하는 것.
• 이론적 결과와 계산적 검증을 통해 2000 이하의 순서를 가진 채워진 군의 전체 목록을 도출하는 것.

제안 방법

• 이면체, 노르멀, 그리고 $ 2^n p $-순서 군에서의 곱-free 집합에 대한 군의 구조와 관계를 이용한 이론적 분석.
• 기존 결과의 적용: 군이 채워지려면 모든 몫군과 부분군이 특정 조건을 만족해야 하며, 특히 지수 3 또는 5인 정규부분군에 대해 그러한 조건이 필요하다.
• GAP에서 사용된 자동사상군 궤도를 활용하여 국소적으로 최대의 곱-free 집합에 대한 탐색 공간을 줄이는 효율적인 알고리즘 개발.
• 점진적으로 집합을 확장하면서 $ S \cup SS \cup \cdots $ 에 의해 아직 커버되지 않은 원소들을 추적하는 재귀적 확장 알고리즘의 구현. 이는 완전성 검증을 보장한다.
• 하이브리드 전략의 사용: 먼저 이론적 필터(예: 홀수 순서이면 채워지지 않음)를 적용하고, 이후 무작위 탐색을 실시하며, 최종적으로 미해결 케이스에 대해 전수 탐색을 실시한다.
• GAP의 소그룹 라이브러리에 포함된 2000 이하의 모든 군에 대해 계산적 검증을 통해 결과를 검증한다.

실험 결과

연구 질문

• RQ1 어떤 이면체군 $ D_{2n} $ 이 채워지며, 즉 모든 국소적으로 최대의 곱-free 집합이 완전한가?
• RQ2 어떤 노르멀 군이 채워지며, 이 성질을 보장하는 구조적 조건은 무엇인가?
• RQ3 순서가 $ 2^n p $ 인 군(여기서 $ p $ 는 홀수 소수)에서, 어떤 조건이 채워짐을 결정하는가?
• RQ4 홀수 순서를 가진 채워진 군는 $ C_3 $ 과 $ C_5 $ 이외에 존재하는가? 이러한 군들의 전체 분류는 무엇인가?
• RQ5 2000 이하의 순서를 가진 채워진 군의 전체 목록은 무엇이며, 이는 유일하게 특정 군들 뿐이라는 추측을 확인하는가?

주요 결과

• 홀수 순서를 가진 채워진 군은 오직 $ C_3 $ 과 $ C_5 $ 뿐이며, 이는 이전 연구 결과를 확인한다.
• 이면체군 $ D_6, D_8, D_{10}, D_{12}, D_{14}, D_{22} $ 는 채워지지만, $ n = 6k+1 $ 일 때 $ D_{2n} $ 는 채워지지 않으며, 이는 원래의 추측을 반박한다.
• 순서가 $ 4n $ 인 일반화된 퀼러터니언 군은 $ n \geq 2 $ 일 때 채워지지 않으며, 이는 이전에 이미 증명된 lin.
• 순서가 $ 2^n p $ 인 군(여기서 $ p $ 는 홀수 소수)에서 채워진 군은 $ n = 1 $ 이고 $ p = 3 $ 또는 $ 5 $ 인 경우 또는 특정 작은 경우에 한해 존재한다.
• 2000 이하의 순서를 가진 채워진 군의 전체 목록은 오직 유한체 2-군과 유한한 비아벨 군 집합뿐이며, 이는 $ D_8 \times C_2 $, $ D_8 \ast Q_8 $, 및 $ (D_8 \ast Q_8) \times C_2 $ 포함된다.
• 저자들은 추측을 확인한다. 즉, 채워진 군은 오직 유한체 2-군과 다음 목록의 특정 군들 뿐이며, 그 목록은 $ C_3, C_5, D_6, D_8, D_{10}, D_{12}, D_{14}, D_8 \times C_2, D_{22}, D_8 \ast Q_8, (D_8 \ast Q_8) \times C_2 $ 이다.