「ノルム (体論)」の版間の差分
削除された内容 追加された内容
m 参考文献なし・内容に誤りあり |
修正と性質の追加 |
||
1行目: | 1行目: | ||
{{複数の問題|出典の明記=2015年1月|正確性=2015年1月}} |
{{複数の問題|出典の明記=2015年1月|正確性=2015年1月}} |
||
[[体論]]において、'''ノルム''' (''norm'') は、[[体 (数学)|体]]の拡大(とくにガロア拡大などの代数拡大)に付随して現れる写像の一種で、拡大体の元をもとの体の元に移す性質を持つ。 |
[[体論]]において、'''ノルム''' (''norm'') は、[[体 (数学)|体]]の拡大(とくに[[ガロア拡大]]などの[[代数拡大]])に付随して現れる写像の一種で、拡大体の元をもとの体の元に移す性質を持つ。 |
||
== 定義 == |
== 定義 == |
||
[[体 (数学)|体]]の有限次元拡大 ''L'' / ''K'' に対し、''L'' の元 α のノルム ''N''<sub>''L''/''K''</sub>(α) は以下のように定義される。 |
[[体 (数学)|体]]の[[有限拡大|有限次元拡大]] ''L'' / ''K'' に対し、''L'' の元 α のノルム ''N''<sub>''L''/''K''</sub>(α) は以下のように定義される。 |
||
''K'' の ''L'' を含む代数閉包 ''K''<sup> |
''K'' の ''L'' を含む代数閉包 ''K''<sup>a</sup> を固定し、σ<sub>''i''</sub>: ''L'' → ''K''<sup>a</sup> (1 ≤ ''i'' ≤ ''n'') を ''K'' の元を固定する相異なる中への同型の全体とするとき |
||
:<math>N_{L/K}(\alpha) := \left(\sigma_1(\alpha)\cdots\sigma_n(\alpha)\right)^{[L:K]_i}</math>: |
|||
ここで、[''L'':''K''}<sub>''i''</sub> は[[分離拡大|非分離次数]]である。 |
|||
== 例 == |
== 例 == |
||
20行目: | 21行目: | ||
* 拡大 ''L'' / ''K'' について、''L'' の任意の元 α に対し、''N''<sub>''L''/''K''</sub>(α) は ''K'' の元になる。 |
* 拡大 ''L'' / ''K'' について、''L'' の任意の元 α に対し、''N''<sub>''L''/''K''</sub>(α) は ''K'' の元になる。 |
||
* 拡大 ''L'' / ''K'' と ''L'' の元 α, β に対し |
* 拡大 ''L'' / ''K'' と ''L'' の元 α, β に対し |
||
::<math>N_{L/K}(\alpha\beta) = |
|||
N_{L/K}(\alpha)\cdot N_{L/K}(\beta). |
N_{L/K}(\alpha)\cdot N_{L/K}(\beta). |
||
</math> |
</math> |
||
* 拡大の列 ''L'' / ''M'' / ''K'' と ''L'' の元 α に対し |
* 拡大の列 ''L'' / ''M'' / ''K'' と ''L'' の元 α に対し |
||
::<math>N_{L/K}(\alpha) = N_{M/K} (N_{L/M}(\alpha)).</math> |
|||
* 拡大 ''L'' / ''K'' について ''L'' を ''K''-ベクトル空間と見ると α∈''L'' に対しα倍写像:''L'' → ''L'' は ''K''-線型写像であるが、この写像を行列表示したときの行列式は体の拡大のノルムと一致する。 |
|||
* '''ヒルベルトの定理 |
* '''[[ヒルベルトの定理90]]''': 体の拡大 ''L'' / ''K'' が有限次巡回拡大でその[[ガロア理論|ガロア群]]が σ で生成されるとき、以下の 2 つの条件が同値である。 |
||
*# ''N''<sub>''L''/''K''</sub>(α) = 1. |
*# ''N''<sub>''L''/''K''</sub>(α) = 1. |
||
*# α = β / σ(β) を満たす ''L'' の元 β が存在する。 |
*# α = β / σ(β) を満たす ''L'' の元 β が存在する。 |
||
38行目: | 40行目: | ||
== 関連項目 == |
== 関連項目 == |
||
* [[トレース (体論)]] |
* [[トレース (体論)|トレース]] |
||
{{DEFAULTSORT:のるむ}} |
{{DEFAULTSORT:のるむ}} |
2015年1月24日 (土) 12:27時点における版
体論において、ノルム (norm) は、体の拡大(とくにガロア拡大などの代数拡大)に付随して現れる写像の一種で、拡大体の元をもとの体の元に移す性質を持つ。
定義
体の有限次元拡大 L / K に対し、L の元 α のノルム NL/K(α) は以下のように定義される。
K の L を含む代数閉包 Ka を固定し、σi: L → Ka (1 ≤ i ≤ n) を K の元を固定する相異なる中への同型の全体とするとき
- :
ここで、[L:K}i は非分離次数である。
例
L を複素数体 C, K を実数体 R とすると、R の代数閉包は C であり、R を固定する C の自己同型は恒等写像と複素共役をとる写像の 2 つであるから、任意の複素数 α = a + ibに対して
が拡大 C / R に関する α のノルムである。
性質
- 拡大 L / K について、L の任意の元 α に対し、NL/K(α) は K の元になる。
- 拡大 L / K と L の元 α, β に対し
- 拡大の列 L / M / K と L の元 α に対し
- 拡大 L / K について L を K-ベクトル空間と見ると α∈L に対しα倍写像:L → L は K-線型写像であるが、この写像を行列表示したときの行列式は体の拡大のノルムと一致する。
- ヒルベルトの定理90: 体の拡大 L / K が有限次巡回拡大でそのガロア群が σ で生成されるとき、以下の 2 つの条件が同値である。
- NL/K(α) = 1.
- α = β / σ(β) を満たす L の元 β が存在する。
一般化
有限群 G と G 上の加群 M に対して、写像
を G-加群 M のノルム写像という。x の "ノルム"
は G の作用に対して不変である。すなわち、M の G-不変な元全体のなす部分加群を MG とあらわすと Im(NG) ⊂ MG が成り立つ。
ガロア拡大 L / K に対して、乗法群 L* をガロア群 G = Gal(L / K) 上の加群と見なすとノルム写像 NG は拡大のノルム NL/K となる。