1 体の概要
「体」は、加法と乗法が一つの集合の上で整合的に定義され、0でない要素については割り算が可能になるよう設計された代数構造である。数の世界を抽象化した概念であり、方程式、拡張、対称性、線形代数など、多くの理論の基盤をなす。
体は、通常の数計算に見られる性質を公理としてまとめたもので、計算規則を厳密に扱うための枠組みを与える。特に、0を除く任意の要素に逆元がある点が、より一般的な環や整域との大きな違いになる。
1.1 体の定義
体は、二つの演算について一定の条件を満たす集合として定義される。加法では和が再び集合の中に入り、乗法でも積が閉じていることに加え、両者が分配法則で結びついている。
1.1.1 加法と乗法の公理
加法については、結合律、交換律、単位元の存在、逆元の存在が要求される。乗法についても、結合律と単位元が必要であり、さらに分配法則によって加法と連動する。これらの性質により、通常の四則演算に近い計算体系が成立する。
1.1.2 乗法逆元と0の扱い
体では、0以外のすべての要素が乗法逆元をもつ。したがって、0で割る操作だけは許されない一方、それ以外の割り算は常に可能になる。0は加法単位元であるが、乗法に関しては特別に逆元を持たない。
1.2 体の基本性質
体の公理からは、多くの基本的な性質が導かれる。たとえば、消去法が使えること、方程式の一次項が一意に解けること、零因子が存在しないことなどが挙げられる。こうした性質は、計算の安定性を支える。
1.2.1 可換性の位置づけ
通常「体」というと、乗法が可換であることを含む。つまり、aとbの積は順序を入れ替えても変わらない。この可換性により、代数方程式や多項式の理論が扱いやすくなる。非可換な代数系は別の概念として区別される。
1.2.2 有限性と特性（標数）
体は有限個の元からなる場合と、無限個の元からなる場合がある。また、体の特性とは、1を何回加えると0になるかを表す基本量であり、存在しない場合は特性0と呼ばれる。有限体の多くは正の特性をもち、整数論や符号理論で重要な役割を果たす。
1.3 体と関連する代数構造
体は、より弱い構造である環や整域と密接に関係する。これらの違いを押さえることで、体がどの程度強い条件を持つかが明確になる。
1.3.1 環との違い
環では加法と乗法が定義されるが、すべての非零元に乗法逆元があるとは限らない。したがって、割り算は一般にはできない。体は環の中でも特に条件が厳しく、計算の自由度が高い構造といえる。
1.3.2 体と整域の関係
整域は、零因子を持たない可換環である。体は必ず整域だが、逆は成り立たない。たとえば整数全体は整域だが体ではない。ここから、体は整域をさらに強化したものとして位置づけられる。
2 代表的な体
体には、日常的な数として現れるものから、有限個の元しか持たない抽象的なものまで、さまざまな例がある。代表例を知ることで、体の性質が具体的に理解しやすくなる。
2.1 有理数体とその拡張
有理数、実数、複素数は、最も基本的で広く使われる体の例である。これらは数の拡張の流れを示し、代数学だけでなく解析学にも深く関わる。
2.1.1 有理数の体
有理数全体は、通常の加法と乗法の下で体をなす。分数として表せるため、0でない任意の有理数には逆数が存在する。整数ではできない割り算を可能にする最も身近な例である。
2.1.2 実数体と複素数体
実数体は連続量の記述に使われ、解析学の標準的な舞台になる。複素数体では、負の数の平方根を含めることで、より多くの方程式が解けるようになる。複素数は、代数学において閉じた数の体系として特に重要である。
2.2 有限体（ガロア体）
有限体は、元の個数が有限である体で、理論的にも応用面でも独特の性質を持つ。記号処理、誤り訂正、暗号、組合せ構造などで頻繁に利用される。
2.2.1 元数と体の存在
有限体は、必ず素数冪個の元をもつ。元の個数がその形でなければ体は存在しない。この事実は、有限の世界では体の構造が強く制約されることを示している。
2.2.2 具体的な例と性質
最も簡単な有限体は、素数 p 個の元を持つ体で、通常は整数を p で割った余りの計算に対応する。これらでは、加減乗除が循環的に行われる。要素数が小さいため計算が明快で、抽象理論の実例としても有用である。
2.3 構成による体の生成
体は、既知の体から新しい元を付け加えることで作られることが多い。構成法を理解すると、必要な性質をもつ体を意図的に設計できる。
2.3.1 多項式剰余による体
多項式環で既約多項式を使って剰余をとると、新しい体が得られることがある。これにより、ある方程式の解を含むような拡張体を構成できる。有限体の生成でも、この方法は中心的である。
2.3.2 極限的・拡大の考え方
体を次々に拡大していくと、より多くの方程式を解ける環境が整う。極限的な見方では、無数の拡張をまとめて扱うこともある。こうした考え方は、代数的閉包や関数体の理論へつながる。
3 体の理論的道具立て
体の研究では、個々の要素だけでなく、体同士を結ぶ写像や拡大の構造が重要になる。これらの道具は、体の内部構造と相互関係を整理する役割を担う。
3.1 体の準同型
体の準同型は、演算を保つ写像である。構造を壊さずに別の体へ移すため、比較や分類の基本手段となる。
3.1.1 埋め込みと同型
埋め込みは、ある体を別の体の中に矛盾なく写す操作である。同型は、二つの体が本質的に同じ構造を持つことを意味する。これらを通じて、体の「形」が保存されるかどうかを判定できる。
3.1.2 自動同型と対象の見方
自動同型は、体から自分自身への同型である。これは体の対称性を表し、元どうしの入れ替えがどの程度許されるかを示す。特に拡大体では、自動同型群が構造理解の手がかりになる。
3.2 体拡大
体拡大は、ある体を含むより大きな体を考えることを指す。既存の体系を保ちながら、新しい解や元を加えるための基本操作である。
3.2.1 体拡大の定義と例
体Kが体Lに含まれるとき、LをKの拡大体と呼ぶ。たとえば、有理数体に平方根を加えた体や、実数体を複素数体に含める関係が典型例である。拡大の大きさは、元の構造の複雑さを表す指標にもなる。
3.2.2 生成元と最小多項式
拡大体の一部は、一つまたは少数の元で生成される。生成元が満たす最小多項式は、その元の代数的性質を凝縮して表す。これにより、拡大がどのように作られたかを具体的に記述できる。
3.3 ガロア理論の入口
ガロア理論は、方程式の解と対称性を結びつける理論である。体の拡大に現れる自己同型群を通じて、解ける方程式とそうでない方程式の違いを分析する。
3.3.1 分解と整合性の直観
多項式がどのように因数分解されるかは、対応する体の中にどの元が存在するかに左右される。分解の仕方が拡大体の構造と整合しているとき、問題は群論的に整理できる。ここにガロア理論の発想がある。
3.3.2 応用としての対称性
対称性の観点は、方程式の解集合だけでなく、数の拡張そのものを理解する助けになる。解の入れ替えが保存される条件を追うことで、体の内部構造が明らかになる。これは抽象代数学の中でも特に強力な視点である。
4 体が活躍する場面
体は純粋理論にとどまらず、具体的な計算や応用数学の多くの場面で使われる。方程式、線形代数、計算機的処理の各分野で、共通の言語として機能する。
4.1 方程式論との関係
方程式を解く際、どの体の上で考えるかによって解の有無や性質が変わる。体は、解を探す領域を明確にするための枠組みを与える。
4.1.1 解の存在を保証する見方
ある方程式が特定の体で解を持たない場合でも、体を拡大すると解が現れることがある。こうした見方により、解の存在を段階的に扱える。体は「どこまで解けるか」を測る基準にもなる。
4.1.2 多項式の分解と体
多項式の因数分解は、係数をどの体に取るかで結果が変わる。より大きな体では既約だったものが分解することもある。これにより、代数方程式の研究は体の選択と密接に結びつく。
4.2 線形代数における体
線形代数は、体を係数に持つベクトル空間の理論として構成される。したがって、体の性質はベクトルや行列の振る舞いに直接影響する。
4.2.1 ベクトル空間と基底
ベクトル空間では、スカラーとして体の元を用いる。基底を選ぶと、各ベクトルは一意に座標表示できる。体が変わると、同じ空間でも次元や表現の見え方が変化する場合がある。
4.2.2 行列と階数の定式化
行列の階数、連立一次方程式の解法、線形写像の性質は、係数体の上で定義される。体であることにより、掃き出し法や逆行列の議論が整然と進む。線形代数の多くの定理は、この基盤の上に成り立つ。
4.3 体の計算とアルゴリズム的側面
体は抽象概念である一方、計算機上での実装とも深く関わる。特に有限体は、有限個の元を扱うため機械処理と相性がよい。
4.3.1 有限体上の演算
有限体では、加減乗除が明確な規則に従って実行される。演算表を作成できるほど規模が小さい場合もあり、計算の検証が容易である。こうした性質は、符号理論や離散数学で有用である。
4.3.2 生成と表現の工夫
体の元は、数そのものだけでなく、多項式、行列、剰余類などの形で表現できる。表現法を工夫することで、計算効率や理論の見通しが向上する。特に拡大体では、選んだ基底や生成元が実用上の差を生む。