標数0の体上において、代数方程式が代数的に可解となることと、その方程式のガロア群が可解群となることは同値である(一般の正標数では同値にならない)。