[논문 리뷰] The automorphisms of class two groups of prime exponent

Michael Vaughan-Lee|arXiv (Cornell University)|2015. 01. 04.

Finite Group Theory Research참고 문헌 5인용 수 3

한 줄 요약

이 논문은 차수 2인 소수 지수를 가진 $p$-군을 순서 $p^8$까지 분류하며, 각 군에 대해 공轭류 수와 자동층군의 순서가 모두 $p$에 대한 다항식임을 증명한다. 이들 군에서 다항식의 잔여류에 대한 다항식(PORC) 성질이 실패하는 최소 반례로, 순서 $p^9$인 $G_p$를 규명하였으며, 이는 $f(p^n)$에 대한 Higman의 PORC 추측이 $n=10$에서 실패할 수 있음을 보여준다. 본 결과는 타원곡선 및 군의 확장 기법을 통해 자동층군 작용과 공轭류 수를 명시적으로 계산하는 데 기반한다.

ABSTRACT

We give a complete list of all the 70 class two groups of exponent p (p>2) and order p^k for k<9. For each of these groups the number of conjugacy classes is a polynomial in p, and the order of the automorphism group is a polynomial in p. In contrast, Marcus du Sautoy and Michael Vaughan-Lee have given an example of a class two group of exponent p and order p^9 for which neither the number of conjugacy classes, nor the order of the automorphism group is polynomial on residue classes (PORC).

연구 동기 및 목표

• 순서 $p^n$인 차수 2인 소수 지수를 가진 $p$-군을 $n \leq 8$ 범위에서 체계적으로 분류하는 것.
• 이들 군에 대해 공轭류 수와 자동층군의 순서가 $p$에 대한 PORC 함수인지 여부를 규명하는 것.
• 이 두 불변량이 PORC가 아닌 최소의 군을 규명하여 Higman의 PORC 추측의 한계를 시험하는 것.
• 소수 $p$-군에 대해 자동층군의 구조적 및 계산적 기술을 명시적으로 기술하는 것.

제안 방법

• 순서 $p^n$인 차수 2인 소수 지수를 가진 $p$-군의 동형류를 모두 열거하여 총 70개의 군을 확보하였다.
• 군의 표현과 교환자 관계를 사용하여 각 군의 구조를 정의하였으며, 특히 도출부군과 중심 확장을 중점적으로 다루었다.
• 자기자신 작용에 의한 궤도 크기와 추적 항등식을 포함한 군론적 공식을 통해 공轭류 수를 계산하였다.
• 프라티니 몫 $G/G'$에 대한 작용을 분석함으로써 $\mathrm{GF}(p)$ 위에서의 선형대수학을 사용하여 자동층군의 순서를 결정하였다.
• 특히 $G_p$의 비-PORC 경우에 대해 공轭류 수를 표현하기 위해 타원곡선 점 수(예: $y^2 = x^3 - x$)를 활용하였다.
• 자기자신군의 $p$-군 생성 알고리즘을 적용하여 $G_p$의 후손을 분석하였으며, 자동층군의 구조와 비-PORC 후손의 수 사이의 관계를 설정하였다.

실험 결과

연구 질문

• RQ1 순서 $p^n$인 차수 2인 소수 지수를 가진 모든 $p$-군에 대해, 공轭류 수와 자동층군의 순서가 $p$에 대한 다항식인지 여부는 무엇인가요?
• RQ2 함수 $f(p^n)$에 대한 PORC 성질의 실패는 $n=10$에서 발생하는가? 만약 그렇다면, 이를 초래하는 최소 군은 무엇인가요?
• RQ3 특히 교환자 구조가 비자명한 경우, $p$-군의 자동층군은 $\mathrm{GF}(p)$ 위에서의 선형대수학을 통해 명시적으로 계산될 수 있는가요?
• RQ4 특정 $p$-군에서 $\mathrm{GF}(p)$ 위에서 타원곡선 방정식의 해의 수는 공轭류 수에 어떤 영향을 미치나요?
• RQ5 공轭류 수와 자동층군의 순서가 모두 $p$에 대한 PORC 함수가 아닌, 차수 2이자 소수 지수를 가진 최소의 $p$-군이 존재하는가요?

주요 결과

• 순서 $p^n$이고 지수 $p$를 가지며 $n \leq 8$인 모든 70개의 차수 2 $p$-군에 대해, 공轭류 수는 $p$에 대한 다항식이다.
• 이들 군 전부에 대해 자동층군의 순서는 $p$에 대한 다항식이며, 7개의 생성자와 3개의 교환 쌍을 가진 군도 포함된다.
• 순서 $p^9$인 군 $G_p$는 공轭류 수와 자동층군의 순서가 모두 $p$에 대한 PORC 함수가 아닌 최소의 알려진 예이다.
• $G_p$의 순서 $p^{10}$이고 지수 $p$인 후손 수는 PORC가 아니며, 그 값은 $p \mod 12$와 $\mathrm{GF}(p)$ 위에서 $y^2 = x^3 - x$의 점 수에 따라 달라진다.
• $G_p$의 자동층군 순서는 $p \equiv 5 \mod 12$일 때 $|\mathrm{GL}(2,p)| \cdot 4p^{18}$, $p \equiv 7 \mod 12$일 때 $|\mathrm{GL}(2,p)| \cdot 2p^{18}$ 등으로 표현되며, $p \mod 12$와 $V_p$의 비영성에 따라 다른 공식을 가진다.
• $G_p$의 공轭류 수는 $p^6 + p^3 - 1 + (p^3 - p^2 - p + 1) \cdot E$이며, 여기서 $E$는 $\mathrm{GF}(p)$ 위에서 $y^2 = x^3 - x$의 점 수이며, $E$는 PORC 함수가 아니다.