0

位数pqrの群の分類

142
0
$$\newcommand{Aut}[0]{\mathrm{Aut}} \newcommand{C}[0]{\mathbb{C}} \newcommand{char}[0]{{\bf char}} \newcommand{comp}[0]{\circ} \newcommand{core}[0]{\rm{core}} \newcommand{gen}[1]{\langle #1 \rangle} \newcommand{imply}[0]{\Rightarrow} \newcommand{iso}[0]{\simeq} \newcommand{lnormal}[0]{\triangleleft } \newcommand{mul}[0]{\cdot} \newcommand{N}[0]{\mathbb{N}} \newcommand{Q}[0]{\mathbb{Q}} \newcommand{R}[0]{\mathbb{R}} \newcommand{rnormal}[0]{\triangleright} \newcommand{semiprod}[3]{{#1}\ltimes_{#2}#3} \newcommand{Z}[0]{\mathbb{Z}} $$

初めに

位数100までの群を, 同型を除き全て求めます. この記事では位数$pqr$の群を求めます. 使う定理は 準備記事 に乗ってるので、分からない場所があれば参照してください.

リンク集(記事追加に合わせこちらにも追加します)
- 位数$1, p, p^2, pq$の群
- 位数$pqr$の群
- 位数$p^2q$の群
- 位数$60, 90, 84$の群
- 位数$36,100$の群
- 位数$p^3$の群
- 位数$24,40,56,88,54$の群
- 位数$72$の群
- 位数$p^4$の群
- 位数$48, 80$の群
- 位数$32$の群
- 位数$96$の群
- 位数$64$の群


素数$p$に対し, $n_p(G)$$G$のシロー$p$群の個数を表す.
以下$p,q,r$$p< q< r$を満たす素数とする.

位数$pqr$

$G$を位数$pqr$の群とする.

$G$には位数$qr$の部分群$N$がただ一つ存在する. とくに$N\char G$.

まず,$n_q(G)=1$$n_r(G)=1$のどちらかは成り立つことを示す. どちらも成り立たないとすると,$n_q(G)\geq r$かつ$n_r(G)=pq$.よって, 準備記事定理6 より$pqr\geq 1+1(p-1)+r(q-1)+pq(r-1)\geq pqr+(r-p)(q-1)$となり矛盾.
対称性より$n_r(G)=1$のときに示せばよい[1]. $G$のシロー$r$部分群を$R$と置くと、$G/R$は位数$pq$の群. よって, 位数$pq$の群の分類 より, $G/R \rnormal N/R$となる$N\subset G,|N|=qr$がある. 準備記事命題2 より$G\rnormal N$.もし$N\neq M\subset G$$|M|=qr$を満たせば,$x\in M-N$をとると,($\overline{1}\neq \overline{x}\in M/N$より)$x$の位数が$p$の倍数となり矛盾.

$P$$G$のシロー$p$部分群(の一つ)とする.$G=NP,G\rnormal N,N\cap P=1$より,適当な$\phi$を用いて$G=\semiprod{P}{\phi}{N}$と書ける.
よって,位数$qr$の分類より, $G\iso\semiprod{C_p}{\phi}{C_{qr}}$,もしくは$G\iso\semiprod{C_p}{\phi}{(\semiprod{C_q}{\psi}{C_r})}$となる. (ここで$\psi=(x\mapsto sx)$で, $s$$\mod q$で位数$r$となる整数.) $G\char N$より, 上と下は同型にならない.
ゆえに, 準備記事定理9 より, $M=C_q\times C_r ,\semiprod{C_q}{\psi}{C_r}$としたとき, $\Aut(M)$の位数$1,p$の部分群を($\Aut(M)$の)共役を除いて求めればよい.

$M=C_q\times C_r$の場合

位数$1$の部分群は一つ.
$\mathrm{Aut}(M)=C_{q-1}\times C_{r-1}$より,

  • $q\equiv 1\pmod{p}$なら$\gen{(\overline{\frac{q-1}{p}},\overline{0})}$
  • $r\equiv 1\pmod{p}$なら$\gen{(\overline{0},\overline{\frac{r-1}{p}})}$
  • どちらも成り立てばさらに$\gen{(\overline{\frac{(q-1)i}{p}},\overline{\frac{r-1}{p}})}(0< i< p)$

が位数$p$の部分群であり, これらはもれなくダブりない.

$M=\semiprod{C_q}{\psi}{C_r}$の場合

位数$1$の部分群は一つ.
$\Aut(M)=\semiprod{C_{r-1}}{\gamma}{C_r}=\gen{\sigma,\tau|\sigma^r=1,\tau^{r-1}=1,\tau^{-1}\sigma\tau=\sigma^t}$である. (ここで, $t\in \Z$$\mod r$での原始根. )
$\Aut(M)$の位数$p$の元を求める. $a,b$を, $0\leq a< r,0\leq b< r-1$を満たす整数とする. このとき, $(\sigma^a\tau^b)^q=\sigma^c\tau^{bq}$, $c\in \Z$と書ける.
よって, $\sigma^a\tau^b\in \Aut(M)$が位数$p$なら, $b=\frac{(r-1)i}{p}(0< i< p)$と書ける[2]. 適当に$\sigma$の何乗かで共役をとり, $\sigma^a\tau^b\sim\tau^b$. これは明らかに位数$p$. よって,

  • $r\equiv 1\pmod{p}$のとき, $\gen{\sigma^{(r-1)/p}}$

が位数$p$の部分群であり,これで(共役を除いて)すべてが尽くされている.

まとめ

今までの結果を用い, $pqr\leq 100$のときに, 位数$pqr$の群としてありうるものを列挙する. $3\times 5\times 7=105>100$より, $p=2$.

$q\not\mid r-1$のとき

位数$pqr$の群は $C_2\times C_q\times C_r$, $D_q\times C_r$, $C_q\times D_r$, $D_{qr}$$4$つがある.

$q\mid r-1$のとき($q=3,r=7,13$)

上の$4$つに加え, $C_2\times (\semiprod{C_q}{\psi}{C_r})$, $\semiprod{C_{2q}}{\gamma}{C_r}$$2$つが加わり, 合計$6$個.
ここで$\psi ,\gamma$は次のように定義される: $s,t\in \Z$$\mod r$での位数がそれぞれ$q,2q$となるようにとり, $\psi(\overline{1})=(x\mapsto sx),\gamma(\overline{1})=(x\mapsto tx)$.
$r=7$のときは, 最後の群は$\mathrm{Aff}(\mathbb{F}_7)$とも書ける.




[1]: このあとの議論では$q< r$を用いないので対称性がある.

[2]: $i=0$なら位数は$1$$q$で不適.

投稿日:13
更新日:111
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

投稿者

bd
59
11242

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中