文献あり

位数100までの群の分類(の準備)

3253

初めに

位数100までの群を, 同型を除き全て求めます. 分割して投稿予定です. この記事では分類の中で使う定理や諸注意をまとめています.

リンク集(記事追加に合わせこちらにも追加します)

1, p, p^{2}, p q

の群
- 位数

p q r

の群
- 位数

p^{2} q

の群
- 位数

60, 90, 84

の群
- 位数

36, 100

の群
- 位数

p^{3}

の群
- 位数

24, 40, 56, 88, 54

の群
- 位数

72

の群
- 位数

p^{4}

の群
- 位数

48, 80

の群
- 位数

32

の群
- 位数

96

の群
- 位数

64

の群

諸注意

(特に上にある記事は, 参考にしたものがないので)誤りや冗長な議論が含まれている可能性が高いです. 誤りや議論の簡略化を見つけたらコメント欄で指摘してもらえると幸いです.
2020/12/24に定理6の大幅な追記, 命題10の追加を行いました.
2021/2/23に命題13を追加しました.

用いる定理/定義

以下, $x^{g} = g^{- 1} x g$ と定義する. 群 $G$ に対し、 $H$ が部分群であることを $G \geq H$ で表し,特に $G \neq H$ のときは $G > H$ で表す.また, 特に注意がなければ $G$ は有限群, $G \geq H, G \geq K$ とする.

正規/特性部分群

正規部分群で割ることにより小さな群に帰着できる. この節ではどのような操作によって正規部分群や特性部分群が保たれるか調べる.

群の積

$H K = {h k | h \in H, k \in K}$ とする.
$H$ と $K$ の少なくとも一方が正規なら $G \geq H K$ , 両方正規なら $G ▹ H K$ となる.

$H$ か $K$ の片方が正規なら, $H K H K = H H K K = H K, (H K)^{- 1} = K H = H K$ となり, 両方正規なら任意の $g \in G に対し {H K}^{g} = H^{g} K^{g}$ となるので従う.

特性部分群

$H c h a r G$ を $\forall ϕ \in A u t (G), ϕ (H) = H$ と定義する.
この時, $H$ は $G$ の特性部分群であるという.

特性部分群は, 特に任意の元の共役で閉じているので, 正規部分群でもある.

特性部分群と正規部分群の性質

$K c h a r H c h a r G \Rightarrow K c h a r G$
$K c h a r H ◃ G \Rightarrow K ◃ G$
$K c h a r G, H / K c h a r G / K \Rightarrow H c h a r G$
$K ◃ G, H / K ◃ G / K \Rightarrow H ◃ G$
ただし下2つは $H \geq K$ を仮定する.

$K c h a r H c h a r G$ とし, $ϕ \in A u t (G)$ を任意にとる. このとき, $ϕ (H) = H$ となり, $ϕ |_{H}$ は $A u t (H)$ の元となる. よって $ϕ (K) = K$ となり $K c h a r G$ .
2番目もほぼ同様.
$K c h a r G, H / K c h a r G / K$ とし, $ϕ \in A u t (G)$ を任意に取る. このとき, $ϕ (K) = K$ より, $\bar{ϕ} : G / K \to G / K$ が誘導される. この $\bar{ϕ}$ に対し, $\bar{ϕ} (H / K) = H / K$ が成り立つので, $ϕ (H) = H$ .
4番目もほぼ同様.

一般に, 特性部分群から「自然に」群を作る操作をすると, それも特性部分群になります. 例えば, $H c h a r G$ のとき, $Z (H) や [H, H]$ なども特性部分群になります.

核

核を取ることで(正規とは限らない)部分群から正規部分群を作れる. この節では核の位数を評価する.

核

${c o r e}_{G} (H)$ を $\cap_{g} H^{g}$ と定義する.

定義より $G ▹ {c o r e}_{G} (H)$ となる.

$| G / H | = m$ とする. このとき, 準同型 $f : G \to S_{m}$ が存在し, その核は ${c o r e}_{G} (H)$ となる. 特に, $| G / {c o r e}_{G} (H) |$ は $m$ の倍数かつ $m!$ の約数となる.

$G / H$ に $G$ を $g_{1} \dot{(} g_{2} H) := g_{1} g_{2} H$ と作用させる. この作用から自然に準同型 $f : G \to S_{G / H}$ が誘導される. この準同型のkernelを $N$ とすると, $N = \cap_{g H} {k | k g H = g H} = \cap_{g} {k | g^{- 1} k g \in H} = \cap_{g} g H g^{- 1} = {c o r e}_{G} (H)$ . ゆえに, $| G / {c o r e}_{G} (H) | = | G / N | = | I m (f) | = m! / | c o k e r (f) |$ となる.

上の作用は可移なので, $f (G)$ は $S_{m}$ の可移な部分群となる.
また, 上の作用で $h \in H$ に対し, $h H = H$ が成立するので, $f (H) \subset S_{m - 1}$ である.

シロー $p$ 群

シロー $p$ 群の存在は有限群の分類に役立つ. この節では, シロー $p$ 群とそれに関連した命題を示す.

シロー

p

群

位数 $p^{a} b (b と p は互いに素)$ の群 $G$ の位数 $p^{a}$ の部分群 $H$ をシロー $p$ 群と定義する. シロー $p$ 群の個数を $n_{p} (G)$ とする. (この記法はあまり一般的ではないので注意)

シローの定理

$n_{p} (G) \equiv 1 (\mod p)$ であり, シロー $p$ 群は全て共役. 特に $G$ の位数を $n$ とすると, $n_{p} (G) | n$ . さらに, 任意の $G$ の部分 $p$ 群 $H$ に対し, あるシロー $p$ 群 $K$ が存在し, $H \leq K$ を満たす.

証明は基本的な群論の本に載っているので省略する.

O_{p} (G)

全てのシロー $p$ 群の共通部分を $O_{p} (G)$ と置く.

$O_{p} (G) c h a r G$ である. 特に, $n_{p} (G) = 1$ なら, $G$ のシロー $p$ 群は特性部分群となる.

シロー $p$ 群の同型での像は再びシロー $p$ 群となることから明らか.

$| G | = n$ と置く. この時, 以下の不等式が成り立つ.
$n > \sum_{p : o r d_{p} (n) = 1} n_{p} (G) (p - 1)$ $+ \sum_{p : o r d_{p} (n) > 1} (p^{o r d_{p} (n)} - 1) + \sum_{p : o r d_{p} (n) > 1, n_{p} (G) > 1} (1 - \frac{1}{p}) p^{o r d_{p} (n)}$
ただし、( $\sum_{p : Q (p)} f (p)$ )は $Q (p)$ を満たすすべての素数 $p$ に対しての $f (p)$ の和を表す.

$p$ を素数, $q = p^{{o r d}_{p} (n)}$ とする.以下, $p$ 冪という言葉は $p^{n}$ ( $n$ は正の整数)と表せる整数を指す.
$G$ の位数が $p$ 冪である元全体の集合を $G_{p}$ と置く.任意のシロー $p$ 群 $P$ に対して, $G_{p} \supset P - {1}$ である.　また, $| P - {1} | = q - 1$ に留意せよ.
${o r d}_{p} (n) = 1$ の時, シロー $p$ 群の共通部分は自明なので, $| G_{p} | \geq n_{p} (G) (p - 1)$ .
${o r d}_{p} (n) > 1$ なら,上の議論より $| G_{p} | \geq q - 1$ .
$o r d_{p} (n) > 1, n_{p} (G) > 1$ なら相異なるシロー $p$ 群, $P_{1}, P_{2}$ をとると, $| G_{p} | \geq | (P_{1} \cup P_{2}) - {1} | = | P_{1} | + | P_{2} | - | P_{1} \cap P_{2} | - 1 \geq (q - 1) + (q - \frac{q}{p})$ .
これと, $G ⊋ ⨆ G_{p}$ を合わせれば上の不等式が従う.

$| G_{p} | \geq n_{p} (G) (q - \frac{q}{p})$ は一般には成り立たない. $G = S_{3} \times S_{3}, p = 2$ が反例である.

半直積

正規部分群に対して, その補部分群があれば, 元の群はその2つの群の半直積でかける. この節では半直積の基本的な性質, 及びいつ同型になるか求める.

外部半直積

$K, N$ を任意の群とする. $ϕ : K \to A u t (N)$ が準同型であるとする. ここで, $G = K \times N$ に, 次のように二項演算 $*$ をいれる: $(k_{1}, n_{1}) * (k_{2}, n_{2}) = (k_{1} k_{2}, ϕ (k_{2}) (n_{1}) n_{2})$ . このとき, $(G, *)$ は群となり, これを $K ⋉_{ϕ} N$ と書く.

群になること

$((k_{1}, n_{1}) * (k_{2}, n_{2})) * (k_{3}, n_{3}) = (k_{1} k_{2}, ϕ (k_{2}) (n_{1}) n_{2}) * (k_{3}, n_{3}) = (k_{1} k_{2} k_{3}, ϕ (k_{3}) (ϕ (k_{2}) n_{1}) n_{3}) = (k_{1} k_{2} k_{3}, ϕ (k_{2} k_{3}) (n_{1}) ϕ (k_{3}) (n_{2}) n_{3}) .$
$(k_{1}, n_{1}) * ((k_{2}, n_{2}) * (k_{3}, n_{3})) = (k_{1}, n_{1}) * (k_{2} k_{3}, ϕ (k_{3}) (n_{2}) (n_{3})) = (k_{1} k_{2} k_{3}, ϕ (k_{2} k_{3}) (n_{1}) ϕ (k_{3}) (n_{2}) n_{3}) .$
より, 結合法則が確認できる.
$(1_{K}, 1_{N})$ が単位元になることは容易に確認できる.
$(k, n) * (k^{- 1}, ϕ (k^{- 1}) (n^{- 1}) = (1_{K}, ϕ (k^{- 1}) (n) ϕ (k^{- 1}) (n^{- 1})) = (1_{K}, 1_{G})$
$(k^{- 1}, ϕ (k^{- 1}) (n^{- 1})) * (k, n) = (1_{K}, ϕ (k) (ϕ (k^{- 1}) (n)) n^{- 1}) = (1_{K}, 1_{G})$
より, $(k, n)$ の逆元も存在する.

内部半直積は外部半直積

$G ▹ N, K$ が $G$ の部分群, $N \cap K = 1, G = K N$ とする. $k \in K, n \in N$ に対し, $(ϕ (k)) (n) = n^{k} と ϕ : K \to A u t (N) を定義すると, G ≃ K ⋉_{ϕ} N$ .

$(k, n) \in K ⋉_{ϕ} N$ に対し $k n \in G$ を対応させると, これが同型写像になる.

内部半直積と外部半直積の一致

$K, N$ を任意の群とする. $G = K ⋉_{ϕ} N, N^{'} = {(1, n) | n \in N}, K^{'} = {(k, 1) | k \in K}$ と置くと, $G ▹ N^{'}, N^{'} \cap K^{'} = 1, G = K^{'} N^{'} .$
逆に $G ▹ N, N \cap K = 1, G = K N とする . k \in K, n \in N に対し,$
$(ϕ (k)) (n) = n^{k} と ϕ : K \to A u t (N)$ を定義すると, $G ≃ K ⋉_{ϕ} N .$

前半は自明. 後半は $(k, n) \in K ⋉_{ϕ} N$ に対し $k n \in G$ を対応させると, これが同型写像になる.

今後, $G = K ⋉_{ϕ} N$ のとき, 上の定理の $K^{'}$ を $K$ と, $N^{'}$ を $N$ と同一視する. よって $(k, n) を単に k n$ と書く.

半直積が同型になる条件

$f が i_{1} (K) ⋉_{ϕ^{'}} j_{1} (N)$ から $i_{2} (K) ⋉_{ψ^{'}} j_{2} (N)$ への同型であり, さらに次の条件を満たすとする.

$f (i_{1} (N)) = i_{2} (N)$
$j_{2} (m) が存在し, f (i_{1} (K))^{j_{2} (m)} = i_{2} (K)$

このとき, $μ \in A u t (N) と ν \in A u t (K)$ が存在し, $(ν \circ ψ)^{μ} = ϕ$ となる.
逆に $(ν \circ ψ)^{μ} = ϕ$ なら, $i_{1} (K) ⋉_{ϕ} j_{1} (N) ≃ i_{2} (K) ⋉_{ψ} j_{2} (N)$ となる.

$f, m$ が上の条件を満たすとする. $ϕ^{'} (i_{1} (k)) (j_{1} (n)) = i_{1} (ϕ (k) (n)), ψ^{'} (i_{2} (k)) (j_{2} (n)) = i_{2} (ψ (k) (n))$ となる, $K$ から $A u t (N)$ への準同型 $ϕ, ψ$ , 及び $i_{2} (μ (n)), f (j_{1} (k)) = j_{2} (ν (k))^{i_{2} (m)} となる, μ \in A u t (N),$ $ν \in A u t (K)$ が取れる. すると, $i_{2} (μ (ϕ (k) (n))) = f (i_{1} (ϕ (k) (n)) = f (i_{1} (n)^{j_{1} (k)}) = i_{2} (μ (n))^{j_{2} (ν (k))^{i_{2} (m)}} = i_{2} (ψ (ν (k)) (μ (n)^{m^{- 1}})^{m})$ となる. よって $μ^{'} (n) = μ (n)^{m^{- 1}}$ と置くと, $ψ (ν (k))^{μ^{'}} = ϕ (k)$ となる.
逆に $ψ, ϕ, μ, ν$ が条件を満たすとする. $f (i_{1} (n)) = i_{2} (μ (n)), f (j_{1} (k)) = j_{2} (ν (k))^{i_{2} (m)}$ と $f$ を定義すれば同型となる.

$p$ -群

$p$ -群は個数が多く, さらにシローの定理が役立たないため, 別途に手段を考える必要がある.

$G / Z (G) = ⟨ \bar{x} ⟩$ が巡回群なら, $G = Z (G)$ .

$G / Z (G) = ⟨ \bar{x} ⟩$ となるように $x \in G$ をとる. $y \in G$ を任意にとると, $y = x^{a} z$ の形に自然数 $a$ と $z \in Z (G)$ を用いて書ける. よって, $x y = x^{a + 1} z = x^{a} z x = y x$ となり, $x \in Z (G)$ .

$G$ を位数が $p^{n}$ である群とする. このとき, $G = G_{n} \supset G_{n - 1} \supset G_{n - 2} . . . \supset G_{0} = 1 かつ | G_{i} | = p^{i}$ となる, $G$ の正規部分群 $G_{i} (i = 0, . . ., n)$ が存在する.

$G_{i}$ を帰納的に定義する. $i < n$ なら $G / G_{i}$ は非自明な $p$ -群である. よって, その中心は非自明であり, $Z (G / G_{i}) \supset G_{i + 1} / G_{i}$ となるように位数 $p^{i + 1}$ の群, $G_{i + 1}$ を取れる. $Z (G / G_{i}) \supset G_{i + 1} / G_{i}$ より特に $G / G_{i} ▹ G_{i + 1} / G_{i}$ となり, 命題1より $G ▹ G_{i + 1}$ .

$G ▹ N, G / N = ⟨ \bar{x} ⟩ = C_{m}$ とする. $N$ の $x$ への共役を $ϕ$ と書く. $y = x^{m}$ とすると, $ϕ と x$ は以下の二つを満たす.

$ϕ (y) = y$
$ϕ^{m} (n) = n^{y}$

逆に, 群 $N$ と $ϕ \in A u t (N), y \in N$ が上の条件を満たすとする. この時, 群 $G と x$ が存在し, $G ◃ N, G / N = ⟨ \bar{x} ⟩ = C_{m}$ となり, $N$ の $x$ への共役を $ϕ$ となる. (この群 $G$ に適切な名前があれば教えてほしいです. . . )

前半の主張は自明. 後半の主張を示す. $X = {(i, n) | i \in Z, n \in N}$ と置き, $(i + m, n) \sim (i, y n)$ となるような最小の同値関係を $\sim$ とする. $G = X / \sim$ とし, $(i, n_{1}) * (j, n_{2}) = (i + j, ϕ^{j} (n_{1}) (n_{2}))$ とすると, これはwell-definedであり, $(G, *)$ は群となる. そして $x = (0, 1_{N})$ とすれば残りの条件も満たす.(詳細は計算すればわかり, また半直積と似た感じなので省略)

群の表示

群の準同型をもとめるさい、群の表示が役に立つ.

$I, J$ を添え字集合とし, $G = ⟨ x_{i} | r_{j} ⟩, y_{i} \in H (i \in I, j \in J)$ とする. このとき,任意の $i$ に対し $ϕ (x_{i}) = y_{i}$ を満たす $G$ から $H$ への準同型が存在することと, 任意の $j$ に対し, $r_{j} ((y_{i})_{I}) = 1$ となることは同値である. さらにこの時, $G$ から $H$ への準同型は一意に定まる.

一意性は $(x_{i})_{I} が G$ の生成元であることから従う. 任意の $j$ に対し, $r_{j} ((y_{i})_{I}) = 1$ と仮定する. $ψ (x_{i}) = y_{i}$ を満たす $⟨ x_{i} ⟩$ から $H$ への射が自由群の普遍性から存在し, 仮定より $r_{j} ((x_{i})_{I}) \in k e r (ψ)$ となるので, ここから条件を満たす $G$ から $H$ への射 $ϕ$ が誘導できる.
逆に $ϕ (x_{i}) = y_{i}$ を満たす $G$ から $H$ への射 $ϕ$ があれば, $1 = ϕ (1) = ϕ (r_{j} ((x_{i})_{I})) = r_{j} ((ϕ (x_{i}))_{I}) = r_{j} ((y_{i})_{I})$ となる.

参考文献

[1]

finite group theory, I.Martin Isaacs

投稿日：2020年12月17日

更新日：2024年1月11日

この記事を高評価した人

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

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

バッジはありません。

バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

13899

他の人のコメント

コメントはありません。

読み込み中

位数100までの群の分類(の準備)

初めに
諸注意
用いる定理/定義
正規/特性部分群
核
シロー $p$ 群
半直積
$p$ -群
群の表示
参考文献

位数100までの群の分類(の準備)

初めに

諸注意

用いる定理/定義

正規/特性部分群

核

シローp群

半直積

p-群

群の表示

参考文献

この記事を高評価した人

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

投稿者

コメント

他の人のコメント

シロー $p$ 群

$p$ -群