ノルム (体論)のソースを表示

{{複数の問題|出典の明記=2015年1月|正確性=2015年1月}}
[[体論]]において、'''ノルム''' (''norm'') は、[[可換体|体]]の拡大（とくに[[ガロア拡大]]などの[[代数拡大]]）に付随して現れる写像の一種で、拡大体の元をもとの体の元に移す性質を持つ。

== 定義 ==
[[可換体|体]]の[[有限拡大|有限次元拡大]] ''L'' / ''K'' に対し、''L'' の元 &alpha; のノルム ''N''<sub>''L''/''K''</sub>(&alpha;) は以下のように定義される。

''K'' の ''L'' を含む[[代数的閉包|代数閉包]] ''K''<sup>a</sup> を固定し、&sigma;<sub>''i''</sub> : ''L'' &rarr; ''K'' <sup>a</sup> (1 &le; ''i'' &le; ''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> は[[分離拡大|非分離次数]]である。

== 例 ==
''L'' を複素数体 '''C''', ''K'' を実数体 '''R''' とすると、'''R''' の代数閉包は '''C''' であり、'''R''' を固定する '''C''' の自己同型は恒等写像と複素共役をとる写像の 2 つであるから、任意の複素数 &alpha; = ''a'' + ''ib''に対して
{{Indent|<math>N_{\mathbb{C/R}}(\alpha) 
 = \alpha \bar{\alpha} 
 = |\alpha|^2 
 = a^2 + b^2
</math>}}
が拡大 '''C''' / '''R''' に関する &alpha; のノルムである。

== 性質 ==
* 拡大 ''L'' / ''K'' について、''L'' の任意の元 &alpha; に対し、''N''<sub>''L''/''K''</sub>(&alpha;) は ''K'' の元になる。
* 拡大 ''L'' / ''K'' と ''L'' の元 &alpha;, &beta; に対し
::<math>N_{L/K}(\alpha\beta) = 
 N_{L/K}(\alpha)\cdot N_{L/K}(\beta).
</math>
* 拡大の列 ''L'' / ''M'' / ''K'' と ''L'' の元 &alpha; に対し
::<math>N_{L/K}(\alpha) = N_{M/K} (N_{L/M}(\alpha)).</math>
* 拡大 ''L'' / ''K'' について ''L'' を ''K''-ベクトル空間と見ると &alpha;&isin;''L'' に対し&alpha;倍写像：''L'' &rarr; ''L'' は ''K''-線型写像であるが、この写像を行列表示したときの行列式は体の拡大のノルムと一致する。
* '''[[ヒルベルトの定理90]]''': 体の拡大 ''L'' / ''K'' が有限次巡回拡大でその[[ガロア理論|ガロア群]]が &sigma; で生成されるとき、以下の 2 つの条件が同値である。
*# ''N''<sub>''L''/''K''</sub>(&alpha;) = 1.
*#  &alpha; = &beta; / &sigma;(&beta;) を満たす ''L'' の元 &beta; が存在する。
== 一般化 ==
有限群 ''G'' と ''G'' 上の[[群上の加群|加群]] ''M'' に対して、写像
{{Indent|<math>N_G: M \to M;\,x \mapsto \sum_{g\in G} gx</math>}}
を ''G''-加群 ''M'' の'''ノルム写像'''という。''x'' の "ノルム"
{{Indent|<math>\sum_{g\in G} gx</math>}}
は ''G'' の作用に対して不変である。すなわち、''M'' の ''G''-不変な元全体のなす部分加群を ''M''<sup>''G''</sup> とあらわすと Im(''N''<sub>''G''</sub>) &sub; ''M''<sup>''G''</sup> が成り立つ。

[[ガロア理論|ガロア拡大]] ''L'' / ''K'' に対して、乗法群 ''L''<sup>*</sup> をガロア群 ''G'' = Gal(''L'' / ''K'') 上の加群と見なすとノルム写像 ''N''<sub>''G''</sub> は拡大のノルム ''N''<sub>''L''/''K''</sub> となる。

== 関連項目 ==
* [[トレース (体論)|トレース]]

{{DEFAULTSORT:のるむ}}
[[Category:体論]]
[[Category:数論]]
[[Category:数学に関する記事]]