今日は忘れないためにも群、環、体の定義をメモメモ。
一般には二項演算全般に対して定義するようですが、今回は加法、乗法についてに限定して書くことにする。
まず群の定義。
加法、乗法(記号:"・")に対して、次の性質が成り立つ集合Gを群という。
１.任意のGの元a, b, cについて、a・(b・c)=(a・b)・c
２.任意のGの元aに対して、a・e=e・aとなるGの元eが存在する
３.任意のGの元aに対して、a・a-1=a-1・a=eとなるa-1が存在する
また、任意のGの元a, bに対してa・b=b・aとなる群Gを可換群(アーベル群)と呼ぶ。
次に環。
加法(記号:"+")に対して、可換群であり、乗法(記号:"・")に対して次の性質が成り立つ集合Rを環という。
１.任意のRの元a, b, cについて、a・(b・c)=(a・b)・c
２.任意のRの元a, b, cについて、(a+b)・c=(a・c)+(b・c)
３.任意のRの元a, b, cについて、a・(b+c)=(a・b)+(a・c)
最後に体。
加法(記号:"+")に対して、可換群であり、乗法(記号:"・")に対して次の性質が成り立つ集合Kを体という。
１.任意のKの元a, b, cに対して、a・(b・c)=(a・b)・c
２.任意のKの元aに対して、a・e=e・aとなるKの元eが存在する
３.Kの0以外の元が群をなす
４.任意のKの元a, b, cについて、(a+b)・c=(a・c)+(b・c)
５.任意のKの元a, b, cについて、a・(b+c)=(a・b)+(a・c)
・・・であってるかな。
体の定義の１、２の性質を併せ持つ集合は半群(モノイド)と呼ばれるそうです。
ハッピーハロウィーンといいつつおそらくこれを見た人のほとんどは、ハロウィンではないのではないかと思います。そして、プロフィールのハロウィン用の画像も見おさめ。
11月も頑張ってブログ書いていこうと思います。
