【代数的整数論】共役差積(different ideal)ってどうやって計算すんの？at MATH

---

■コピペモード
□スレを通常表示
□オプションモード
□このｽﾚｯﾄﾞのURL
■項目テキスト
1:１３２人目の素数さん 25/08/27 00:19:26.83 BMJaWVeB.net なにこれ意味がわからん 2:１３２人目の素数さん 25/08/27 00:30:31.39 a+wMr2r6.net L/Kを相対代数体 O_L, O_KをそれぞれL, Kの整数環 δ_{L/K} := { x∈L: tr_{L/K}(xy)∈O_K, ∀y∈O_L } これは、Lの分数イデアルになる L/ 3:１３２人目の素数さん 25/08/27 00:32:53.60 a+wMr2r6.net L/Kを相対代数体 O_L, O_KをそれぞれL, Kの整数環 δ_{L/K} := { x∈L: tr_{L/K}(xy)∈O_K, ∀y∈O_L } これは、Lの分数イデアルになる L/Kのrelative different ideal D_{L/K}を D_{L/K} := δ_{L/K}^(-1) と定義 4:１３２人目の素数さん 25/08/27 01:20:12.86 V7p9INTI.net δ_{L/K} = { x∈O_L: xdy = 0, ∀y∈O_L } 5:１３２人目の素数さん 25/08/27 07:18:57.60 EhueCU8c.net L = K(α) αの最小多項式をfとして x = f'(α)の形ならxdy = (何か)f'(α)dα = (何か)df(α) = 0 6:１３２人目の素数さん 25/08/27 07:24:39.46 EhueCU8c.net αの共役を、α_1, ..., α_nとすると f(x) = (x - α_1) ... (x - α_n) f'(x) = Σ_i f(x)/(x - α_i) f'(α_i) = Π_{j≠i} (α_i - α_j)

---

次ページ

最新レス表示

レスジャンプ

類似スレ一覧

スレッドの検索

話題のニュース

おまかせリスト

オプション

しおりを挟む

スレッドに書込

スレッドの一覧

暇つぶし2ch