第一同型定理までの要点まとめ
「代数学1群論入門」の第二章を読み終わり、理解の怪しいところもありますが、とりあえず忘れる前に概要を整理したいと思います。
群というのはある条件を満たした、集合 と 上で定義される演算 のペア のことで、ある条件とは①結合法則②逆元の存在③単位元の存在の3つです。集合における部分集合のように、群においては部分群が定義できます。
のような集合の つの元に対して定義される関係(関係の定義は省略)のうち、①反射律②対称律③推移律を満たすものを同値関係といいます。 を集合 上で定義される同値関係としたとき、 に対して を の同値類といいます。 の部分集合で に対して と表されるもの全体の集合を の による商といい と書きます。
を特に、 を群、 を の部分群として、 に対して ならば と定義したとき、 の同値類を の による左剰余類と呼び と書きます。また、 のこの同値関係による商を と書きます。同様に、 ならば と定義した場合には の同値類を の による右剰余類と呼び と書き、また、 のこの同値関係による商を と書きます。
を群 の部分群として、任意の に対して のとき を の正規部分群といいます。 が の正規部分群であるとき、任意の に対して となります。また、 上の演算を に対して と定義すると はこの演算に関して群となります。
を群として写像 が、任意の に対して となるとき を準同型写像といいます。この準同型写像の逆写像も準同型写像のとき を同型写像といい、同型写像 が存在するならば と は同型であるといいます。準同型写像 が全単射であるとき は同型写像となります。
を群とすると、準同型 に対して を の核といい、 を の像といいます。 は の正規部分群、 は の部分群となります。したがって は群となります。
写像 を に対して と定義すると、同型 が存在して は と同型となります(第一同型定理)。特に が全射のとき であるから と が同型となります。
後で自分でサッと思い出すために書いたので、詳細や証明は省きました。準同型定理については第一同型定理から第三同型定理まであるので、第二と第三は後日まとめます。以下、いくつか補足をします。
が群 の部分群であることを と書き、特に正規部分群のとき と書きます。また、群 が同型であることを と書きます。
を群 の部分群とすると であり、これを と書きます。このとき となります(ラグランジュの定理)。
以上です。ここからは作用というものが登場して、前回学習をしたときはこの辺りから分からなくなり始めたので、多分次まではしばらく期間が開くと思います。
ただ、演算が集合 に対する写像 であるのに対して、(左)作用は群 と集合 に対する写像 であることを考えると、どこで挫折したのか。ベクトルにおけるベクトル加法とスカラー積の違いみたいなものですよね、多分。もしこの段階で混乱していたのだとすれば、案外すんなり理解できるかも?とりあえず次はシローの定理を目標に読み進めます。春休みももう終わるので、次いつ読めるか分かりませんが…。ではまた。