抽象代数学

Q: 群・環・体の包含関係はどうなっているか

体 $\subset$ 可換環 $\subset$ 環、体 $\subset$ 除環（斜体） という関係があります。体は「加法群かつ乗法群（零元を除く）」、可換環は「乗法可換・零因子あり得る」、一般の環は「乗法非可換・零因子あり得る」です。$\mathbb{Q},\mathbb{R},\mathbb{C},\mathbb{F}_p$ が体、$\mathbb{Z}$ が整域（体でない環）です。

Abstract Algebra

初級（大学1〜2年レベル）

概要

抽象代数学（Abstract Algebra）は、代数的構造（algebraic structure）を研究する数学の分野であり、具体的な数や多項式から離れて、演算とその性質を抽象的・公理的に扱う。19世紀から20世紀にかけて発展し、現代数学の基盤となっている。

抽象代数学の中心的な対象は、群（group）、環（ring）、体（field）の3つの代数構造である。これらは、対称性の記述、方程式の解法、数論、幾何学、暗号理論、量子力学など、数学・科学・工学のあらゆる分野で基礎となる。

代数的構造の階層

代数的構造は、集合に1つまたは2つの演算を定義し、満たすべき公理により特徴づけられる。

代数構造の階層（構造の強まり）

$$\text{集合} \;\to\; \text{群} \;\to\; \text{可換群} \;\to\; \text{環} \;\to\; \text{可換環} \;\to\; \text{整域} \;\to\; \text{体}$$

右に行くほど演算と公理が増え、構造が強くなる。ここで矢印 $\to$ は「演算と公理を加えて構造を強める」段階を表し、厳密な集合の包含ではない（群は演算 $1$ つ・環は演算 $2$ つと、対象の種類が変わる）。一方、演算の数が同じ範囲では実際に集合の包含が成り立ち、$\text{可換群}\subset\text{群}$ や $\text{体}\subset\text{整域}\subset\text{可換環}\subset\text{環}$ はそのまま包含である。なお環の加法は可換群、体の $0$ 以外の元は乗法に関して可換群、というように、上位の構造は下位の構造を内部に含んでいる。

図1. 代数的構造の入れ子の階層。外側の集合に演算と公理を一段ずつ加えるほど構造は豊かになり、$\text{集合}\to\text{群}\to\text{環}\to\text{体}$ と内側へ構造が強まる（入れ子や矢印は構造の強まりを表すもので、厳密な集合の包含ではない）。$\mathbb{Z}$ は整域（体でない環）、$\mathbb{Q},\mathbb{R},\mathbb{C}$ は割り算のできる体である。

群（Group）

定義：群

集合 $G$ と二項演算 $*: G \times G \to G$ の組 $(G, *)$ が群であるとは、以下の公理を満たすことをいう：

結合律: $(a * b) * c = a * (b * c)$ for all $a, b, c \in G$
単位元の存在: ある $e \in G$ が存在して、$e * a = a * e = a$ for all $a \in G$
逆元の存在: 任意の $a \in G$ に対し、$a * b = b * a = e$ を満たす $b \in G$ が存在

さらに $a * b = b * a$ for all $a, b \in G$ が成り立つとき、可換群（アーベル群、abelian group）という。

図2. 二項演算 $*:G\times G\to G$ のイメージ。集合 $G$（楕円）の2元 $a,b$ を演算 $*$（丸で囲んだ記号）へ入力すると、その出力 $a*b$ もふたたび $G$ の元になる（閉性）。群の公理は、この $*$ に結合律・単位元・逆元という制約を課したものである。

例

整数の加法 $(\mathbb{Z}, +)$: 可換群（単位元0、逆元は符号反転）
非零実数の乗法 $(\mathbb{R}^*, \times)$: 可換群（単位元1、逆元は逆数）
対称群 $S_n$: $n$ 個の元の置換全体（非可換、$n \geq 3$）
回転群 $SO(3)$: 3次元空間の回転全体（非可換）
剰余類 $\mathbb{Z}/n\mathbb{Z}$: 整数の $n$ を法とする剰余類（可換群）

応用

群は対称性の数学的表現として、結晶学、分子対称性、素粒子物理学（ゲージ理論）、暗号理論（楕円曲線暗号）で用いられる。

環（Ring）

定義：環

集合 $R$ と2つの二項演算 $+, \times$ の組 $(R, +, \times)$ が環であるとは、以下を満たすことをいう：

$(R, +)$ は可換群（単位元を $0$ と書く）
$\times$ は結合的: $(ab)c = a(bc)$
分配律: $a(b + c) = ab + ac$, $(a + b)c = ac + bc$

さらに以下の性質を持つ環に特別な名前がつく：

単位的環: 乗法の単位元 $1$ が存在
可換環: $ab = ba$ for all $a, b \in R$
整域（integral domain）: 可換、単位的、零因子なし（$ab = 0 \Rightarrow a = 0$ or $b = 0$）

例

整数環 $\mathbb{Z}$: 整域（可換、単位的、零因子なし）
多項式環 $\mathbb{R}[x]$: 実数係数の多項式全体（整域）
行列環 $M_n(\mathbb{R})$: $n \times n$ 実行列全体（非可換、$n \geq 2$）
剰余環 $\mathbb{Z}/n\mathbb{Z}$: $n$ が素数でないとき零因子を持つ

応用

環論は、代数的数論、代数幾何学、符号理論、暗号理論の基礎となる。イデアル論（Noether環、Dedekind環）は整数論の一般化として重要。

体（Field）

定義：体

可換環 $F$ が体であるとは、$0$ でないすべての元が乗法逆元を持つことをいう。すなわち：

$(F, +)$ は可換群
$(F \setminus \{0\}, \times)$ は可換群
分配律が成り立つ

例

有理数体 $\mathbb{Q}$
実数体 $\mathbb{R}$
複素数体 $\mathbb{C}$
有限体 $\mathbb{F}_p = \mathbb{Z}/p\mathbb{Z}$ （$p$ は素数）
代数拡大体: $\mathbb{Q}(\sqrt{2}) = \{a + b\sqrt{2} : a, b \in \mathbb{Q}\}$

応用

体論は、方程式論（Galois理論）、代数幾何学、符号理論（Reed-Solomon符号）、暗号理論（有限体上の楕円曲線）で中心的役割を果たす。

準同型と同型

準同型写像

代数構造間の構造を保つ写像。群 $(G, *)$ から群 $(H, \cdot)$ への写像 $\phi: G \to H$ が準同型（homomorphism）であるとは $$\phi(a * b) = \phi(a) \cdot \phi(b) \quad \text{for all } a, b \in G$$ が成り立つこと。

ここで $*$ と $\cdot$ は、2つの群それぞれの二項演算であり、混同しないよう記号を分けている：

$*$ … 出発側の群 $G$ の演算
$\cdot$ … 行き先の群 $H$ の演算

つまり左辺 $\phi(a * b)$ は「$G$ で先に演算してから $\phi$ で送る」、右辺 $\phi(a) \cdot \phi(b)$ は「$\phi$ で送ってから $H$ で演算する」ことを表し、どちらでも同じ結果になる（＝$\phi$ が演算の構造を保つ）というのが準同型の条件である。

同型

全単射な準同型を同型（isomorphism）といい、$G \cong H$ と書く。同型な代数構造は「本質的に同じ」とみなす。

例: $(\mathbb{R}, +) \cong (\mathbb{R}^+, \times)$ （対数関数 $\phi(x) = e^x$ が同型）

主要な定理

Lagrange の定理

Lagrange の定理（群論）

有限群 $G$ の部分群 $H$ の位数は $G$ の位数を割り切る： $$|H| \mid |G|$$

剰余類による分割を用いたきちんとした証明は、専用記事「ラグランジュの定理」を参照。

準同型定理（第一同型定理）

準同型定理

群準同型 $\phi: G \to H$ に対し $$G / \ker(\phi) \cong \text{Im}(\phi)$$ （核による商群は像と同型）

$\ker\phi$ の正規性・誘導写像の well-defined 性・単射・全射を尽くした完全な証明は、専用記事「群準同型と準同型定理」を参照。

中国剰余定理

中国剰余定理（環論版）

$\gcd(m, n) = 1$ のとき $$\mathbb{Z}/(mn)\mathbb{Z} \cong \mathbb{Z}/m\mathbb{Z} \times \mathbb{Z}/n\mathbb{Z}$$

解の存在・一意性の構成的証明（環同型としての全単射性まで）は、整数論の専用記事「中国剰余定理」を参照。

基本定理

有限生成アーベル群の基本定理: 有限生成アーベル群は巡回群の直積に分解される
代数学の基本定理: $n$ 次複素数係数多項式は複素数体で $n$ 個の根を持つ（重複度込み）
Galois の基本定理: 体拡大の中間体と Galois 群の部分群が対応

各基本定理の厳密な証明は専用記事にある：有限アーベル群版の巡回群への直和分解（存在＋基本因子の一意性）は「群の直積」（有限生成版は PID 上の加群の構造定理に帰着）、代数学の基本定理はリウヴィルの定理を用いた解析的証明が「代数学の基本定理」、Galois の基本定理は「ガロア対応の基本定理」を参照。

応用

暗号理論

RSA暗号（整数の素因数分解）、楕円曲線暗号（有限体上の楕円曲線の群構造）、AES（有限体 $\mathbb{F}_{2^8}$ の演算）で抽象代数学が基礎となる。

符号理論

線形符号（有限体上のベクトル空間）、Reed-Solomon符号（多項式環）、BCH符号（有限体の拡大）で用いられる。

結晶学

結晶の対称性は空間群（群論）により分類される。230種の空間群が知られている。

素粒子物理学

ゲージ理論（標準模型）は Lie 群 $SU(3) \times SU(2) \times U(1)$ で記述される。

計算機科学

形式言語理論（正規言語とモノイド）、計算量理論（群の計算複雑性）、量子計算（ユニタリ群）で応用される。

歴史的発展

Évariste Galois (1811–1832): 方程式の可解性と群論を結びつけた（Galois理論）
Richard Dedekind (1831–1916): イデアル論、環の概念を導入
Emmy Noether (1882–1935): 抽象代数学の公理的定式化、Noether環
Emil Artin (1898–1962): 現代的な体論、Galois理論の再構成

20世紀には、圏論（category theory）による統一的視点が加わり、抽象代数学は現代数学の共通言語となった。

参考文献

Dummit, D. S., & Foote, R. M. (2003). Abstract Algebra (3rd ed.). Wiley.
Artin, M. (2010). Algebra (2nd ed.). Pearson.
Herstein, I. N. (1996). Abstract Algebra (3rd ed.). Wiley.
Lang, S. (2002). Algebra (Revised 3rd ed., Graduate Texts in Mathematics 211). Springer.
Hungerford, T. W. (1980). Algebra (Graduate Texts in Mathematics 73). Springer.
Fraleigh, J. B., & Brand, N. (2021). A First Course in Abstract Algebra (8th ed.). Pearson.
Weisstein, E. W. "Abstract Algebra." From MathWorld—A Wolfram Web Resource.

よくある質問

抽象代数学の主要な研究対象は何か

群・環・体・加群（モジュール）・ベクトル空間などの代数的構造を抽象的・公理的に研究します。共通のテーマは「対称性・演算・準同型・同型・不変量」です。ガロア理論（体の拡大と群の対応）が最も有名な成果の一つです。

群・環・体の包含関係はどうなっているか

体 $\subset$ 可換環 $\subset$ 環、体 $\subset$ 除環（斜体）という関係があります。体は「加法群かつ乗法群（零元を除く）」、可換環は「乗法可換・零因子あり得る」、一般の環は「乗法非可換・零因子あり得る」です。$\mathbb{Q},\mathbb{R},\mathbb{C},\mathbb{F}_p$ が体、$\mathbb{Z}$ が整域（体でない環）です。

同型定理はどのように使うか

代数的構造の同型を証明する際の定型手順：(1) 準同型 $\phi: A \to B$ を構成する、(2) 核 $\ker\phi$ を特定する、(3) 第一同型定理 $A/\ker\phi \cong \text{Im}\phi$ を適用する、(4) $\text{Im}\phi = B$（全射）を確認する、という流れで $A/\ker\phi \cong B$ が得られます。