[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む77 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
362(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/20(金)07:12 ID:ihE7M+Qz(2/9) AAS
>>350 補足
>Z/nZ→Z：圏論の忘却函手みたいなのを考えて、Z/nZの同値類の構造を忘れたらZに戻るってこと
>（Z/nZの要素の例えば、0 + nZ＝{・・,-2n,-n,0,n,2n,・・}の元2nからZ中の例えば2nに対応を付ければ良い）
一夜漬けで、圏論風に考えてみたのが下記
Z-加群の圏というのがあるんだ（＾＾；
で、Z-加群の圏で、mod n を考えて、かつ、集合Zを下記>>329 花木章秀 信州大にならって
Z/nZ = {0 + nZ, 1 + nZ, ・ ・ ・ , (n - 1) + nZ}と類別し、これをZ-加群の圏の部分圏と考える
Z-加群の圏 函手→ Z/nZ （mod nと類別）
Z/nZ 函手→ Z-加群の圏 （mod nと類別を忘れる忘却函手）
かな（＾＾
(参考)
外部ﾘﾝｸ:ja.wikipedia.org
圏 (数学)
(抜粋)
例
圏と記号 対象の類 射の類 合成 大きさ 備考
アーベル群の圏 Ab 全てのアーベル群 全ての群準同型 写像の合成 大きい 群の圏の充満部分圏、Z-加群の圏と同じもの
外部ﾘﾝｸ:ja.wikipedia.org
環上の加群
(抜粋)
例
Z を有理整数環とすると、Z-加群の概念はアーベル群の概念に一致する。
すなわち、一意的な仕方で任意のアーベル群を Z 上の加群にすることができる。
これには、n > 0 に対して nx = x + x + ... + x（n-項の和）とし、0x = 0 および (-n)x = -(nx) とおけばよい。
このようにアーベル群を加群と見たものは必ずしも基底を持たない。
実際、ねじれ元を持つような群は基底を持たない（ただし、有限体をそれ自身の上の加群と見たときは基底を持つ）。
つづく
上下前次1-新書関写板覧索設栞歴
あと 640 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.015s