代数的構造とその射半群からアーベル群、同型定理まで整理・改訂版

目次
序章：代数学への招待 ............................................... 4
　0.1 なぜ「構造」を学ぶのか ..................................... 4
　0.2 集合と写像の基礎 ............................................ 4
　0.3 二項演算とは何か ............................................ 5
　0.4 「構造」と「構造を保つ写像」という視点 ............. 6
第1章：半群（Semigroup）— 結合法則の風景 ........... 8
　1.1 半群の定義 ...................................................... 8
　1.2 半群の具体例 ................................................... 8
　1.3 部分半群 ......................................................... 9
　1.4 イデアル ........................................................ 10
　1.5 半群の準同型写像 ............................................ 10
　1.6 半群の同型 ...................................................... 11
　1.7 半群の応用 ...................................................... 11
第2章：モノイド（Monoid）— 単位元の導入 ............. 13
　2.1 モノイドの定義 ............................................... 13
　2.2 モノイドの具体例 ........................................... 13
　2.3 可逆元（単元） ................................................. 14
　2.4 部分モノイド .................................................. 14
　2.5 モノイド準同型 ............................................... 15
　2.6 自由モノイド .................................................. 15
　2.7 モノイドの作用 ............................................... 16
第3章：群（Group）— 対称性と逆元 ......................... 17
　3.0 群への導入 ...................................................... 17
　3.1 群の定義と基本性質 .......................................... 17
　3.2 群の具体例（基礎編） ........................................ 18
　3.3 群の具体例（幾何編） ........................................ 18
　3.4 群の具体例（線形代数編） .................................. 18
　3.5 部分群 ............................................................ 19
　3.6 剰余類とラグランジュの定理 ............................ 19
　3.7 正規部分群 ...................................................... 20
　3.8 商群（剰余群） .................................................. 21
第4章：準同型と群の構造 ......................................... 22
　4.1 群準同型写像の定義 .......................................... 22
　4.2 群準同型の具体例 ........................................... 22
　4.3 核（Kernel） ..................................................... 22
　4.4 像（Image） ..................................................... 23
　4.5 準同型と部分群 ................................................ 23
　4.6 群の直積と準同型 ............................................. 23
　4.7 準同型定理への準備 .......................................... 24
第5章：同型（Isomorphism）と群の分類 .................. 25
　5.1 群同型の定義 .................................................... 25
　5.2 同型の具体例 ................................................... 25
　5.3 ケーリーの定理 ................................................ 25
　5.4 第一同型定理（準同型定理） ............................... 26
　5.5 第二同型定理（ダイヤモンド同型定理） ............... 26
　5.6 第三同型定理（対応定理） .................................. 26
　5.7 自己同型群 ...................................................... 27
　5.8 群の分類問題 .................................................... 27
第6章：アーベル群（Abelian Group）— 可換性の世界 29
　6.1 アーベル群の定義 .............................................. 29
　6.2 アーベル群の具体例 ........................................... 29
　6.3 巡回群 .............................................................. 29
　6.4 アーベル群の直和 .............................................. 30
　6.5 有限生成アーベル群 ........................................... 30
　6.6 有限生成アーベル群の基本定理 ........................... 30
　6.7 有限アーベル群の分類 ........................................ 31
　6.8 アーベル群の準同型 ........................................... 31
第7章：構造間の比較と圏論的視点 .............................. 32
　7.1 半群、モノイド、群の包含関係 ........................... 32
　7.2 準同型の種類と違い ........................................... 32
　7.3 圏（Category）の基礎 ....................................... 32
　7.4 具体的な圏 ........................................................ 32
　7.5 関手（Functor） ................................................. 32
　7.6 普遍性（Universal Property） ............................. 33
　7.7 構造の比較：まとめ ............................................ 33
終章：さらなる代数的構造へ ........................................ 34
　8.1 環（Ring）への展開 ............................................. 34
　8.2 体（Field）の世界 ............................................... 34
　8.3 加群（Module）とベクトル空間 ........................... 34
　8.4 より高次の構造 .................................................. 34
　8.5 現代数学における群論の役割 ............................... 35
　8.6 学びの次のステップ ............................................ 35
結びに代えて .............................................................. 36

序章：代数学への招待

0.1 なぜ「構造」を学ぶのか

数学の歴史を振り返ると、個別具体的な問題の解決から始まり、次第にその背後にある共通の原理を抽出し、抽象的な理論を構築するという発展のパターンが繰り返されてきました。代数学という分野は、まさにこの抽象化の極致とも言える学問です。

例えば、整数の足し算、行列の掛け算、写像の合成という三つの異なる操作を考えてみましょう。一見すると、これらは全く別の世界の話のように思えます。整数は数であり、行列は数の配列であり、写像は集合間の対応関係です。しかし、これら三つには重要な共通点があります。それは「結合法則が成り立つ」という性質です。

整数 a, b, c に対して (a+b)+c = a+(b+c) が成り立ち、行列 A, B, C に対して (AB)C = A(BC) が成り立ち、写像 f, g, h に対して (f∘g)∘h = f∘(g∘h) が成り立ちます。この共通の性質を「構造」として抽出し、結合法則を満たす集合と演算の組を「半群」と名付けることで、三つの異なる対象を統一的に扱うことができるようになります。

このような抽象化には二つの大きな利点があります。第一に、一度抽象的な理論で証明した定理は、その構造を持つすべての対象に適用できます。整数についても、行列についても、写像についても、同じ定理が使えるのです。第二に、抽象化によって本質が明確になり、新しい洞察が得られることがあります。具体的な計算に埋もれていた重要な性質が、構造として取り出されることで鮮明に見えてくるのです。

代数学における「構造」とは、集合に定義された演算とその演算が満たす法則（公理）の組み合わせです。そして、異なる構造の間の関係を調べることで、数学の深い理解が得られます。本書では、最も基本的な構造である半群から始めて、段階的に条件を追加していくことで、モノイド、群、アーベル群という階層を登っていきます。