Lời giải: Định lý Abel–Ruffini và tiêu chuẩn giải được của Galois (1824)

Bước 2 trên 8: Làm mịn tháp căn thức thành một dãy các mở rộng Galois cyclic

Hiểu nôm na

Một cầu thang dựng từng bậc căn thức một cách rời rạc thì gồ ghề và khó suy luận đối xứng, trừ khi ta bắt tay vịn vào từng bậc trước: ghép thêm đủ các căn nguyên thủy của đơn vị (những số như $\zeta_n$ với $\zeta_n^n=1$ ) khiến mỗi bậc cầu thang trở thành một mở rộng chuẩn tắc, đối xứng, với nhóm tự đẳng cấu đơn giản như mặt đồng hồ — cyclic.

F = K_0 \subseteq K_0(\zeta_{n_1}) \subseteq K_1' \subseteq \cdots \subseteq K_m', \qquad \mathrm{Gal}(K_i'/K_{i-1}') \cong \mathbb{Z}/n_i\mathbb{Z}

Phân tích chi tiết

Theo chiến lược mà Galois và các nhà trình bày sau này dùng (xem chẳng hạn cách phát biểu lại bằng ngôn ngữ lý thuyết trường được tóm tắt trong bài Wikipedia về định lý Abel–Ruffini), một tháp căn thức chưa hẳn là chuẩn tắc, nên trước khi áp dụng lý thuyết Galois, ta ghép thêm ở mỗi tầng một căn nguyên thủy bậc $n_i$ của đơn vị $\zeta_{n_i}$ (nếu còn thiếu) rồi lấy bao đóng chuẩn tắc. Tháp đã làm mịn vẫn kết thúc ở một trường chứa mọi nghiệm của $f$ , nhưng giờ mỗi bước đơn $K_i'/K_{i-1}'$ là một mở rộng chuẩn tắc với nhóm Galois cyclic có cấp là ước của $n_i$ — đây là sự kiện cổ điển rằng ghép thêm căn bậc $n$ của một phần tử, một khi các căn bậc $n$ của đơn vị đã có sẵn, sẽ sinh ra một nhóm tự đẳng cấu cyclic (các tự đẳng cấu chỉ nhân căn mới với một căn của đơn vị).

Thuật ngữ trong bước này

Căn của đơn vị: Một số $\zeta$ thỏa $\zeta^n=1$ với một số nguyên dương $n$ nào đó; một căn nguyên thủy bậc $n$ của đơn vị có $n$ là số mũ nhỏ nhất thỏa điều đó.
Mở rộng chuẩn tắc: Một mở rộng trường chứa mọi nghiệm của mọi đa thức bất khả quy mà nó chứa ít nhất một nghiệm — không nghiệm nào bị bỏ sót.
Nhóm cyclic: Một nhóm được sinh bởi một phần tử duy nhất, sao cho mọi phần tử đều là lũy thừa nào đó của phần tử sinh này — đơn giản về cấu trúc như các giờ trên mặt đồng hồ.

Kiến thức dùng ở bước này

Lý thuyết Galois