アーベル–ルフィニの定理（アーベル–ルフィニのていり、英: Abel–Ruffini theorem）は、五次以上の代数方程式には解の公式が存在しない、と主張する定理である。より正確には、5以上の任意の整数 n に対して、一般の n 次方程式を代数的に解く方法は存在しない、という定理である。
方程式を「代数的に解く」とは、与えられた方程式の係数から出発して四則演算と冪根をとる操作を有限回繰り返し、方程式の根を表示することをいう。単に「冪根によって解く」ともいう。このようにして得られる表示可能な数の全体は、係数体に適当な冪根を添加して拡大したものとなるが、もし方程式に代数的な解の公式が存在するなら、根がそのような拡大体のどこかに含まれているはずである。従って、「代数方程式が代数的に解ける」、すなわち「代数方程式の根が冪根による表示をもつ」とは、次のように定義される。
アーベル–ルフィニの定理からは、五次以上の一般代数方程式ではこのような拡大が十分に行えないことが結論される。
代数学の基本定理が示す通り、n 次方程式は複素数の範囲で本質的に n 個の根を持つが、それを根号によって表示できるとは限らないことになる。冪根のみによらない手法についてはこの定理は触れていない（例えば超越関数によって容易に表示できたとしても代数的に解けたとはいわない）。また五次以上でも特定の条件付き方程式ならば解く事ができ、このようなものの一部はアーベル方程式と呼ばれる。もっとも単純なアーベル方程式は1の冪根を根にもつ xn = 1 であり、これが可解であることはカール・フリードリヒ・ガウスにより証明された。
一時この定理は完全な形で提出したニールス・アーベルにその功績が帰されていたが、現在ではパオロ・ルフィニの貢献を入れてアーベル–ルフィニの定理とする表記が多い。これはアーベルの業績になる定理が多く、単に「アーベルの定理」というと区別しにくいという事情も関係している。
^ ルフィニの欠陥を現代的に書けば次のような事になる。
上記の通り、公式が存在するかどうかは、係数体を起点に零点を記述できる体までのベキ根拡大列が作れるかどうかに帰着する。ルフィニはここで、零点 からなる有理関数体 への拡大列がない事を証明した。
問題は、 が零点を含む体の中で最小のものだという事である。例えば、 の代わりに を含む のようなものに対して、 を経由せず一足飛びに を得るような拡大の可能性は考慮されていない。この点を厳密に論じたのがアーベルで、ルフィニの証明が結果的には十分だった事が示された。
