Editing Abel–Ruffini theorem (section)

====General equation====
The ''general'' or ''generic'' polynomial equation of degree {{mvar|n}} is the equation
:<math>x^n+a_1x^{n-1}+ \cdots+ a_{n-1}x+a_n=0, </math>
where <math>a_1,\ldots, a_n</math> are distinct [[indeterminate (variable)|indeterminates]]. This is an equation defined over the [[field (mathematics)|field]] <math>F=\Q(a_1,\ldots,a_n)</math> of the [[rational fraction]]s in <math>a_1,\ldots, a_n</math> with [[rational number]] coefficients. The original Abel–Ruffini theorem asserts that, for {{math|''n'' > 4}}, this equation is not solvable in radicals. In view of the preceding sections, this results from the fact that the [[Galois group]] over {{mvar|F}} of the equation is the [[symmetric group]] <math>\mathcal S_n</math> (this Galois group is the group of the [[field automorphism]]s of the [[splitting field]] of the equation that fix the elements of {{mvar|F}}, where the splitting field is the smallest field containing all the roots of the equation).

For proving that the Galois group is <math>\mathcal S_n,</math> it is simpler to start from the roots. Let <math>x_1, \ldots, x_n</math> be new indeterminates, aimed to be the roots, and consider the polynomial
:<math>P(x)=x^n+b_1x^{n-1}+ \cdots+ b_{n-1}x+b_n= (x-x_1)\cdots (x-x_n).</math>
Let <math>H=\Q(x_1,\ldots,x_n)</math> be the field of the rational fractions in <math>x_1, \ldots, x_n,</math> and <math>K=\Q(b_1,\ldots, b_n)</math> be its subfield generated by the coefficients of <math>P(x).</math> The [[permutation]]s of the <math>x_i</math> induce automorphisms of {{mvar|H}}. [[Vieta's formulas]] imply that every element of {{mvar|K}} is a [[symmetric function]] of the <math>x_i,</math> and is thus fixed by all these automorphisms. It follows that the Galois group <math>\operatorname{Gal}(H/K)</math> is the symmetric group <math>\mathcal S_n.</math>

The [[fundamental theorem of symmetric polynomials]] implies that the <math>b_i</math> are [[algebraic independence|algebraic independent]], and thus that the map that sends each <math>a_i</math> to the corresponding <math>b_i</math> is a field isomorphism from {{mvar|F}} to {{mvar|K}}. This means that one may consider <math>P(x)=0</math> as a generic equation. This finishes the proof that the Galois group of a general equation is the symmetric group, and thus proves the original Abel–Ruffini theorem, which asserts that the general polynomial equation of degree {{mvar|n}} cannot be solved in radicals for {{math|''n'' > 4}}.