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

出典:wikipedia