[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む77 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
829(3): １３２人目の素数さん [sage] 2019/10/14(月) 23:38:56.41 ID:ceRjWFfM(1/4) AAS
>>821
>正しい答えは
>乗法群(Z/nZ)× (位数n-1)
乗法群(Z/nZ)×はいいけど、位数n-1じゃないよ。
たとえばZ/6Zにおける乗法可逆元の類は、1,5の2つのみ。
一般的にはオイラーのφ函数を使ってφ(n)とあらわされる数になる。
836(3): Mara Papiyas ◆y7fKJ8VsjM [] 2019/10/15(火) 05:25:30.48 ID:3uWjxYrs(1/10) AAS
>>829
>乗法群(Z/nZ)×はいいけど、位数n-1じゃないよ。
そうでした。大失敗
838(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/10/15(火) 07:18:50.26 ID:9ROe+Kvi(1/9) AAS
>>829 (>>836)
ID:ceRjWFfMさん、レスありがとう
(引用開始)
>正しい答えは
>乗法群(Z/nZ)× (位数n-1)
乗法群(Z/nZ)×はいいけど、位数n-1じゃないよ。
(引用終り)
ご指摘の通りです
（>>818の訂正版）
Q1. Qに1のn乗根を添加した拡大体をEとする
このときのガロア群G(E/Q)は？
A1. 面倒なのでn=p(素数)とするよ
（こう仮定してもガロア理論には十分だから）
位数pの巡回群
因みに、１のｎ乗根 ωp=p√1 (1の原始根)として
Eは、Qにωpを添加した拡大体になる（ガウスのDAに書いてあるらしい）
（なお、G(E/Q)が可解である（ベキ根で解ける）ことも、ガウスのDAに書いてあるらしい）
(終り)
なお、1のn乗根を添加した拡大体の解説は、下記に詳しい
因みに、最小多項式を考えると、x^n-1=0の”x^n-1”は可約で、因子x-1を持つので、因数分解できて、一般に次数が必ず１下がる
n=p(素数)のとき、最小多項式の次数はp-1です
（おれも、あんまり分かってないね（＾＾； ）
http://hooktail.org/misc/index.php?%C2%E5%BF%F4%B3%D8
ガロア理論入門 物理のがきしっぽ
http://hooktail.sub.jp/algebra/1sNthRoot/
１のｎ乗根 （Joh著） 物理のがきしっぽ
(抜粋)
1 の原始 n 乗根はφ(n) 個あります．
ここに出てきたφを オイラーのファイ関数 と呼びます．ファイ関数を使うと， |G(E/Q)|=[Q(ζ):Q] <=φ(n) と書くことが出来ます．また，次の定理も重要です．
x^n-1=0 の解 ζ の最小多項式は (x-ζ)(x-ζ^k1)・・・(x-ζ^ks) の形に書けることが要請されます．
添字の ki は， (n,ki)=1 を満たす 1 < k < n だけを取るものとします．
この最小多項式を 円周等分方程式 と呼びます．
円周等分方程式の解は，複素平面上で単位円の円周を等分点に当たりますから，この名前の意味は非常に明快だと思います．
853(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/10/15(火) 20:56:37.22 ID:9ROe+Kvi(3/9) AAS
>>829 補足
(引用開始)
乗法群(Z/nZ)×はいいけど、位数n-1じゃないよ。
たとえばZ/6Zにおける乗法可逆元の類は、1,5の2つのみ。
一般的にはオイラーのφ函数を使ってφ(n)とあらわされる数になる。
(引用終り)
ID:ceRjWFfMさん、レベル高いね
そうそう、そうでした。
なんか、正確に書くのが面倒になって、n＝p（素数）として逃げたけど、
「位数n-1」のところ間違っていたら、”しゃれにならんな”（これ関西では常套句ですが（＾＾ ）
（大体自分で書くと、タイポや誤記もあるから、コピペベースにしている意味もあるのだが、根本的に自分の理解不十分だったよね、巡回群のこと（＾＾ ）
つづき
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.054s