半群はんぐんsemigroup・モノイドmonoid・群ぐんgroupへの入口いりぐち

群ぐんの定義ていぎを、閉包性へいほうせいを含ふくむ二項演算にこうえんざんであることから逆元ぎゃくげんまでの条件じょうけんとしていきなり覚おぼえると、何故なぜその条件じょうけんが必要ひつようなのかが見みえにくい。そこで、二項演算にこうえんざんに条件じょうけんを一ひとつずつ足たしていく。

という流ながれで見みると、群ぐんは「演算えんざんを繰くり返かえせて、何なにもしない操作そうさがあり、さらに戻もどせる構造こうぞう」であることが分わかる。

1半群はんぐん

半群はんぐんsemigroupとは、集合しゅうごう $$S$$S と、任意にんいの $$a,b,c\in S$$a,b,c\in S に対たいして結合法則けつごうほうそくを満みたす二項演算にこうえんざん $$\text{[PARSE ERROR: Undefined("Command("ast")")]}$$\ast の組くみである。

半群はんぐんでは、単位元たんいげんや逆元ぎゃくげんは要求ようきゅうしない。可換性かかんせいも要求ようきゅうしないので、$$a\text{[PARSE ERROR: Undefined("Command("ast")")]}b$$a\ast b と $$b\text{[PARSE ERROR: Undefined("Command("ast")")]}a$$b\ast a は一般いっぱんには異ことなる。

結合法則けつごうほうそくがあるため、長ながい積せき

の括弧かっこを省略しょうりゃくできる。これは、元げんの順序じゅんじょを変かえずに括弧かっこだけをどのように付つけても同おなじ値あたいになる、という意味いみである。3 個この場合ばあいが結合法則けつごうほうそくそのものである。一般いっぱんの個数こすうについては帰納法きのうほうを使つかう。どの括弧付かっこづけも、ある $$k$$k によって「最初さいしょの $$k$$k 個この積せき」と「残のこりの積せき」の積せきに分わかれる。各部分かくぶぶんを帰納法きのうほうで左ひだりからまとめ、結合法則けつごうほうそくを繰くり返かえせば、全体ぜんたいも左ひだりからまとめた同おなじ形かたちへ直なおせる。

2モノイド

モノイドmonoidとは、単位元たんいげんを持もつ半群はんぐんである。つまり、ある元げん $$e$$e が存在そんざいして、任意にんいの $$a$$a について

が成立せいりつする。

ここでは $$\mathbb{N}=\{0,1,2,\dots \}$$\mathbb N=\{0,1,2,\ldots\} とする。すると自然数全体しぜんすうぜんたい $$\mathbb{N}$$\mathbb N は、足たし算ざんについて 0 を単位元たんいげんとするモノイドである。ただし自然数しぜんすうの範囲はんいでは、全すべての元げんに加法逆元かほうぎゃくげんがあるわけではないので群ぐんではない。

3群ぐん

群ぐんgroupとは、全すべての元げんが逆元ぎゃくげんを持もつモノイドである。任意にんいの $$a$$a に対たいして、ある $$a^{-1}$$a^{-1} が存在そんざいして

となる。

群ぐんでは、演算えんざんによって進すすんだ操作そうさを逆元ぎゃくげんで戻もどせる。この「戻もどせる」性質せいしつが、群ぐんを対称性たいしょうせいや変換へんかんの数学すうがくにしている。

前まえの講義こうぎで示しめしたように、結合法則けつごうほうそくのもとでは単位元たんいげんと各元かくげんの逆元ぎゃくげんはそれぞれ一意いちいである。したがって $$a^{-1}$$a^{-1} という記号きごうは一ひとつの元げんを表あらわす。

4群ぐんでできる約分やくぶん

群ぐん $$G$$G では、任意にんいの $$a,b,c\in G$$a,b,c\in G について

が成立せいりつする。これを左約分律ひだりやくぶんりつという。実際じっさい、等式とうしきの両辺りょうへんの左ひだりから $$a^{-1}$$a^{-1} を演算えんざんすると、

であり、結合法則けつごうほうそくと逆元ぎゃくげん・単位元たんいげんの条件じょうけんから $$b=c$$b=c を得える。右みぎから逆元ぎゃくげんを演算えんざんすれば、$$b\text{[PARSE ERROR: Undefined("Command("ast")")]}a=c\text{[PARSE ERROR: Undefined("Command("ast")")]}a\Rightarrow b=c$$b\ast a=c\ast a\Rightarrow b=c という右約分律みぎやくぶんりつも得えられる。

5具体例ぐたいれい：自然数しぜんすう、整数せいすう、有理数ゆうりすう

足たし算ざんで見みると、

はモノイドである。0 は単位元たんいげんだが、たとえば 3 を足たして 0 に戻もどす自然数しぜんすうは存在そんざいしない。

は群ぐんである。整数せいすう $$a$$a の逆元ぎゃくげんは $$-a$$-a である。

掛かけ算ざんで見みると、

は群ぐんである。0 を除のぞく理由りゆうは、0 には乗法逆元じょうほうぎゃくげんが存在そんざいしないからである。

6非可換ひかかんな例れい：全単射ぜんたんしゃの合成ごうせい

集合しゅうごう $$X$$X から $$X$$X への写像しゃぞう $$f$$f が全単射ぜんたんしゃであるとは、各かく $$y\in X$$y\in X に対たいして $$f\left(x\right)=y$$f(x)=y となる $$x\in X$$x\in X がちょうど 1 個こあることをいう。この対応たいおうを逆向ぎゃくむきにたどる写像しゃぞうを逆写像ぎゃくしゃぞう $$f^{-1}$$f^{-1} とよぶ。全単射ぜんたんしゃ全体ぜんたいを $$\mathrm{Sym}\left(X\right)$$\operatorname{Sym}(X) とする。

2 個この写像しゃぞうを続つづけて使つかう合成ごうせいを $$(f\circ g)\left(x\right)=f\left(g\right(x\left)\right)$$(f\circ g)(x)=f(g(x)) で定義ていぎする。全単射ぜんたんしゃどうしの合成ごうせいは全単射ぜんたんしゃなので閉包性へいほうせいがある。また、任意にんいの $$x\in X$$x\in X について

なので合成ごうせいは結合法則けつごうほうそくを満みたす。恒等写像こうとうしゃぞう $${\mathrm{id}}_X\left(x\right)=x$$\operatorname{id}_X(x)=x が単位元たんいげんであり、各全単射かくぜんたんしゃ $$f$$f の逆写像ぎゃくしゃぞう $$f^{-1}$$f^{-1} が逆元ぎゃくげんである。したがって

は群ぐんである。

$$X=\{1,2,3\}$$X=\{1,2,3\} とし、$$f$$f は 1 と 2 を入いれ替かえ、$$g$$g は 2 と 3 を入いれ替かえる全単射ぜんたんしゃとする。このとき $$(f\circ g)\left(1\right)=2$$(f\circ g)(1)=2 だが $$(g\circ f)\left(1\right)=3$$(g\circ f)(1)=3 なので、$$f\circ g\ne g\circ f$$f\circ g\ne g\circ f である。つまり群ぐんの定義ていぎに可換性かかんせいは含ふくまれない。

7何なにが変かわり、何なにが保存ほぞんされるか

半群はんぐんからモノイドへ進すすむと、「何なにもしない操作そうさ」が使つかえるようになる。モノイドから群ぐんへ進すすむと、「戻もどす操作そうさ」が使つかえるようになる。一方いっぽうで、いずれも演算えんざんが同おなじ集合しゅうごうの中なかで閉とじていることと、結合法則けつごうほうそくは保存ほぞんされる。

8反例はんれい補足ほそく：半群はんぐん・モノイド・群ぐんの階層かいそうは真しんに異ことなる

半群はんぐん、モノイド、群ぐんは条件じょうけんを一ひとつずつ足たしていく階層かいそうである。ただし、上うえの概念がいねんが下したの概念がいねんと同おなじになるわけではない。

$$(Z_{>0},+)$$(\mathbb Z_{>0},+) は結合法則けつごうほうそくを満みたすので半群はんぐんsemigroupである。しかし単位元たんいげん 0 が $$Z_{>0}$$\mathbb Z_{>0} に入はいっていないのでモノイドではない。

$$(Z_{\text{[PARSE ERROR: Undefined("Command("ge")")]}0},+)$$(\mathbb Z_{\ge0},+) は 0 を単位元たんいげんに持もつのでモノイドmonoidである。しかし 1 の加法逆元かほうぎゃくげん $$-1$$-1 が $$Z_{\text{[PARSE ERROR: Undefined("Command("ge")")]}0}$$\mathbb Z_{\ge0} に入はいっていないので群ぐんではない。

$$(\mathbb{Z},+)$$(\mathbb Z,+) は 0 とすべての加法逆元かほうぎゃくげんを持もつので群ぐんである。このように、各段階かくだんかいで新あたらしく要求ようきゅうした条件じょうけんが本当ほんとうに効きいている。

9演習えんしゅうリンク

問題もんだい2・3・4を続つづけて解とくと、一ひとつの演算えんざんが群ぐんになるまでの条件じょうけんを確認かくにんできる。

10次つぎの講義こうぎへの橋渡はしわたし

この後あとは、まず同値関係どうちかんけいと合同式ごうどうしきを使つかって「余あまりが同おなじ整数せいすう」を一ひとつの元げんとしてまとめる。その具体例ぐたいれいを持もって群ぐんの基本きほんへ戻もどり、$$(\mathbb{Z}/n\mathbb{Z},+)$$(\mathbb Z/n\mathbb Z,+) を群ぐんとして詳くわしく調しらべる。

11まとめ

半群はんぐんは集合しゅうごうと結合法則けつごうほうそくを持もつ二項演算にこうえんざんの組くみ、モノイドは単位元たんいげんを持もつ半群はんぐん、群ぐんは全すべての元げんに逆元ぎゃくげんがあるモノイドである。この階段かいだんを理解りかいすると、群ぐんの各条件かくじょうけんがどの役割やくわりを担になうかが見みえる。