冪根

出典: フリー百科事典『ウィキペディア（Wikipedia）』

冪根（べきこん、root of power, radical）あるいは累乗根（るいじょうこん）とは、冪乗（累乗）に相対する概念で、冪乗すると与えられた数になるような新たな数のことをいう。

目次 1 定義 2 複素数の冪根 3 有限体 4 冪根拡大 5 関連項目

[編集] 定義

一般に 2 以上の自然数 n に対する二項多項式 xⁿ − a の根のことを a の n 乗根（root of n-th power, n-th root; n-冪根）といい、また n を特に固定せずに冪根、累乗根と総称する。

• n = 2, 3 のときは特に、それぞれ平方根、立方根という。

a の n-乗根のうち、n 乗して初めて a となるようなもの、すなわち

x^m ≠ a (for all m < n), xⁿ = a

を満たす x はa の n 乗根として原始的である、または a の原始 n 乗根 (primitive n-th root) であるという。

[編集] 複素数の冪根

a が複素数であるとき、その冪根は極形式を用いれば簡明な表示を得ることができる。 a = 0 のときはその任意の冪根は 0 であると定め、以下 a ≠ 0 として、 a = r · exp(θ) (r > 0) をその極形式表示とする。

まず、正の実数 r に対して xⁿ − r = 0 を満たす正の実数はただ一つ存在する。それを

と定める。このとき、n 個の複素数

(k = 0, 1, ..., n − 1) は全て (α_k)ⁿ − a = 0 を満たす。代数学の基本定理より、複素数係数の n 次方程式の根は n 個であるから、a の n 乗根は以上で全て得られている。

ここで、根号と呼ばれる記号 ⁿ√ は（a の）絶対値としての正の実数（つまり r）にしか、一意的な意味を持たないことに注意すべきである。つまり、一般の複素数 a に対して ⁿ√a などと書いても、それだけではこの記号に何の意味も発生しないということである。もう少し別な言い方をすれば、根号関数 ⁿ√: R₊ → R₊（ここで R₊ は正の実数全体）は定義可能だが、ⁿ√: C → C を定める方法は無条件には存在しないというような形で述べることもできる。

しかしながら、例えば二次方程式 ax² + bx + c = 0 の根の公式に現れる根号付きの数 √D (D = b² − 4ac) を、その中に現れる複素数（被根号数）D の平方根の任意に選んだ一つと解釈することにすれば、（どちらを選んだにせよ）もう一方の根は −√D に対応し、根の公式はそのまま任意の二次方程式に通用する。これは、二つの冪根同士は 1 の原始冪根を掛ける違いしか持たないことによるものだが、そういった背景により、このような「どれなのかは論理的に区別して指定できないのだけれども、確かにどれか一つを選んでいる」という意味で記号 ⁿ√ を用いることは少なくはない。虚数単位としての

（これはしばしば i と書かれる）はその好例である。あるいは、数の範囲を複素数まで広げて考えずに実数の範囲内でのみ考えている場合には、別な意味づけをすることもある。奇数 n が与えられたとき、負の実数 x の n 乗根は実数の範囲にただ一つだけ存在することから、これを ⁿ√x と記すのである（立方根を参照）。

[編集] 有限体

有限体 F について、その位数は q であるとする。このとき、F の零元 0 以外の元は単位元 1 の q − 1 乗根として得られる。すなわち

が成り立つ。あるいは

と記しても同じことである。

[編集] 冪根拡大

K を体とし、a ∈ K の任意の一つの冪根 α = ⁿ√a を添加する拡大 K(α)/K を K の冪根拡大という。

もし K が 1 の原始 n 乗根を含むなら拡大体 K(α) は二項多項式　xⁿ − a の最小分解体となり、この二項多項式は重根を持たないので拡大はガロア拡大となる。これをクンマー拡大と呼ぶ。クンマー拡大は巡回拡大でその拡大次数は n の約数である。逆に n の約数 d に対し、拡大次数が d であるような巡回拡大 L/K は（K が 1 の原始 n 乗根を含むという仮定の下であれば）クンマー拡大である。このことから、ある方程式が係数に対して四則演算と冪根を添加する操作を有限回繰り返すことで解ける（代数的に可解である）ならば、ガロア群は巡回群のみからなる組成列を持たなければならないことになる。この性質は、抽象群に対して可解群の概念として定式化される。

[編集] 関連項目

• 冪乗
• 1の冪根
• 代数方程式
• 体論