One of the landmarks in the history of mathematics is the proof of the
nonex- tence of algorithms based solely on radicals and elementary
arithmetic operations (addition, subtraction, multiplication, and
division) for solutions of general al- braic equations of degrees higher
than four. This proof by the French mathema- cian Evariste Galois in the
early nineteenth century used the then novel concept of the permutation
symmetry of the roots of algebraic equations and led to the invention of
group theory, an area of mathematics now nearly two centuries old that
has had extensive applications in the physical sciences in recent
decades. The radical-based algorithms for solutions of general algebraic
equations of degrees 2 (quadratic equations), 3 (cubic equations), and 4
(quartic equations) have been well-known for a number of centuries. The
quadratic equation algorithm uses a single square root, the cubic
equation algorithm uses a square root inside a cube root, and the
quartic equation algorithm combines the cubic and quadratic equation
algorithms with no new features. The details of the formulas for these
equations of degree d(d = 2,3,4) relate to the properties of the
corresponding symmetric groups Sd which are isomorphic to the symmetries
of the equilateral triangle for d = 3 and the regular tetrahedron for d
-- 4.