The quadratic formula solves all degree-2 polynomials by radicals, and analogous formulas exist for degrees 3 and 4. According to Galois theory, the reason no such formula exists for degree 5 is:
ANo one has been clever enough yet — the quintic formula may still be discovered
BThe Galois group of a general quintic is S₅, which is not solvable — it has no complete chain of normal subgroups with abelian quotients
CDegree-5 polynomials have too many roots for radical expressions, which can only accommodate up to four nested operations
DNumerical approximation methods are insufficiently precise to verify a quintic formula even if one existed
The insolvability of the quintic is a proven negative result, not an open problem. A polynomial is solvable by radicals if and only if its Galois group is a solvable group. For degrees 1–4, the corresponding symmetric groups S₁–S₄ are all solvable, which is why formulas exist. The general quintic has Galois group isomorphic to S₅. S₅ is not solvable: its only normal subgroups are {e}, A₅, and S₅ itself, and A₅ is simple (no non-trivial proper normal subgroups), so the required chain of abelian quotients cannot be completed. The impossibility is structural, not a gap in technique.
Question 2 Multiple Choice
A specific quintic f(x) has Galois group isomorphic to Z₅ (the cyclic group of order 5). Can f be solved by radicals?
ANo — the insolvability theorem applies to all fifth-degree polynomials without exception
BYes — Z₅ is abelian (hence solvable), so f's Galois group satisfies the solvability criterion and f can be expressed using radicals
CNo — only polynomials with Galois group isomorphic to S₅ can be solved by radicals
DIt depends on whether f has repeated roots, which changes the Galois group structure
The insolvability theorem applies to the *general* quintic — the one whose Galois group is the full S₅. Specific quintics can have smaller, solvable Galois groups. Z₅ is cyclic and abelian, hence trivially solvable (the trivial series Z₅ ⊃ {e} has abelian quotient Z₅). So f with Gal(f) ≅ Z₅ is solvable by radicals. The theorem is not 'no quintic can be solved' but 'the formula that solves all quintics simultaneously cannot exist' — because the general case requires S₅, which is not solvable. This distinction — between the general case and particular instances — is fundamental.
Question 3 True / False
The insolvability of the quintic means that no fifth-degree equation can ever have its roots determined or computed.
TTrue
FFalse
Answer: False
The theorem says that no formula using radicals can solve all quintics simultaneously — not that quintic roots are unknowable. Specific quintics with solvable Galois groups (smaller than S₅) can be solved by radicals. All quintics, including the general case, can have their roots approximated to arbitrary precision by numerical methods (Newton's method, companion matrix eigenvalues, etc.). What cannot exist is a closed-form radical expression that works for every quintic the way the quadratic formula works for every quadratic.
Question 4 True / False
The key reason S₅ is not a solvable group is that A₅ (the alternating group of degree 5) is simple — it has no non-trivial proper normal subgroups — which breaks the required chain of normal subgroups with abelian quotients.
TTrue
FFalse
Answer: True
A solvable group must have a subnormal series G = G₀ ⊃ G₁ ⊃ ⋯ ⊃ {e} where each quotient Gᵢ/Gᵢ₊₁ is abelian. For S₅, the only normal subgroups are {e}, A₅, and S₅ itself — there are no intermediate normal subgroups to build a finer chain. The quotient A₅/{e} = A₅, and A₅ is not abelian (in fact it is simple, the smallest non-abelian simple group). The chain cannot be completed with abelian quotients. This simplicity of A₅ — which has no further normal subgroups — is the structural fact that makes S₅ unsolvable and the quintic formula impossible.
Question 5 Short Answer
How does Galois theory reframe what it means to 'solve' a polynomial equation, and what does this reframing reveal about why the quintic is insolvable by radicals?
Think about your answer, then reveal below.
Model answer: Classical algebra asks: 'find the roots.' Galois theory asks: 'what symmetries do the roots have?' The Galois group captures the permutation symmetries among a polynomial's roots — specifically, the automorphisms of the splitting field that fix the base field. Solvability by radicals corresponds exactly to having a solvable Galois group: one that decomposes into abelian layers, reflecting how taking successive nth roots (one radical layer at a time) builds up the splitting field. Degrees 1–4 are solvable because S₁–S₄ are solvable groups. S₅ is not solvable because A₅ is simple, breaking the required abelian chain. The quintic's insolvability is therefore not a statement about polynomials or roots — it is a theorem about group theory, about the symmetry structure of the problem being inherently too complex for radicals to reach.
This reframing is the signature move of abstract algebra: translate a problem about one mathematical object (roots of polynomials) into a question about the structure of another (groups), and the group structure answers the original question. Galois's insight was that the difficulty of solving a polynomial is encoded in the symmetry group of its roots — and that symmetry group either is or is not solvable, with radical expressibility as the consequence.