비순환군의 에르되시‑긴버그‑지프 상수와 3/2 비율 정리

초록

본 논문은 비순환 유한군 G에 대해 에르되시‑긴버그‑지프 상수 E(G)의 상한을 조사한다. 4로 나누어 떨어지지 않는 모든 비순환군에 대해 E(G) ≤ 3|G|/2 를 증명하고, 등호가 성립하는 경우는 정확히 지수 2인 순환 부분군을 갖는 군으로 규정한다.

상세 분석

논문은 먼저 에르되시‑긴버그‑지프 상수 E(G)를 “길이 ℓ인 임의의 시퀀스에서 |G|개의 서로 다른 원소를 선택해 곱을 항등원으로 만들 수 있는 최소 ℓ” 로 정의하고, 기존 결과인 E(G) ≤ 2|G|−1 (Olson)과 비순환군에 대한 E(G) ≤ 2|G|−2 (Yuster‑Peterson) 등을 정리한다. 핵심은 작은 소수 p 가 |G|의 최소 소인수일 때의 작은 다벤포트 상수 d(G) ≤ |G|/p + p−2 (Lemma 3.1)를 이용해 E(G) ≥ d(G)+|G| (Lemma 3.2)와 결합함으로써 상한을 점차 강화한다.

특히, 4가 |G|를 나누지 않을 경우 |G|이 짝수이면서 m = |G|/2 이 홀수인 상황을 고려한다. 이때 G는 지수 2인 부분군을 반드시 포함한다는 그룹 이론적 사실(Lemma 3.6)을 활용한다. 이후 메타사이클릭 군 C_m ⋊ C_2 에 대해 정확한 값 E(G)=3|G|/2 를 확인하고(Lemma 3.8), 이와 동형인 군들에 대해 동일한 상수를 얻는다.

주요 기술은 복잡한 시퀀스 분해와 곱집합 π(S) 의 성질을 정밀히 추적하는데, 특히 Lemma 3.9와 그 변형을 통해 C_n×C_n 형 군에서의 “최대 높이” h(S) 와 제품‑하나 자유 시퀀스의 구조를 규정한다. 이를 바탕으로 S_3×C_3 혹은 (C_3×C_3)⋊C_2 형태의 군에 대해 E(G)≤3|G|/2−1 을 보이며, 전체 증명은 경우별( r≥1, r=0 ) 분석을 통해 모순을 도출한다.

결과적으로, 논문은 “4가 |G|를 나누지 않는 모든 비순환군에 대해 E(G)≤3|G|/2” 라는 강력한 상한을 확립하고, 등호가 성립하는 경우를 정확히 “지수 2인 순환 부분군을 갖는 군”으로 규정한다. 이는 기존의 2|G|−1 수준을 크게 개선한 것이며, 비순환군의 구조와 다벤포트 상수 사이의 미묘한 관계를 새롭게 조명한다.