Trường phân rã

Trường phân rã của một đa thức là phần mở rộng trường nhỏ nhất mà trên đó đa thức phân tích hoàn toàn thành các thừa số tuyến tính, là môi trường tự nhiên chứa tất cả các nghiệm của nó.

Definition

Trường phân rã của một đa thức trên một trường là một mở rộng được tạo ra bởi tất cả các nghiệm của đa thức mà trong đó nó phân tích thành các thừa số tuyến tính, và là trường tối thiểu với tính chất đó.

Scope

Chủ đề này bao gồm việc xây dựng và sự tồn tại của các trường phân rã, tính duy nhất của chúng cho đến đẳng cấu, các mở rộng chuẩn tắc, mối liên hệ với các bao đóng đại số, và vai trò của các trường phân rã như các mở rộng Galois trong đó các nghiệm và đối xứng của một đa thức được nghiên cứu.

Core questions

• Tại sao mọi đa thức đều có một trường mà trong đó nó phân rã hoàn toàn?
• Trường phân rã của một đa thức có duy nhất không?
• Các trường phân rã liên quan đến các mở rộng chuẩn tắc và các bao đóng đại số như thế nào?
• Tại sao các trường phân rã là môi trường phù hợp cho lý thuyết Galois?

Key theories

Sự tồn tại và tính duy nhất của các trường phân rã

Mọi đa thức trên một trường đều có một trường phân rã, thu được bằng cách thêm nghiệm liên tiếp, và bất kỳ hai trường phân rã nào của cùng một đa thức đều đẳng cấu bởi một đẳng cấu cố định trường cơ sở.

Các trường phân rã và tính chuẩn tắc

Một mở rộng hữu hạn là chuẩn tắc chính xác khi nó là trường phân rã của một đa thức nào đó, tương đương khi nó chứa tất cả các liên hợp của mỗi phần tử của nó, đây là một trong những điều kiện xác định một mở rộng Galois.

Bao đóng đại số như một trường phân rã phổ quát

Một bao đóng đại số của một trường là một mở rộng mà trong đó mọi đa thức đều phân rã, và nó là hợp của các trường phân rã của tất cả các đa thức, tồn tại và là duy nhất cho đến đẳng cấu đối với mọi trường.

Clinical relevance

Các trường phân rã cung cấp các mở rộng cụ thể mà trên đó các nhóm Galois tác động, biến chúng thành nền tảng để tính toán các nhóm Galois và nghiên cứu khả năng giải được của các phương trình. Cùng một cấu trúc này tạo ra các bao đóng đại số và được sử dụng để xây dựng các trường hữu hạn của mọi bậc lũy thừa nguyên tố.

History

Phương pháp thêm nghiệm của Kronecker bằng cách lấy thương các vành đa thức cung cấp cách xây dựng các trường phân rã, và Steinitz đã chứng minh sự tồn tại và tính duy nhất của các bao đóng đại số trong lý thuyết trường trừu tượng năm 1910 của ông. Những kết quả này đã đặt việc sử dụng ngầm định các trường nghiệm của Galois lên một nền tảng chặt chẽ.

Key figures

• Leopold Kronecker
• Ernst Steinitz
• Évariste Galois

Seminal works

• dummit2004
• lang2002
• hungerford1974

Frequently asked questions

Một trường phân rã được xây dựng như thế nào?

Thêm một nghiệm của một thừa số bất khả quy bằng cách lấy thương vành đa thức bởi thừa số đó, sau đó lặp lại trên trường lớn hơn cho đến khi đa thức phân tích thành các thành phần tuyến tính. Trường tối thiểu thu được là trường phân rã.

Tại sao các trường phân rã lại quan trọng đối với lý thuyết Galois?

Một trường phân rã chính xác là một mở rộng chuẩn tắc, và khi khả phân thì nó là một mở rộng Galois. Nhóm Galois của nó hoán vị các nghiệm của đa thức, vì vậy trường phân rã là nơi phân tích đối xứng của phương trình diễn ra.