抽象代数ちゅうしょうだいすうabstract algebraポータル

抽象代数ちゅうしょうだいすうabstract algebraは、数かずそのものではなく、数かずや変換へんかんや対称性たいしょうせいが持もつ演算えんざんoperationの形かたちを調しらべる分野ぶんやである。最初さいしょに大切たいせつなのは、群ぐんgroup、環かんring、体たいfieldを名前なまえだけで覚おぼえないことである。これらは全すべて、「どの演算えんざんを許ゆるし、その演算えんざんで何なにが保存ほぞんされ、何なにが失うしなわれるか」を整理せいりするための言語げんごである。

抽象化ちゅうしょうかの目的もくてきは、具体例ぐたいれいを捨すてることではない。具体例ぐたいれいに共通きょうつうする構造こうぞうを取とり出だし、同おなじ議論ぎろんを別べつの対象たいしょうにも移うつせるようにすることである。

1先さきに必要ひつような見方みかた

抽象代数ちゅうしょうだいすうは、離散りさん数学すうがくの上うえに立たっている。開始前かいしまえに、次つぎの内容ないようを確認かくにんする。

次つぎの二ふたつは途中とちゅうで必要ひつようになる。全すべてを開始前かいしまえに読よみ切きる必要ひつようはない。ユークリッドの互除法ごじょほうは「合同式ごうどうしきと mod 演算えんざん」までに、ベクトル空間くうかんと基底きていは「有限体ゆうげんたいの入口いりぐち」までに学まなぶ。

2読よむ順番じゅんばん

最初さいしょに、演算えんざんと構造こうぞうを見みる。

次つぎに、同おなじものとみなす操作そうさを学まなぶ。これは商群しょうぐんや商環しょうかんの前提ぜんていである。

そのあと、群ぐんを学まなぶ。

続つづいて、二ふたつの演算えんざんを持もつ構造こうぞうである環かんと体たいへ進すすむ。

最後さいごに、群ぐんと環かんを横断おうだんする準同型じゅんどうけいと第一同型定理だいいちどうけいていりを学まなぶ。

3何なにを変かえて何なにを保存ほぞんするか

この表ひょうは、抽象代数ちゅうしょうだいすう全体ぜんたいの読よみ方かたである。定義ていぎを見みたら、必かならず「何なにを変かえ、何なにを変かえないための定義ていぎか」を確認かくにんする。

4演習えんしゅうリンク

演習えんしゅうも下したの順じゅんに並ならんでいる。ただし、1 冊さつの演習えんしゅうが複数ふくすうの講義こうぎに対応たいおうすることがあるので、各演習かくえんしゅうの「対応たいおうする講義こうぎ」と問題もんだいごとの順序案内じゅんじょあんないを確認かくにんする。

5まとめ

抽象代数ちゅうしょうだいすうは、演算えんざんを持もつ対象たいしょうを比較ひかくするための言語げんごである。群ぐんは一ひとつの演算えんざん、環かんは足たし算ざんと掛かけ算ざんを扱あつかう。体たいは $$0\ne 1$$0\ne1 であり、0 でない全すべての元げんが乗法逆元じょうほうぎゃくげんを持もつ可換環かかんかんである。準同型じゅんどうけいと商構造しょうこうぞうを通とおして、具体的ぐたいてきな計算けいさんと抽象的ちゅうしょうてきな構造こうぞうがつながる。