[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む77 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
419(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/09/22(日) 07:07:59.24 ID:dCfcIyTY(3/20) AAS
>>418
つづき
https://ja.wikipedia.org/wiki/%E6%95%B4%E6%95%B0%E3%81%AE%E5%90%88%E5%90%8C
整数の合同
(抜粋)
合同類環 Z/nZ
加法: 二つの剰余類 a, b に対して剰余類 a + b modulo n を割り当てる
理論的には整数の加法と異なる和であるから別の記号で表すべきであるかもしれないが、簡便さを保つために整数の和と同じ記号 "+" をそのまま使うことも多い。
(引用終り)
以上
420(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/09/22(日) 07:26:02.98 ID:dCfcIyTY(4/20) AAS
>>419 さらに追加
(>>371より引用開始)
Z/nZ = {{・・,-2n,-n,0,n,2n,・・}, {・・,-2n+1,-n+1,1,n+1,2n+1,3n,・・}, ・ ・ ・ ,{・・,-n-1,-1,n-1,2n-1,3n-1,・・}}
↓全射（内側の{}を外すだけ）
Z ={・・,-2n,-n,0,n,2n,・・ , ・・,-2n+1,-n+1,1,n+1,2n+1,3n,・・ , ・ ・ ・ , ・・,-n-1,-1,n-1,2n-1,3n-1,・・}
(引用終り)
ここで、↓の上の集合で、外側の{}を外してみよう
{・・,-2n,-n,0,n,2n,・・}, {・・,-2n+1,-n+1,1,n+1,2n+1,3n,・・}, ・ ・ ・ ,{・・,-n-1,-1,n-1,2n-1,3n-1,・・}
↓全射
{・・,-2n,-n,0,n,2n,・・ , ・・,-2n+1,-n+1,1,n+1,2n+1,3n,・・ , ・ ・ ・ , ・・,-n-1,-1,n-1,2n-1,3n-1,・・}
要するに、
↓の上側は、Zの部分集合で、0 + nZ, 1 + nZ, ・ ・ ・ , (n - 1) + nZたちになる
↓の下側は、Zそのもの
つまり、↓の上側は、Zの部分集合の集まりで、そこに属する元から、Zの元に対する自然な対応（写像）が存在する
そこで、外側の{}を復活させて、同値類の集合{0 + nZ, 1 + nZ, ・ ・ ・ , (n - 1) + nZ}とすれば
{{・・,-2n,-n,0,n,2n,・・}, {・・,-2n+1,-n+1,1,n+1,2n+1,3n,・・}, ・ ・ ・ ,{・・,-n-1,-1,n-1,2n-1,3n-1,・・}}
↓全射
{・・,-2n,-n,0,n,2n,・・ , ・・,-2n+1,-n+1,1,n+1,2n+1,3n,・・ , ・ ・ ・ , ・・,-n-1,-1,n-1,2n-1,3n-1,・・}
要するに、Zの部分集合、0 + nZ, 1 + nZ, ・ ・ ・ , (n - 1) + nZ達からのZに対する写像が、そのまま保存されていると考えればいいだけのことだ（＾＾
（参考）
http://math.shinshu-u.ac.jp/~hanaki/edu/intro/intro2013.pdf
代数学入門 花木 章秀 信州大 2013
(抜粋)
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}である。
(引用終り)
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.055s