交換子群は何のために定義されるのか――雪江明彦『代数学1 群論入門』を読むということ
皆さん、こんにちは。
HSP×アンチ東大主義の、＠おはようございますです。
今回は、雪江明彦『代数学1 群論入門』における
交換子と交換子群の導入のされ方について、少し立ち止まって考えてみたいと思います。
具体的には、第4章で
定義4.3.1（交換子）
命題4.3.2「$${G/[G,G]}$$ は可換群である」
と、ほとんど間を置かずに話が進んでいく構成についてです。
形式としては正しい。でも「何がしたいのか」が見えない
教科書的には、これはとても整った流れです。
交換子 $${aba^{-1}b^{-1}}$$ を定義し
それらで生成される部分群 $${[G,G]}$$ を考え
それで割った商群が可換になることを示す
論理的には一切の飛躍がありません。
ただ、読んでいてどうしても引っかかるのは、
なぜ、そもそもこれをやっているのか
という動機が、ほとんど語られないことです。
交換子とは何か――本当は単純な関心から始まっている
交換子
$${[a,b] = aba^{-1}b^{-1}}$$
は、一見すると人工的な式に見えます。
でも、関心はとても素朴です。
ab = ba かどうかを知りたい
これだけ。
実際、
$${[a,b] = e}$$（単位元）
であれば、
$${aba^{-1}b^{-1} = e \iff ab = ba}$$
つまり交換子は、
可換性が破れているかどうかを測る検査器です。
ここまでは、かなり直感的です。
群に「可換性を持たせたい」という欲求
次に来るのが、もっと構造的な動機です。
与えられた群 G が可換でない
でも「可換な世界」で考えたい
この欲求は、数学ではごく自然に現れます。
非可換群は複雑
まず可換な近似を見たい
「順序の違い」を忘れた骨格を取り出したい
このとき出てくるのが、商群という操作です。
交換子群とは何か（動機付きで）
交換子群 [G,G] は、
群の中にある「可換性を壊している成分」だけを全部集めたもの
と理解すると、かなり見通しが良くなります。
交換子が全部単位元になれば
群は可換になる
ならば、
交換子をすべて「なかったこと」にする
これが、
$${G / [G,G]}$$
という操作の意味です。
命題「G/[G,G] は可換群である」は結論ではない
教科書では命題としてさらっと出てきますが、
これは新しい事実というより、
設計通りの結果
です。
非可換性を集めた部分を潰した
順番のズレを全部同一視した
だから順番が意味を持たない
可換になるのは、むしろ当然。
ここを「証明すべき事実」としてだけ読むと、
話が機械的になります。
「集合はものの集まり」という理解が壊れる瞬間
もう一つ重要なのは、ここで
集合＝ものの集まり
という素朴な理解が、静かに壊れていく点です。
$${[G,G]}$$ は単なる「部分集合」ではなく、
正規部分群であり
構造を潰すための対象であり
意味を持って選ばれた集合
です。
「集める」のではなく、
「何を忘れるかを決めている」。
この感覚がないと、
商群はただの形式操作に見えてしまう。
数学書を読むときに必要なもの
この一連の流れは、交換子群に限った話ではありません。
数学書ではしばしば、
定義
命題
証明
が淡々と並びます。
でもその背後には必ず、
何をしたかったのか
という欲求があります。
それを補わずに読み進めると、
定義を覚え
命題を追い
でも意味は残らない
という読書体験になってしまう。
まとめ
交換子群の話は、
可換かどうかを測り
非可換性を集め
それを潰して
最も近い可換な世界を作る
という、非常に自然な思想から来ています。
それを「手続き」としてだけ追うか、
「動機」から読み直すかで、
群論の風景はまったく変わる。
数学書を読むとき、
定義の前に、問いを探す。
この姿勢がないと、
本当に大事なところが見えなくなるのだと思います。
以下もお勧め。四半世紀にも及ぶ苦闘の歴史。
