冪根

冪根（べきこん）、または累乗根（るいじょうこん）とは、冪乗（累乗）を取る操作とは逆の操作で、冪乗すると与えられた数になる数のことである。数 の冪根はしばしば formula_1 と書き表される。冪根 formula_1 は以下の関係を満たす。
つまり、冪根 formula_1 の 乗は に等しく、この意味で formula_1 を の 乗根 と呼ぶ。
 は指数 と呼ばれ、記号 formula_6 は根号 と呼ばれる。また、根号の中に書かれた数 は時に被開平数 と呼ばれる。
根号を用いて冪根を表す場合、それは非負の値を持つ一価関数として扱われる。このような冪根を主要根 と呼び、特に 乗根の主要根を主平方根 と呼ぶ。
数 の主要根 formula_1 は指数関数と結び付けられ、
という関係が成り立つ。
定義.
 を 以上の自然数とする。数 に対して、代数方程式 の解 を、 の 乗根 という。また、 を特に固定せずに冪根、累乗根と総称する。特に、乗根、乗根は、それぞれ平方根 、立方根 ともいう。
 の 乗根のうち、乗して初めて となるようなもの、すなわち であって、 となる任意の自然数 に対して を満たす は、 の 乗根として原始的 である、または の原始 乗根 であるという。
どのような数の範囲で冪根を考えているかは意識しておかねばならない。考えている数の範囲によっては、 乗根が複数存在する場合もあるし、1つも存在しない場合もある。複素数体のような代数的閉体では、乗根は重複度も込めてちょうど 個存在する。初等的には実数の特に正数の冪根を扱うことが多い。正数の 乗根は、 が偶数ならば正と負の 2つが存在し、 が奇数ならば正のものがただ1つ存在する。負数の 乗根は、奇数乗根は実数でも定義できるが、偶数乗根は実数では定義できない。
開法.
正の実数の冪根の近似値を求めることやその算法を、開法（あるいは開方、）という。特に、平方根や立方根を求めることを、それぞれ開平、開立という。
複素数の冪根.
複素数 に対して、その冪根は極形式を用いれば簡単に表すことができる。 のときはその冪根は のみであると定め、以下 として、formula_9 をその極形式表示とする。
まず、 に対して を満たす はただ一つ存在する。それは
である。このとき、個の複素数
はすべて代数方程式 を満たす。代数学の基本定理より、複素数係数の 次方程式の解は 個であるから、 の 乗根は以上ですべて得られている。
ここで注意すべき点は、根号 formula_12 は元となる複素数 の絶対値 以外に対しては一意な意味を持たないことである。つまり、一般の複素数 に対して formula_13 などと書いても、それだけではこの記号に何の意味も発生しないということである。もう少し別な言い方をすれば、根号関数 formula_14 （ここで formula_15 は正の実数全体）は定義可能だが、formula_16 を定める方法は無条件には存在しないというような形で述べることもできる。
しかしながら、例えば二次方程式 の解の公式に現れる根号付きの数formula_17 を、その中に現れる複素数 の平方根の任意に選んだ 1 つと解釈することにすれば、もう一方の解は formula_18 に対応し、根の公式はそのまま任意の二次方程式に通用する。このことは 2つの冪根同士は の原始冪根を掛ける違いしか持たないことに起因する。そういった背景により、「どれなのかは論理的に区別して指定できない」のだけれども、ある規約の下で根号 formula_12 を用いることは少なくない。虚数単位である formula_20 はその最も簡単な例である。
数の範囲を実数に限るのであれば、別な意味づけをすることもある。 が奇数のときは、負の実数 の 乗根は実数の範囲にただ1つだけ存在することから、これを formula_1 と記すのである（立方根を参照）。
有限体.
有限体 について、その位数は素数 の冪 であるとする。このとき、有限体 の零元 以外の元は単位元 の 乗根として得られる。すなわち
が成り立つ。ここで formula_23 は位数 の有限体 formula_24 の代数的閉包である。あるいは
と記しても同じことである。
冪根拡大.
 を体とし、 の任意の 1 つの冪根 を添加する拡大 を の冪根拡大 という。
もし が の原始 乗根を含むなら拡大体 は二項多項式 の最小分解体となり、この二項多項式は重根を持たないので拡大はガロア拡大となる。これをクンマー拡大 と呼ぶ。クンマー拡大は巡回拡大でその拡大次数は の約数である。逆に の約数 に対し、拡大次数が であるような巡回拡大 は、 が の原始 乗根を含むという仮定の下で、クンマー拡大である。このことから、ある方程式が係数に対して四則演算と冪根を添加する操作を有限回繰り返すことで解ける（代数的に可解である）ならば、ガロア群は巡回群のみからなる組成列を持たなければならないことになる。この性質は、抽象群に対して可解群の概念として定式化される。