[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む77 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
418(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/22(日)07:07 ID:dCfcIyTY(2/20) AAS
>>417
つづき
ここで、この演算が「剰余類に対する演算」としてきちんと定義されていることは、
結果（和や積）として求まる剰余類が代表元の取り方に依らないこと、
すなわち、a1, b1, a2, b2 を [a1] = [b1] かつ [a2] = [b2] を満たす任意の整数とすれば、
[a1+a2]=[b1+b2], [a1 x a2]=[b1 x b2]
が成り立つことから確認できる。
省20
419(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/22(日)07:07 ID:dCfcIyTY(3/20) AAS
>>418
つづき
外部ﾘﾝｸ:ja.wikipedia.org
整数の合同
(抜粋)
合同類環 Z/nZ
加法: 二つの剰余類 a, b に対して剰余類 a + b modulo n を割り当てる
省3
421(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/22(日)07:37 ID:dCfcIyTY(5/20) AAS
>>418
(引用開始)
したがって、Z/4Z ＼ 0 は乗法について閉じていない。
このことから、代数系 (Z/4Z, +, ×) は（4 を法とする剰余類環として）可換環を成すのみで、零因子が乗法逆元を持たないため体にはならない（位数 4 の有限体 F4 は存在するにも関わらず、である）。
(引用終り)
位数 4 の有限体 F4について（＾＾
「要は1の原始3乗根を添加した体がF4である」か
省27
426: 2019/09/22(日)08:04 ID:adVjb7k7(2/28) AAS
>>418
剰余類の加法、乗法の定義が
”きちんと定義されている”(well-defined)
という証明に、剰余類の要素が出てくるというのは、
剰余類の加法、情報の定義から当たり前である
そのことが
「剰余類の要素は、剰余類の集合の要素でもある」
省1
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.043s