[논문 리뷰] Character codegrees of maximal class p-groups

Sarah Croome, Mark L. Lewis|arXiv (Cornell University)|2018. 09. 20.

Finite Group Theory Research참고 문헌 4인용 수 4

한 줄 요약

이 논문은 최대 계수 $p$-군에서 기약 문자의 코드그리의 성질을 조사하며, 특히 정규적으로 단일문자이거나 적은 수의 문자 차수를 가진 경우, 이러한 코드그리가 $p$의 연속된 거듭제곱임을 증명한다. 주요 결과는 $p$-군이 $p^0$에서 $p^{n-1}$까지의 모든 $p$-거듭제곱을 코드그리로 포함한다면, 이는 반드시 계수 2의 아벨-순환군 또는 정확히 두 개의 문자 차수를 가진 최대 계수 군이어야 한다는 것이다.

ABSTRACT

Let $G$ be a $p$-group and let $χ$ be an irreducible character of $G$. The codegree of $χ$ is given by $|G: ext{ker}(χ)|/χ(1)$. If $G$ is a maximal class $p$-group that is normally monomial or has at most three character degrees then the codegrees of $G$ are consecutive powers of $p$. If $|G|=p^n$ and $G$ has consecutive $p$-power codegrees up to $p^{n-1}$ then the nilpotence class of $G$ is at most 2 or $G$ has maximal class.

연구 동기 및 목표

• 기본적으로 연속된 $p$-거듭제곱을 이루는 문자 코드그리를 가지는 최대 계수 $p$-군의 구조를 규명하는 것.
• 최대 계수 $p$-군의 코드그리가 항상 연속된 $p$-거듭제곱인지, 특히 낮은 중심화 계수와 문자 차수 집합과의 관계를 조사하는 것.
• 정규적으로 단일문자 및 메타아벨 구조가 코드그리 집합을 제약하는 데 미치는 역할을 탐색하는 것.
• 순서가 $p^n$인 $p$-군에서 $p$-거듭제곱의 전체 범위 $p^0$에서 $p^{n-1}$까지가 코드그리로 나타나는 데 필요한 필수 및 충분조건을 설정하는 것.

제안 방법

• 기본적으로 기약 문자 $\chi$의 코드그리 $\text{cod}(\chi) = |G:\ker(\chi)| / \chi(1)$로 정의하고, 모든 이러한 코드그리의 집합인 $\text{cod}(G)$를 연구한다.
• 정규적으로 단일문자인 $p$-군의 경우, 몫군 $G/Z$에 대한 귀납법을 적용하며, 정규적으로 단일문자 군의 몫군 역시 정규적으로 단일문자임을 이용한다.
• 이토의 정리와 문자 유도 이론을 적용하여 $p$-군에서 충실한 기약 문자와 그 차수를 분석한다.
• 상부 및 하부 중심열을 사용하여 낮은 중심화 계수를 분석하고, 이를 문자 차수 및 코드그리의 구조와 연결한다.
• 특히 $\text{cd}(G) = \{1,p\}$와 같은 적은 수의 문자 차수를 가진 $p$-군에 대한 기존 결과를 활용하여 코드그리 집합이 최대인 군을 분류한다.
• 최대 계수 $p$-군이 순서 $p^6$ 이상일 경우 $p^4 \in \text{cod}(G)$임을 증명하며, 몫군 분석과 문자 차수의 상한을 활용한다.

실험 결과

연구 질문

• RQ1 최대 계수 $p$-군이 모든 코드그리가 $p$의 연속된 거듭제곱이 되는 조건은 무엇인가?
• RQ2 최대 계수 $p$-군에서 문자 차수의 수와 코드그리의 구조 사이의 관계는 어떠한가?
• RQ3 최대 계수 $p$-군의 코드그리가 예상 범위 내에서 어떤 $k$에 대해 $p^k$를 포함하지 않을 수 있으며, 만약 그렇다면 어떤 조건에서 그러한 일이 발생하는가?
• RQ4 정규적으로 단일문자 성질이 최대 계수 $p$-군의 코드그리 집합을 어떻게 제약하는가?
• RQ5 모든 $p$-거듭제곱 $p^0$에서 $p^{n-1}$까지가 포함되는 $p$-군의 구조적 특성은 무엇인가?

주요 결과

• 순서가 $p^n$인 $p$-군 $G$에 대해 $\text{cod}(G) = \{p^i \mid 0 \leq i \leq n-1\}$이 되는 것은 $G$가 $\mathbb{Z}_{p^{n-1}} \times \mathbb{Z}_p$와 동형이거나, $n \geq 4$인 계수 2 군이거나, 정확히 두 개의 문자 차수를 가진 최대 계수 군일 때에만 성립한다.
• 최대 계수 $p$-군에서 $\text{cd}(G) = \{1, p, p^b\}$이면, 코드그리는 $\{p^i \mid 0 \leq i \leq c\}$의 형태를 가지며, 이때 $c$는 $n - b \leq c \leq n - 2$를 만족한다.
• 메타아벨 최대 계수 $p$-군에서는 코드그리가 연속된 $p$-거듭제곱이며, 가장 큰 코드그리는 $p^{n-1}$ 또는 $p^{n-2}$이다.
• 정규적으로 단일문자인 최대 계수 $p$-군에서 순서가 $p^n$이면 코드그리는 $\{p^i \mid 0 \leq i \leq c\}$의 형태이며, 이때 $c \geq n - b$를 만족한다. 여기서 $b = \log_p(b(G))$이고 $b(G)$는 가장 큰 문자 차수이다.
• 만약 $|G| \geq p^6$이면, 임의의 최대 계수 $p$-군 $G$에 대해 $p^4 \in \text{cod}(G)$이며, 이 상한은 날카롭다.
• 순서가 $p^5$인 최대 계수 $p$-군(예: $i=28,29,30$인 SmallGroup(3^5,i))은 $p^4 \notin \text{cod}(G)$일 수 있으며, 이는 $p^4$ 조건이 순서 $p^6$ 이하에서는 보장되지 않음을 보여준다.