正規基底のソースを表示

{{Expand English|date=2024年6月}}
[[数学]]の[[体論]]における'''正規基底'''（せいききてい、{{Lang-en-short|normal basis}}）とは、有限次[[ガロア拡大]]に対するある特別な種類の[[基底 (線型代数学)|基底]]で、[[ガロア群]]に対する単一の[[群作用#軌道と等方部分群|軌道]]を形成するものとして特徴づけられる。'''正規基底定理'''（normal basis theorem）では、任意の体の有限ガロア拡大には正規基底が存在することが述べられている。[[代数的数論]]においては、正規整基底の存在に関するより精練された問題の研究が、[[ガロア加群]]の理論の一部分を占めている。

[[有限体]]の場合、このことは基底の各元が他のどの元とも[[フロベニウス自己準同型|''p''-乗フロベニウス写像]](Frobenius endomorphism)を繰り返し作用させることで結びつけられることを意味する。ここで ''p'' は考えている体の[[標数]]である。''p''<sup>''m''</sup> 個の元を持つ体を GF(''p''<sup>''m''</sup>) とし、その元 β は ''m'' 個の元
:<math>
\{ \beta, \beta^p, \beta^{p^2}, \ldots, \beta^{p^{m-1}} \}
</math>
が線型独立となるものとすれば、この集合は GF(''p'') 上で GF(''p''<sup>''m''</sup>) の正規基底を成す。

== 用法 ==
この基底は、[[楕円曲線暗号]]のような[[離散対数|離散対数問題]]に基づく[[暗号理論]]における応用の場面において、頻繁に用いられる。正規基底による算術的なハードウェア実行は、通常、他の基底によるものよりも遥かに少ないパワー消費量で済む。

元を二進列で表現するとき（例えば、GF(2<sup>3</sup>) における[[最上位ビット]]は β<sup>4</sup> で、[[最下位ビット]]は β で表される）、ラップアラウンドを伴う左回転シフトを行うことでそれらの元を二乗することが出来る（β<sup>4</sup> の左シフトは β<sup>8</sup> を与えるであろうが、今は GF(2<sup>3</sup>) で考えているため、これは β へとラップアラウンドする）。このことは、頻繁な二乗化を有用なものとする暗号システムにおいて特に魅力的なものとして、正規基底を位置づける。

== 自由元 ==
''E''/''F'' が群 ''G'' をガロワ群とするガロア拡大で、''E'' 内の ''x'' が正規基底を生成するなら、''x'' は ''E''/''F'' において自由（free）であると言われる。''x'' が、''G'' 内のすべての部分群 ''H'' とその固定体 ''H''° に対し、''x'' が ''E''/''H''° において自由となるという性質を持つとき、''x'' は ''E''/''F'' において完全自由（completely free）であると言う。すべてのガロア拡大は、完全自由元を持つ<ref>D. Hachenberger, ''Completely free elements'', in Cohen & Niederreiter (1996) 97-107</ref>。

== 関連項目 ==
* [[拡大体における双対基底]]
* [[多項式基底]]
* {{仮リンク|ツェッヒ対数|en|Zech's logarithms}}：高次多項式を体に属するように減らすために用いられる。

== 参考文献 ==
{{reflist}}
* Galois Theory, [[:en:Ian Stewart (mathematician)|Ian Stewart]], CRC Press, 1990 ISBN 978-0-412-34550-0
* {{cite book | editor1=S. Cohen | editor2=H. Niederreiter | title=Finite Fields and Applications | publisher=Cambridge University Press | isbn=0-521-56736-X | year=1996 }}

{{Normdaten}}
{{DEFAULTSORT:せいききてい}}
[[Category:線型代数学]]
[[Category:体論]]
[[Category:抽象代数学]]
[[Category:暗号技術]]
[[Category:数学に関する記事]]