장 22 몇 가지 응용

이 모든 준비를 마쳤으니, 이제 그 자체로도 흥미로운 몇 가지 멋진 결과를 전개하겠습니다.

22.1 프로베니우스 나눗셈 정리

정리 22.1.1 (프로베니우스 나눗셈 정리).

$V$ 를 유한군 $G$ 의 복소 기약 표현이라고 합시다. 그러면 $\dim V$ 는 $|G|$ 를 나눕니다.

이 증명에는 (대수적 정수론 장에서 전개한) 대수적 정수가 필요합니다. 대수적 정수란 정수 계수 모닉 다항식의 근이 되는 복소수이고, 이러한 대수적 정수들은 덧셈과 곱셈에 대해 환 $\overline{\mathbb{Z}}$ 를 이루며, $\overline{\mathbb{Z}}\cap\mathbb{Q}=\mathbb{Z}$ 임을 상기하십시오.

먼저 다음을 증명합니다.

보조정리 22.1.2 ( $\mathbb{Z}[G]$ 원소의 정수성).

$\alpha\in\mathbb{Z}[G]$ 라고 합시다. 그러면 $P(\alpha)=0$ 을 만족하는 정수 계수 모닉 다항식 $P$ 가 존재합니다.

증명.

$A_{k}$ 를 $1,\alpha^{1},\dots,\alpha^{k}$ 의 $\mathbb{Z}$ -생성 공간이라고 합시다. $\mathbb{Z}[G]$ 는 뇌터이므로 포함 관계 $A_{0}\subseteq A_{1}\subseteq A_{2}\subseteq\dots$ 가 모두 진포함일 수는 없습니다. 따라서 어떤 $k$ 에 대해 $A_{k}=A_{k+1}$ 이며, 이는 $\alpha^{k+1}$ 을 $\alpha$ 의 더 낮은 거듭제곱들로 나타낼 수 있다는 뜻입니다. ∎

프로베니우스 나눗셈 정리의 증명.

$C_{1}$ , …, $C_{m}$ 을 $G$ 의 켤레류라고 합시다. 이제 유리수

\frac{|G|}{\dim V};

를 생각합니다. 이것이 대수적 정수임을 보일 것이며, 그러면 정리가 증명됩니다. 이 값을 다음과 같이 다시 쓸 수 있음에 주목하십시오.

\frac{|G|}{\dim V}=\frac{|G|\left<\chi_{V},\chi_{V}\right>}{\dim V}=\sum_{g\in G% }\frac{\chi_{V}(g)\overline{\chi_{V}(g)}}{\dim V}.

합을 켤레류별로 나누면 다음과 같습니다.

\frac{|G|}{\dim V}=\sum_{i=1}^{m}\overline{\chi_{V}(C_{i})}\cdot\frac{|C_{i}|% \chi_{V}(C_{i})}{\dim V}.

모든 $i$ 에 대해 다음 값이

\frac{|C_{i}|\chi_{V}(C_{i})}{\dim V}=\frac{1}{\dim V}\operatorname{Tr}T_{i}

대수적 정수라고 주장합니다. 여기서

T_{i}\coloneqq\rho\left(\sum_{h\in C_{i}}h\right).

입니다. 이를 확인하기 위해, $T_{i}$ 가 $G$ 의 원소들과 가환이므로 얽힘 연산자 $T_{i}\colon V\to V$ 임에 주목하십시오. 따라서 슈어 보조정리에 의해 $T_{i}=\lambda_{i}\cdot\mathrm{id}_{V}$ 이고 $\operatorname{Tr}T_{i}=\lambda_{i}\dim V$ 입니다. 보조정리 22.1.2에 의해 원하던 대로 $\lambda_{i}\in\overline{\mathbb{Z}}$ 입니다.

$\overline{\chi_{V}(C_{i})}\in\overline{\mathbb{Z}}$ 이기도 하므로(이는 단위근의 켤레들의 합입니다) $\frac{|G|}{\dim V}$ 는 대수적 정수들의 곱의 합이고, 따라서 그 자체로 대수적 정수입니다. 이로써 증명이 끝납니다. ∎

22.2 번사이드 정리

이제 군론적 결과 하나를 증명합니다. 이 결과는 순수하게 군론적이기 때문에 (RSA가 정수론의 대표적인 사례인 것과 마찬가지로) 표현론의 유명한 대표 사례입니다.

군이 정규 부분군을 갖지 않으면 단순하다고 함을 상기하십시오. 실제로 우리는 다음을 증명하겠습니다.

정리 22.2.1 (번사이드).

$G$ 를 위수가 $p^{a}q^{b}$ 인 비아벨 군이라고 합시다(여기서 $p, q$ 는 서로 다른 소수이고 $a,b\geq 0$ 입니다). 그러면 $G$ 는 단순군이 아닙니다.

이하에서 $p$ 와 $q$ 는 항상 소수를 나타냅니다.

보조정리 22.2.2 ( $\gcd(|C|,\dim V)=1$ 에 관하여).

$V=(V,\rho)$ 를 $G$ 의 복소 기약 표현이라고 합시다. $C$ 가 $\gcd(|C|,\dim V)=1$ 을 만족하는 $G$ 의 켤레류라고 가정합니다. 그러면 임의의 $g\in C$ 에 대해 다음 중 하나가 성립합니다.

•

$\rho(g)$ 가 스칼라에 의한 곱셈이거나,
•

$\chi_{V}(g)=\operatorname{Tr}\rho(g)=0$ .

증명.

$\varepsilon_{i}$ 가 $\rho(g)$ 의 $n$ 개의 고윳값(이들은 단위근입니다)이라면, 프로베니우스 나눗셈 정리의 증명으로부터 $\frac{|C|}{n}\chi_{V}(g)\in\overline{\mathbb{Z}}$ 임을 알고, 따라서 $\gcd(|C|,n)=1$ 로부터 다음을 얻습니다.

\frac{1}{n}\chi_{V}(g)=\frac{1}{n}(\varepsilon_{1}+\dots+\varepsilon_{n})\in% \overline{\mathbb{Z}}.

따라서 이는 대수적 정수론의 한 사실, 즉 문제 53C로부터 쉽게 따라 나옵니다. $\varepsilon_{1}=\dots=\varepsilon_{n}$ 이거나(첫 번째 경우) $\varepsilon_{1}+\dots+\varepsilon_{n}=0$ 입니다(두 번째 경우). ∎

보조정리 22.2.3 (단순군은 소수 거듭제곱 크기의 켤레류를 갖지 않습니다).

$G$ 를 유한 단순군이라고 합시다. 그러면 $G$ 는 크기가 $p^{k}$ ( $k>0$ )인 켤레류를 가질 수 없습니다.

증명.

귀류법으로 증명합니다. $C$ 가 그러한 켤레류라고 가정하고, 임의의 $g\in C$ 를 고정합니다. 두 번째 직교성 공식(문제 21E)을 $g$ 와 $1_{G}$ ( $g\neq 1_{G}$ 이므로 이 둘은 켤레가 아닙니다)에 적용하면 다음을 얻습니다.

\sum_{i=1}^{r}\dim V_{i}\chi_{V_{i}}(g)=0

여기서 $V_{i}$ 는 평소와 같이 $G$ 의 모든 기약 표현입니다.

연습문제 22.2.4.

$p\nmid\dim V$ 이고 $\chi_{V}(g)\neq 0$ 인 자명하지 않은 기약 표현 $V$ 가 존재함을 보이십시오. (귀류법으로 진행하여, 그렇지 않다면 $-\frac{1}{p}\in\overline{\mathbb{Z}}$ 가 됨을 보이십시오.)

$V=(V,\rho)$ 를 앞에서 언급한 기약 표현이라고 합시다. 앞의 보조정리에 의해, 이제 $\rho(g)$ 가 $V$ 에서 스칼라로 작용함을 압니다.

이제 다음 부분군을 생각합시다.

H=\left<ab^{-1}\mid a,b\in C\right>\subseteq G.

이것이 $G$ 의 자명하지 않은 정규 부분군이라고 주장합니다. $H$ 가 정규임은 쉽게 확인할 수 있으며, $|C|>1$ 이므로 $H$ 는 자명하지 않습니다. $V$ 에 의해 표현될 때 $H$ 의 각 원소는 $V$ 에 자명하게 작용하므로, $V$ 가 자명하지 않고 기약이라는 점에서 $H\neq G$ 입니다. 이는 $G$ 가 단순하다는 가정에 모순됩니다. ∎

이 보조정리를 이용하면, 군의 $|G|$ 개 원소를 켤레류로 분할함으로써 번사이드 정리가 따라 나옵니다. 모순을 이끌어내기 위해 $G$ 가 단순하다고 가정합니다. 각 켤레류의 크기는 $1$ 이거나(문제 16D에 의해 이러한 켤레류는 $|Z(G)|$ 개 있습니다) $p q$ 로 나누어떨어져야 하지만(앞의 보조정리에 의해), 다른 한편으로 그 합은 $|G|=p^{a}q^{b}$ 와 같습니다. 따라서 $|Z(G)|>1$ 이어야 합니다. 그런데 $G$ 는 아벨 군이 아니므로 $Z(G)\neq G$ 이고, 따라서 중심 $Z(G)$ 는 자명하지 않은 정규 부분군이 되어 $G$ 가 단순하다는 가정에 모순됩니다.

22.3 프로베니우스 행렬식

표현론이라는 분야를 탄생시킨 문제인 다음 결과로 마무리하겠습니다. 유한군 $G$ 가 주어졌을 때, $n$ 개의 변수 $\{x_{g}\}_{g\in G}$ 와, $(g,h)$ 번째 성분이 $x_{gh^{-1}}$ 인 $n\times n$ 행렬 $M_{G}$ 를 만듭니다.

예제 22.3.1 (프로베니우스 행렬식).

(a)

$G=\mathbb{Z}/2\mathbb{Z}=\left<T\mid T^{2}=1\right>$ 이면 행렬은 다음과 같습니다.

$M_{G}=\begin{bmatrix}x_{\mathrm{id}}&x_{T}\\ x_{T}&x_{\mathrm{id}}\end{bmatrix}.$

그러면 $\det M_{G}=(x_{\mathrm{id}}-x_{T})(x_{\mathrm{id}}+x_{T})$ 입니다.
(b)

$G=S_{3}$ 이면, 긴 계산을 통해 $\det M_{G}$ 의 기약 인수분해가 다음과 같음을 얻습니다.

$\left(\sum_{\sigma\in S_{3}}x_{\sigma}\right)\left(\sum_{\sigma\in S_{3}}% \operatorname{sign}(\sigma)x_{\sigma}\right)\Big{(}F\left(x_{\mathrm{id}},x_{(% 123)},x_{(321)}\right)-F\left(x_{(12)},x_{(23)},x_{(31)}\right)\Big{)}^{2}$

여기서 $F(a,b,c)=a^{2}+b^{2}+c^{2}-ab-bc-ca$ 이며, 뒤의 인수는 기약입니다.

정리 22.3.2 (프로베니우스 행렬식).

( $|G|$ 개 변수의) 다항식 $\det M_{G}$ 는 다음을 만족하는 기약 다항식들의 곱으로 인수분해됩니다.

(i)

다항식의 개수는 $G$ 의 켤레류의 개수와 같고,
(ii)

각 다항식의 중복도는 그 차수와 같습니다.

“제곱의 합” 결과가 이와 어떻게 관련되는지 벌써 짐작할 수 있을지도 모릅니다! (실제로 $\deg\det M_{G}$ 를 보십시오.)

전해지는 바에 따르면 데데킨트가 1896년에 이 현상을 처음 관찰했다고 합니다. 그는 이를 일반적으로 증명하는 방법을 알지 못해 프로베니우스에게 편지로 보냈고, 프로베니우스는 이 문제를 풀기 위해 표현론을 창시했습니다.

지금까지 구축한 모든 도구를 이용하면, 이제 이 결과를 증명하는 것은 꽤 간단합니다.

증명.

$V=(V,\rho)=\operatorname{Reg}(\mathbb{C}[G])$ 라 하고 $V_{1}$ , …, $V_{r}$ 을 $G$ 의 기약 표현이라고 합시다. $\mathbb{C}[G]$ 의 통상적인 기저에서 행렬 $M_{G}$ 를 갖는 사상 $T\colon\mathbb{C}[G]\to\mathbb{C}[G]$ , 즉 다음 사상을 생각합시다.

T\colon T(\{x_{g}\}_{g\in G})=\sum_{g\in G}x_{g}\rho(g)\in\mathrm{Mat}(V).

따라서 우리는 $\det T$ 를 살펴보고자 합니다.

그러나 앞에서와 같이 $V=\bigoplus_{i=1}^{r}V_{i}^{\oplus\dim V_{i}}$ 임을 알고 있으므로, $T$ 를 부분공간별로 분해하면 다음을 알 수 있습니다.

\det T=\prod_{i=1}^{r}\left(\det(T{\restriction_{V_{i}}})\right)^{\dim V_{i}}.

따라서 두 가지만 보이면 됩니다. 다항식 $\det T_{V_{i}}$ 가 기약이라는 것과, 서로 다른 $i$ 에 대해 이들이 쌍마다 서로 다르다는 것입니다.

$V_{i}=(V_{i},\rho)$ 라 하고, $k=\dim V_{i}$ 로 잡습니다.

•

기약성: 밀도 정리에 의해, 임의의 $M\in\mathrm{Mat}(V_{i})$ 에 대하여 다음을 만족하는 복소수 $x_{g}\in G$ 의 특정한 선택이 존재합니다.

$M=\sum_{g\in G}x_{g}\cdot\rho_{i}(g)=(T{\restriction_{V_{i}}})(\{x_{g}\}).$

$\rho_{i}(g)$ 를 복소수 계수를 갖는 $k\times k$ 행렬로 봅니다. 따라서 다항식 성분을 갖는 행렬로 본 “일반적인” $(T{\restriction_{V_{i}}})(\{x_{g}\})$ 는 선형독립인 성분을 가져야 합니다(그렇지 않으면 $\mathrm{Mat}(V_{i})$ 에 우리가 도달할 수 없는 행렬이 존재하게 됩니다).

그러면 $m^{2}$ 개의 변수에 대한 다항식 $\det(y_{ij})_{1\leq i,j\leq m}$ 이 항상 기약이라는 단순한 사실로부터 (선형 변수 변환을 통해) 주장이 따라 나옵니다.
•

쌍마다 서로 다름: $\det T|_{V_{i}}(\{x_{g}\})$ 로부터 지표 $\chi_{V_{i}}$ 를 읽어낼 수 있음을 보이며, 이것으로 주장이 증명됩니다. 실제로

연습문제 22.3.3.

$V_{i}$ 의 임의의 기저를 잡습니다. $\dim V_{i}=k$ 이고 $1_{G}\neq g\in G$ 이면

$\chi_{V_{i}}(g)\text{의 계수입니다}x_{g}x_{1_{G}}^{k-1}.$

이로써 증명이 끝납니다. ∎