対称性の言語 — 正方形の回転が「群」になるとき
正方形を回転・反転させる操作を「掛け算」します．この素朴な遊びが群の概念に直結していることを見ながら，抽象代数がなぜ具体的な対称性の分析から生まれたのかを辿ります．
群の定義を初めて見た人が抱く疑問は，おそらくこうでしょう：こんな抽象的な公理を，誰が何のために考えたのか？
答えは「対称性」にあります．群は対称性を記述するために生まれた言語です．このことを，正方形の対称性という最も手触りのある例から見ていきましょう．
1 正方形を動かす8つの方法
正方形の4つの頂点にと番号を振ります．この正方形を，見た目が変わらないように動かす操作（対称操作）は全部で8通りあります．
回転（反時計回り）：
鏡映（対称軸による反転）：
この8つの操作の集合をと書きます．二面体群（dihedral group）と呼ばれます．
2 操作の「掛け算」
2つの対称操作を続けて行うことを「積」と定義します．例えばの後にを行う操作をと書きます（右から左に読みます）．
ここで面白いことが起きます．2つの対称操作を続けて行った結果も，必ず8つの中のどれかになります．
最後の等式は特に重要です．これはを意味します — 回転と反転の順番を入れ替えると結果が変わります．は非可換群なのです．
3 なぜこれが「群」なのか
さて，が群の3つの公理を満たすことを確認しましょう．
結合法則：操作に対してが成り立ちます．これは「3つの操作を続けて行う」ことの当然の帰結です — 中間結果をどこで区切っても最終結果は同じです．
単位元：恒等変換（何もしない）がそれにあたります．何もしない操作の後にを行えばですし，の後に何もしなくてもです．
逆元：どの操作も「元に戻す」操作を持ちます．回転の逆は回転（），鏡映の逆は同じ鏡映（）です．
4 乗積表 — 群の「九九」
の構造を完全に記述するには，すべての積を書き下した乗積表（Cayley table）を作ればよいのです．の8元の乗積表はの表になります．
この表には顕著な特徴があります：
各行・各列に，8つの元がちょうど1回ずつ現れます（ラテン方陣の性質）
これは群の消約法則 の直接的な帰結です
5 の「関係式」で群を復元する
実は，の構造全体は次の3つの関係式だけから復元できます：
最後の式はと同値で，「で回転の向きが逆転する」ことを表しています．鏡に映すと時計回りが反時計回りに変わる — これは日常的な直感とも一致します．
6 なぜ「抽象化」するのか
正方形の対称性だけなら，8つの操作を列挙すれば済みます．ではなぜわざわざ「群」という抽象概念を導入するのでしょうか．
理由は，まったく異なる対象に同じ構造が現れるからです．
上の足し算（mod ）
上の掛け算
線分の「そのまま」と「反転」
群という抽象化により，具体的な対象に依存しない構造の本質を議論できるようになります．正方形の対称性を分析した技法が，結晶構造の分類にも，素粒子物理学にも，暗号理論にもそのまま使えます．これが代数学の力です．
7 まとめ
群は「対称性の操作全体」から自然に生まれる概念であり，3つの公理は対称操作が本質的に満たす性質を抽出したものです．正方形という身近な対象が，非可換群・乗積表・生成元と関係式といった群論の中心的な概念を余すところなく体現しています．抽象代数を学ぶ第一歩として，このという群と徹底的に遊ぶことをおすすめします．