概要
群論は数学の一分野であり、抽象代数学において、代数的構造の一種である群を考察することから生まれる。群は、2つの要素を組み合わせて別の1つの要素を作る単一の二項演算をもつ集合からなり、いくつかの基本公理に従う。この分野は、組み合わせと対称性のパターンを抽象化し、共通の枠組みで研究できるようにする。
基本的性質と例
群は、しばしば公理として列挙される4つの条件で定義される。
- 閉性: 2つの要素を組み合わせると、集合の別の要素が得られる。
- 結合律: 演算は結合的である。
- 単位元: ある要素が演算に対して中立的に働く。
- 逆元: すべての要素は、その演算に関して逆元をもつ。
単純な例としては、加法に関する整数、乗法に関する零でない実数、有限個の対象を並べ替える置換群、そして乗法に関する行列群がある。群は有限でも無限でもよく、可換（アーベル）でも非可換でもよい。
群の族と構造
重要な群のクラスには次のようなものがある。
- 1つの要素によって生成される巡回群。
- 演算が可換であるアーベル群。
- 離散的な対称性を捉える置換群。
- 連続的な対称性を記述する行列群とリー群。
群構造の研究には、部分群、正規部分群、剰余群、準同型写像、単純群などの概念が含まれる。この理論における注目すべき到達点の一つが有限単純群の分類であり、20世紀数学における大規模な共同成果である。
歴史と発展
群の概念は、19世紀初頭の多項式方程式と根の対称性に関する研究に最初に現れ、特にエヴァリスト・ガロアの著作でよく知られるようになった。代数学と幾何学の発展とともにこの概念は成熟し、19世紀にはケイリー、ジョルダンらが分野を拡張した。20世紀には、構造を体系的に扱う方法と、トポロジーや解析との結びつきが現れた。
応用と意義
群は対称性を形式化するため、科学や応用数学のさまざまな場面に現れる。対称性の研究や自然の中では結晶や分子のパターンを記述し、物理学では保存則や素粒子の分類の基礎となり、化学では分子の振動や結合の対称性を整理する。群はまた、符号理論、暗号理論、微分方程式の研究にも現れる。
関連分野と区別
群論は他の多くの分野と結びついている。たとえば、代数学における環や体、解析学における位相群、そして群が線形変換によってどのように作用するかを研究する表現論がある。基本公理は単純だが、群論は、離散的・連続的な両方の状況で対称性を記述するための深い分類問題と実用的な道具へと発展している。入門的な解説や現代的な発展については、標準的な代数学の教科書や数学雑誌の概説を参照するとよい。