[논문 리뷰] Integrals of groups

João Araüjo, Peter J‎. Cameron외 2명|arXiv (Cornell University)|2018. 03. 27.

Finite Group Theory Research참고 문헌 16인용 수 6

한 줄 요약

이 논문은 유한군과 무한군의 적분 존재성 및 구조—즉, H′ ≅ G를 만족하는 군 H—를 조사하며, 모든 유한 적분 가능 군이 유한 적분을 갖는다는 것을 증명하고, 모든 순서 n의 군이 적분 가능해지는 n의 순서를 특성화한다(즉, 제곱인자 없는 n이며, 서로 다른 소수 p, q가 존재하여 q|(p−1)를 만족하지 않는 경우), 아벨 군의 최소 적분 크기에 대한 경계를 설정한다. 또한, n중 적분 가능 유한 군을 아벨 군과 완전 군의 중심곱으로 특성화한다.

ABSTRACT

An $integral$ of a group $G$ is a group $H$ whose derived group (commutator subgroup) is isomorphic to $G$. This paper discusses integrals of groups, and in particular questions about which groups have integrals and how big or small those integrals can be. Our main results are: (1) If a finite group has an integral, then it has a finite integral. (2) A precise characterization of the set of natural numbers $n$ for which every group of order $n$ is integrable: these are the cubefree numbers $n$ which do not have prime divisors $p$ and $q$ with $q\mid p-1$. (3) An abelian group of order $n$ has an integral of order at most $n^{1+o(1)}$, but may fail to have an integral of order bounded by $cn$ for constant $c$. (4) A finite group can be integrated $n$ times (in the class of finite groups) if and only if it is the central product of an abelian group and a perfect group. There are many other results on such topics as centreless groups, groups with composition length $2$, and infinite groups. We also include a number of open problems.

연구 동기 및 목표

• 유한군과 무한군 중 적분을 갖는 군(즉, H′ ≅ G를 만족하는 군 H)을 특정하는 것.
• 주어진 유한 군의 최소 적분 크기에 대한 경계를 설정하는 것.
• 유한군 범주에서 모든 양의 정수 n에 대해 n번 적분 가능한 군을 특성화하는 것.
• 적분 가능성과 군의 구조 간의 관계를 탐색하는 것—구성 길이, 중심이 없는 군, 군의 다양체를 포함하여.
• 열린 문제를 규명하고 군론적 역문제 분야의 향후 연구 방향을 제안하는 것.

제안 방법

• 적분의 존재성을 분석하기 위해 군의 확장 이론과 코homological 도구의 사용.
• 구성 길이 및 주요 길이를 포함한 유한군 이론의 적용을 통해 적분 가능성 조건을 연구하는 것.
• 와이어드 프로덕트와 중심 확장을 사용하여 아벨 군에 대한 명시적 적분을 구성하는 것.
• 완전 군과 중심곱에 관한 결과를 활용하여 n중 적분 가능 군을 특성화하는 것.
• 유도 부분군의 구조와 외부 자기동형군의 역할을 분석하여 적분 가능성에 기여하는 요소를 연구하는 것.
• 특정 케이스에서의 적분 가능성 탐색을 위해 계산 기반 군 이론 개념과 GAP 호환 알고리즘의 활용.

실험 결과

연구 질문

• RQ1 어느 자연수 n에 대해 모든 순서 n의 군이 적분 가능할까?
• RQ2 주어진 유한 군의 최소 가능한 적분 순서는 무엇일까, 특히 아벨 군의 경우에 대해?
• RQ3 어느 유한 군이 모든 양의 정수 n에 대해 유한군 범주에서 n번 적분 가능할까?
• RQ4 군 G의 적분 가능성과 G/Z(G) 또는 기타 몫군의 적분 가능성 간의 관계는 어떠한가?
• RQ5 주어진 군(예: 하나의 관계자 또는 유한히 표현된 군)이 적분 가능한지를 판단할 수 있는 결정 가능 알고리즘이 존재하는가?

주요 결과

• 모든 적분 가능 유한 군은 유한 적분을 갖는다. 이는 적분의 유한성에 관한 기본 질문을 해결한다.
• 순서가 n인 유한 군이 적분 가능할 조건은 n이 제곱인자 없고, 서로 다른 소수 p, q가 존재하여 q|(p−1)를 만족하지 않는 것이다.
• 아벨 군의 순서가 n인 최소 적분의 순서는 n^{1+o(1)}이지만, 어떤 상수 c가 존재하여 순서가 cn 이하로 유계가 되는 것은 아니다.
• 유한 군이 (유한 군 범주에서) n번 적분 가능할 조건은 아벨 군과 완전 군의 중심곱임이 정확히 동치이다.
• 유한 지수를 갖는 적분을 갖지 않는 무한 아벨 군이 존재함을 보여, 무한 경우에도 항상 적분 가능하지 않음을 입증한다.
• 논문은 중심곱으로 이루어진 군의 클래스(아벨 군과 완전 군의 중심곱)를 특정하여, 이들이 끝없이 반복된 유한 적분에서 유한한 설정에서만 존재하는 무한 반복 적분을 갖는 군임을 규명한다.