n. the algebraic study of groups of automorphisms of fields in which one associates an extension field with a given algebraic equation. The theory grew out of Galois' highly original study of the solubility of equations, devised in part to prove the impossibility of solution by radicals of the general quintic, Abel's proof of which was unknown to him. See also Cardano's formula.