특성 단순군

틀:위키데이터 속성 추적 군론에서, 특성 단순군(特性單純群, 틀:Llang)은 특성 부분군이 자명 부분군과 자기 자신밖에 없는 군이다.

정의

군 $G$가 $\{1_G\}$와 $G$가 아닌 특성 부분군을 갖지 않는다면, $G$를 특성 단순군이라고 한다.

성질

유한군 $G$에 대하여, 다음 두 조건이 서로 동치이다.

• $G$는 특성 단순군이다.
• $G$는 유한 개의 같은 단순군 $N$의 직접곱 $N^{\times n}$과 동형이다.

틀:증명 우선, $G$가 유한 특성 단순군이라고 하고, $G$가 유한 개의 같은 단순군의 직접곱임을 보이자. 편의상 $G\ne \{1_G\}$이라고 하자. $G$의 임의의 극소 정규 부분군 $N$을 취하자. 그렇다면, 임의의 $\varphi \in \mathrm{Aut}(G)$에 대하여, $\varphi (N)$ 역시 극소 정규 부분군이다. 이제 $M$이

$\{{\varphi }_1(N)\times \cdots \times {\varphi }_k(N)\le G:{\varphi }_i\in \mathrm{Aut}(G),\mathrm{\forall }i\in \{1,\dots ,k\}:{\varphi }_i(N)\cap {\varphi }_1(N)\cdots {\varphi }_{i-1}(N){\varphi }_{i+1}(N)\cdots {\varphi }_k(N)=\{1_G\}\}$

의 한 극대 원소라고 하자. 그렇다면, $M⊲G$이며, 임의의 $\varphi \in \mathrm{Aut}(G)$에 대하여, $\varphi (N)\cap M⊲G$이다. 따라서 $\varphi (N)\cap M=\{1_G\}$이거나 $\varphi (N)\cap M=\varphi (N)$이며, $M$의 극대성에 의하여 $\varphi (N)\cap M=\varphi (N)$이다. 즉,

$M=\prod _{\varphi (N)}\varphi (N)$

이며, $M$은 $G$의 특성 부분군이다. $G$는 특성 단순군이므로 $G=M$이다. 또한, 임의의 $H⊲N$에 대하여, $H⊲G$이므로, $N$의 극소성에 의하여 $H=\{1_G\}$이거나 $H=N$이다. 즉, $N$은 단순군이며,

$G=\prod _{\varphi (N)}\varphi (N)\cong \prod _{\varphi (N)}N$

이다.

반대로, 임의의 단순군 $N$ 및 음이 아닌 정수 $n$에 대하여, $N^{\times n}$이 특성 단순군임을 보이자. 만약 $N$이 아벨 군이라면, $|N|$은 소수이며, $N$에 체의 구조를 부여할 수 있고, $N^{\times n}$을 이 체에 대한 $n$차원 벡터 공간으로 생각할 수 있다. 이 경우 $N^{\times n}$의 군으로서의 자기 동형 사상은 전단사 선형 변환과 동치이며, 특성 부분군은 모든 전단사 선형 변환에 대하여 불변인 부분 벡터 공간과 동치이다. 이러한 부분 공간은 영공간과 자기 자신뿐이므로, $N^{\times n}$은 특성 단순군이다.

만약 $N$이 아벨 군이 아니라면, $n$개의 자연스러운 단사 군 준동형

${ı}_i:N\hookrightarrow N^{\times n}(i\in \{1,\dots ,n\})$

의 상을 ${ı}_i(N)=N_i$로 표기하자. 그렇다면 $N^{\times n}$은 다음과 같은 내직접곱과 같다.

$N^{\times n}=N_1\times \cdots \times N_n$

우선 임의의 $H⊲N^{\times n}$를 다음과 같은 꼴로 나타낼 수 있다는 사실을 보이자.

$H=N_{i_1}\times \cdots \times N_{i_k}(1\le i_1<\cdots <i_k\le n)$

이는 임의의 $g\in H$ 및 $g_i\in N_i$ 및 $j\in \{1,\dots ,n\}$에 대하여, 만약 $g=g_1\cdots g_n$이며, $g_j\ne 1_{N^{\times n}}$일 경우, $N_j\subseteq H$임을 보이는 것으로 족하다. $N_j$는 비아벨 단순군이므로 $\mathrm{Z}(N_j)=\{1_{N^{\times n}}\}$이며, 특히 $g_j\in ̸\mathrm{Z}(N_j)$이다. 따라서,

$1_{N^{\times n}}\ne g_{j}h{g}_j^{-1}{h}^{-1}=gh{g}^{-1}{h}^{-1}\in H$

인 $h\in N_j$가 존재하며,

$N_j=⟨\mathrm{Cl}(g_{j}h{g}_j^{-1}{h}^{-1})⟩\subseteq H$

이다. (여기서 $⟨\mathrm{Cl}(g_{j}h{g}_j^{-1}{h}^{-1})⟩$는 $g_{j}h{g}_j^{-1}{h}^{-1}$의 켤레류로 생성된 부분군을 뜻한다.)

이제 $H$가 $N^{\times n}$의 자명하지 않은 특성 부분군이라고 가정하자. 편의상

$H=N_1\times \cdots \times N_k(1\le k<n)$

이라고 하자. 다음과 같은 $N^{\times n}$의 자기 동형 사상을 생각하자.

$\varphi :N^{\times n}\to N^{\times n}$

$\varphi :(g_1,g_2,\dots ,g_n)\mapsto (g_n,g_1,\dots ,g_{n-1})(g_i\in N)$

그렇다면

$\varphi (H)=N_2\times \cdots \times N_{k+1}\ne H$

이며, 이는 모순이다. 즉, $N^{\times n}$은 자명하지 않은 특성 부분군을 갖지 않는다. 틀:증명 끝

예

유한 개의 소수 $p$ 크기의 군의 직접곱은 특성 단순군이다.

임의의 군의 극소 정규 부분군은 특성 단순군이다.

외부 링크

• 틀:Groupprops