現代数学の系譜工学物理雑談古典ガロア理論も読む77

[過去ﾛｸﾞ] 現代数学の系譜工学物理雑談古典ガロア理論も読む77 (1002ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

420: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/09/22(日) 07:26:02.98 ID:dCfcIyTY

>>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}である。
(引用終り)

http://rio2016.5ch.net/test/read.cgi/math/1568026331/420

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.052s