群論 のバックアップの現在との差分(No.3)

  • 追加された行はこの色です。
  • 削除された行はこの色です。
CENTER:|>|BGCOLOR(#ACFA58):CENTER:''群論'' Group theory|
|BGCOLOR(#E0F2F7):CENTER:カテゴリ|[[Category/Math]]：数学|
|BGCOLOR(#E0F2F7):CENTER:状態|''&color(Red){執筆中};''|

#CONTENTS

**群とは加法の拡張 [#r2ffa42b]
　[[実数]]や[[整数]]の足し算には[[結合法則]]などの幾つかのルールがある。無論、実数や整数以外の集合にも、様々な計算規則を考えることができるし、実数や整数に対して、四則演算以外のルールを考えることができる。~
　例えばここに、整数や実数の加法とは全く別のように見えて、しかし結合法則のようなルールを共有している計算規則があるとする。そうであるなら、実数や整数の足し算と似たような性質を持っている可能性がある。~
　ならば、共通のルールを持った計算規則を全てひとまとめにして抽象的に研究することだって可能であり、それを群 (Group)と呼ぶ。~

**群の定義 [#afab8b3d]
　詳しくは[[内部二項演算]]を見てほしい。群だけでなく、半群などの群に似た性質を持つ演算について触れている~

　群とは、以下の4つの性質を満たす、ある一つの集合に対する[[二項演算>内部二項演算]]である。

:''閉性''|必ず、元の集合に戻る。すなわち、
&mathjax{x,y \in \mathbf{M}};のとき、
&mathjax{x \circ y = z};
とすると、&mathjax{z};も&mathjax{z \in \mathbf{M}};となること。

:''結合律（結合法則）''|&mathjax{ ( x \circ y ) z = x ( y \circ z ) };
を満たす。

:''単位律''|&mathjax{ x \circ e = e \circ x = x };
となる&mathjax{e};（単位元）が存在する。
実数の加算なら0のこと。

:''可逆律''|&mathjax{ x \circ e = e \circ x =e };
となる&mathjax{e};（逆元）が存在する。
実数の足し算なら、5に対する-5である。

***アーベル群（可換群） [#c6c780db]
　群は更に下のルールを満たすとき、アーベル群（可換群）という。~



:''交換法則''|全ての&mathjax{ x,y};について、
&mathjax{ x \circ y = y \circ x };
となる。&BR;~


実数に対する加法&mathjax{(\mathbb{R},+)}; や 整数に対する加法&mathjax{(\mathbb{Z},+)}; はアーベル群である。~


**位数 (order)、有限群、無限群 [#jd76dcf1]
ある集合&mathjax{S};に対して演算&mathjax{\circ};をもつ群&mathjax{G};すなわち&mathjax{ (S,\circ)};があったとき、集合&mathjax{S};の個数（濃度）を位数(order)と呼び、&mathjax{|G|};または&mathjax{\mathrm{ord}(G)};と表記する。~
ある集合&mathjax{S};に対して演算&mathjax{\circ};をもつ群&mathjax{G};すなわち&mathjax{ (S,\circ)};があったとき、集合&mathjax{S};の個数（[[濃度>集合の濃度]]）を位数(order)と呼び、&mathjax{|G|};または&mathjax{\mathrm{ord}(G)};と表記する。~

位数が有限個ならば[[有限群]]、無限個ならば[[無限群]]である。