群環体

こういう，公式みたいなまとめ方はあまりよくないと思いつつまとめてみた． 半群 演算＋結合律   単位元付半群 演算＋結合律＋単位元 半群＋単位元    群 演算＋結合律＋単位元＋逆元 半群＋単位元＋逆元 単位元付半群＋逆元   可換半群 半...

前回のエントリー「演算の定義（群・環・体の準備）」の続きである． 群 定義（半群）．$G$ を空ではない集合とする．$G$ 上に演算 $\circ$ が定義されており，次の性質を満たしているとする； 【結合律】任意の $a,\, b,\, ...

群・環・体の定義の前に，演算についてこれぐらい書いておいてもらわないと，私にはわからないので，自分なりに演算の定義をまとめておく． 拙著「集合論」を読まれた方には見慣れた書き方と思うが，私の｢書式｣には本文がほとんど無く，「定義・定理・証明...