Có phải các phương trình đều có thể giải bằng công thức không?
Vào năm 1831, nhà toán học Pháp 20 tuổi là Galois đã đưa ra một hình thức trả lời vấn đề đặt ra một cách sắc bén và nhanh chóng.
Galois đã xây dựng nên lí thuyết nhóm Galois là cơ sở cho đại số học hiện đại. Dựa vào lí thuyết nhóm Galois, Galois đã đưa ra điều kiện để một phương trình đại số bậc cao có thể giải được bằng căn thức đó là “phán đoán Galois”. Từ “phán đoán Galois” cũng đi đến kết luận là các phương trình tổng quát bậc lớn hơn hoặc bằng 5 (bậc n ≥ 5) không giải được bằng căn thức. Từ đó có thể thấy rằng định lí Abel chỉ là một hệ quả của lí thuyết Galois.
Từ khoá: Phán đoán Galois và lí thuyết nhóm.