[논문 리뷰] The Large Davenport Constant II: General Upper Bounds

David J. Grynkiewicz|arXiv (Cornell University)|2012. 11. 12.

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

한 줄 요약

이 논문은 구조적 군 이론과 조합적 수열 분석을 활용하여 유한 비아벨 군에서의 큰 Davenport 상수 D(G)에 대한 새로운 일반적인 상한을 확립한다. 주요 결과로는 D(G) ≤ d(G) + 2|G′| − 1, 비순환군 중에서 홀수 차수의 이면군이 아닌 경우 D(G) ≤ (3/4)|G|, 그리고 p|(q−1)인 비아벨 군의 순서 pq에 대해 정확한 값 D(G) = 2q를 도출한다.

ABSTRACT

Let $G$ be a finite group written multiplicatively. By a sequence over $G$, we mean a finite sequence of terms from $G$ which is unordered, repetition of terms allowed, and we say that it is a product-one sequence if its terms can be ordered so that their product is the identity element of $G$. The small Davenport constant $\mathsf d (G)$ is the maximal integer $\ell$ such that there is a sequence over $G$ of length $\ell$ which has no nontrivial, product-one subsequence. The large Davenport constant $\mathsf D (G)$ is the maximal length of a minimal product-one sequence---this is a product-one sequence which cannot be partitioned into two nontrivial, product-one subsequences. The goal of this paper is to present several upper bounds for $\mathsf D(G)$, including the following: $$\mathsf D(G)\leq {ll} \mathsf d(G)+2|G'|-1, & where $G'=[G,G]\leq G$ is the commutator subgroup; \frac34|G|, & if $G$ is neither cyclic nor dihedral of order $2n$ with $n$ odd; \frac{2}{p}|G|, & if $G$ is noncyclic, where $p$ is the smallest prime divisor of $|G|$; \frac{p^2+2p-2}{p^3}|G|, & if $G$ is a non-abelian $p$-group. As a main step in the proof of these bounds, we will also show that $\mathsf D(G)=2q$ when $G$ is a non-abelian group of order $|G|=pq$ with $p$ and $q$ distinct primes such that $p\mid q-1$.

연구 동기 및 목표

• 아벨 군을 초월하여 유한 비아벨 군으로 큰 Davenport 상수 D(G) 이론을 확장하는 것.
• 특히 비아贝尔 p-군과 비순환군에 대해 기존 결과를 향상시키는 일반적인 상한을 D(G)에 대해 확립하는 것.
• 서로 다른 소수 p와 q에 대해 p|(q−1)인 비아벨 군의 순서 pq에 대해 D(G)의 정확한 값을 결정하는 것.
• 특히 교환자부군 G′과 시로우 부분군을 통해 D(G)의 군 구조에 대한 이해를 정교화하는 것.
• Davenport 상수 프레임워크를 통해 불변량 이론과 조합적 수론에 적용 가능한 도구와 상한을 제공하는 것.

제안 방법

• 제품-일치 수열과 부분군 구조에 관한 기술적 보조정리를 사용하여 상한 D(G) ≤ d(G) + 2|G′| − 1을 유도한다.
• 귀납법과 군 몫 기법을 사용하여, 특히 G/Z(G)와 G/G′를 분석함으로써 기존의 경우로 축소한다.
• 카우치-다벤포트 정리와 그 등호 조건을 적용하여 p-군 내의 부분집합 합과 제품-일치 수열을 제어한다.
• 밀러-모레노 분류를 통해 최소 비아벨 군을 분석하여 p-군과 pq-군으로 축소한다.
• 형식적 표현 이론을 사용하여 ⟨α, τ : α^n=1, τ^m=1, ατ=τα^r⟩ 형태의 군의 구조를 분석하고, m=4 및 r²≡−1 mod q일 때 D(G)를 계산한다.
• 이전 연구 [3]에서의 순환 지수 2 부분군과 몫군에서의 Davenport 상수 결과를 활용하여 재귀적 상한을 수립한다.

실험 결과

연구 질문

• RQ1 d(G)와 |G′|에 관해 비아벨 유한 군에서 D(G)에 대한 최적의 일반 상한은 무엇인가?
• RQ2 모든 비순환군 중에서 홀수 차수의 이면군과 동형이 아닌 경우 D(G) ≤ (3/4)|G|를 확립할 수 있는가?
• RQ3 서로 다른 소수 p와 q에 대해 p|(q−1)인 비아벨 군의 순서 pq에 대해 D(G)의 정확한 값은 무엇인가?
• RQ4 교환자부군 G′의 구조는 D(G)의 값에 어떤 영향을 미치는가?
• RQ5 모든 비순환군에 대해 D(G) ≤ (2/p)|G|를 증명할 수 있는가? 여기서 p는 |G|의 최소 소인수이다.

주요 결과

• 모든 유한 군 G에 대해 D(G) ≤ d(G) + 2|G′| − 1이며, 등호가 성립하는 것은 G가 아벨일 때에 한한다.
• 비아벨 p-군에 대해서는 D(G) ≤ (p² + 2p − 2)/p³ |G|이며, 이는 비아벨 p-군에 대해 D(G) ≤ (2/p)|G|로 향상된다.
• p|(q−1)인 비아벨 군 G의 순서가 pq일 경우 D(G) = 2q이며, 이는 정확한 값으로서 논문의 핵심 결과이다.
• 홀수 차수 2n인 이면군이 아닌 비순환 군 G에 대해 D(G) ≤ (3/4)|G|이며, 이는 이전 추정치를 향상시키는 날카운 상한이다.
• 비순환 군 G에 대해 D(G) ≤ (2/p)|G|이며, 여기서 p는 |G|의 최소 소인수이며, 이 상한은 특정 p-군과 pq-군에서 날카로운 것으로 밝혀진다.
• 논문은 p|(q−1)인 순서 pq의 비아벨 군에 대해 D(G) = 2q임을 확립하여 추측을 확인하고, 이전의 작은 Davenport 상수 결과를 확장한다.