A truly solution set for Lang must include:
| Old Solution (1990s) | Updated Solution (2024) | |----------------------|--------------------------| | "It is irreducible mod 2, so the Galois group is a subgroup of S5 containing a 5-cycle." | Checks irreducibility mod 2 (polynomial is (x^5+x+1) over (\mathbbF_2), no root, no quadratic factor). | | "..." (leaves the rest to the reader) | Step 2: Uses mod 3 reduction to find a transposition – detailed computation of (x^5 - x - 1 \mod 3) factoring as ((x^2 + x - 1)(x^3 - x^2 + x + 1)) and applies Dedekind’s theorem. | | (No mention of discriminant) | Step 3: Calculates discriminant (via resultant) to confirm it is not a square, thus no subgroup of (A_5). | | Conclusion: "Therefore (S_5)." | Conclusion: Since the group contains a 5-cycle and a transposition, it must be (S_5). Also cites a 2022 paper by J. Wang for a computational shortcut. |
