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

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

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

abstract algebra抽象代数ちゅうしょうだいすう portal

abstract algebra抽象代数ちゅうしょうだいすう studies the form of operations演算えんざん carried by numbers, transformations, and symmetries対称性たいしょうせい, rather than studying numbers only as individual objects. The first important point is not to memorize groups群ぐん, rings環かん, and fields体たい as isolated names. They are languages for organizing which operations are allowed, what those operations preserve, and what information they forget.

The purpose of abstraction is not to throw away concrete examples. It is to extract the structure構造こうぞう shared by concrete examples so that the same argument can be transported to other objects.

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

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

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

1Viewpoints needed first

abstract algebra抽象代数ちゅうしょうだいすう rests on discrete mathematics. Review the following topics before starting.

The next two prerequisites are needed later and do not have to be completed before starting. Study the Euclidean algorithm before “Congruences and modular arithmetic,” and vector spaces and bases before “Introduction to finite fields.”

2読よむ順番じゅんばん

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

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

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

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

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

2Reading order順序じゅんじょ

First, look at operations and structures.

Next, learn how to treat different elements as the same. This is the prerequisite for quotient groups商群しょうぐん and quotient rings商環しょうかん.

After that, study groups群ぐん.

Next, move to rings環かん and fields体たい, which are structures with two operations.

Finally, study homomorphisms and the first isomorphism theorem across groups and rings.

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

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

3What changes and what is preserved

This table is a guide for reading all of abstract algebra抽象代数ちゅうしょうだいすう. Whenever you meet a definition定義ていぎ, always ask: what does this definition定義ていぎ change, and what is it designed not to change?

4演習えんしゅうリンク

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

4Exercise links

The exercises are also listed in study order. Some exercise files cover several lectures, so check each file's "Corresponding lectures" section and any problem-level sequencing notes.

5まとめ

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

5Summary

abstract algebra抽象代数ちゅうしょうだいすう is a language for comparing objects that carry operations. A group群ぐん has one operation, while a ring環かん has addition and multiplication. A field体たい is a commutative ring with $$0\ne 1$$0\ne1 in which every nonzero element has a multiplicative inverse. Through homomorphisms準同型じゅんどうけい and quotient structures商構造しょうこうぞう, concrete calculation and abstract structure are connected.