[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む77 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
362(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/09/20(金) 07:12:34.61 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と類別を忘れる忘却函手）
かな（＾＾
(参考)
https://ja.wikipedia.org/wiki/%E5%9C%8F_(%E6%95%B0%E5%AD%A6)
圏 (数学)
(抜粋)
例
圏と記号 対象の類 射の類 合成 大きさ 備考
アーベル群の圏 Ab 全てのアーベル群 全ての群準同型 写像の合成 大きい 群の圏の充満部分圏、Z-加群の圏と同じもの
https://ja.wikipedia.org/wiki/%E7%92%B0%E4%B8%8A%E3%81%AE%E5%8A%A0%E7%BE%A4
環上の加群
(抜粋)
例
Z を有理整数環とすると、Z-加群の概念はアーベル群の概念に一致する。
すなわち、一意的な仕方で任意のアーベル群を Z 上の加群にすることができる。
これには、n > 0 に対して nx = x + x + ... + x（n-項の和）とし、0x = 0 および (-n)x = -(nx) とおけばよい。
このようにアーベル群を加群と見たものは必ずしも基底を持たない。
実際、ねじれ元を持つような群は基底を持たない（ただし、有限体をそれ自身の上の加群と見たときは基底を持つ）。
つづく
363: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/09/20(金) 07:12:55.78 ID:ihE7M+Qz(3/9) AAS
>>362
つづき
（>>329 ）
http://math.shinshu-u.ac.jp/~hanaki/edu/
代数入門 花木章秀 信州大学理学部数学科
http://math.shinshu-u.ac.jp/~hanaki/edu/intro/intro2013.pdf
代数学入門
花木 章秀
2013 年前期
(2013/04/01)
(抜粋)
P29
3.2 整数の合同によって定義される環
ある l ∈ Z が存在して
a - b = nl となるとき a ≡ b (mod n) と書くことにする。
このときこの
関係は同値関係である。その a を含む同値類は
a + nZ = {b ∈ Z | a ≡ b (mod n)} = {a + nl | l ∈ Z}
であった。異なる同値類全体の集合は
Z/nZ = {0 + nZ, 1 + nZ, ・ ・ ・ , (n - 1) + nZ}
である。
(引用終り)
以上
366(1): １３２人目の素数さん [sage] 2019/09/20(金) 07:20:10.55 ID:DPgtgKl0(8/13) AAS
>>362
>Z/nZ 函手→ Z-加群の圏 （mod nと類別を忘れる忘却函手）
中身がないね
さすが1は正真正銘の白痴だねｗ
Z/nZの要素は0 + nZ, 1 + nZ, ・ ・ ・ , (n - 1) + nZのn個だけ
そこからZへの全射は逆立ちしても不可能ｗｗｗｗｗｗｗ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.058s