Trường hữu hạn
Trường hữu hạn là một trường có hữu hạn phần tử; với mỗi lũy thừa nguyên tố, chỉ có duy nhất một trường như vậy, với cấu trúc phong phú và hữu ích về mặt tính toán.
Definition
Trường hữu hạn là một trường chứa hữu hạn phần tử; bậc của nó nhất thiết phải là một lũy thừa của một số nguyên tố, và nó được xây dựng như là trường phân rã của một đa thức thích hợp trên trường nguyên tố.
Scope
Chủ đề này bao gồm đặc trưng và trường con nguyên tố, phân loại các trường hữu hạn theo bậc lũy thừa nguyên tố, cấu trúc cyclic của nhóm nhân, tự đẳng cấu Frobenius, cấu trúc trường con và việc xây dựng các trường hữu hạn dưới dạng trường phân rã và thương của các vành đa thức.
Core questions
- Trường hữu hạn có thể có những bậc nào?
- Các trường hữu hạn có bậc cho trước được phân loại như thế nào?
- Cấu trúc của nhóm nhân của một trường hữu hạn là gì?
- Tự đẳng cấu Frobenius và các trường con tổ chức một trường hữu hạn như thế nào?
Key theories
- Phân loại các trường hữu hạn
- Với mỗi lũy thừa nguyên tố, tồn tại, đến đẳng cấu, chính xác một trường hữu hạn có bậc đó, được hiện thực hóa dưới dạng trường phân rã của đa thức mà các nghiệm của nó chính là các phần tử của trường.
- Nhóm nhân cyclic
- Các phần tử khác không của một trường hữu hạn tạo thành một nhóm cyclic dưới phép nhân, do đó trường có một phần tử nguyên thủy tạo ra tất cả các phần tử khác không dưới dạng lũy thừa.
- Tự đẳng cấu Frobenius
- Phép nâng lên lũy thừa nguyên tố đặc trưng là một tự đẳng cấu trường, ánh xạ Frobenius, tạo ra nhóm Galois cyclic của một trường hữu hạn trên trường nguyên tố của nó và chi phối cấu trúc trường con của nó.
Clinical relevance
Các trường hữu hạn là nền tảng cho lý thuyết mã hóa và mật mã học, nơi các mã Reed-Solomon và các mã sửa lỗi khác, các hệ mật mã đường cong elliptic, và Tiêu chuẩn Mã hóa Nâng cao (Advanced Encryption Standard) đều tính toán trên các trường hữu hạn, và cho tổ hợp học thông qua các hình học hữu hạn và các tập hợp hiệu.
History
Galois đã giới thiệu các trường có bậc lũy thừa nguyên tố khi nghiên cứu các đồng dư, vì vậy các trường hữu hạn còn được gọi là trường Galois. E. H. Moore đã chứng minh vào năm 1893 rằng mọi trường hữu hạn được xác định duy nhất (đến đẳng cấu) bởi bậc của nó, và Dickson đã phát triển lý thuyết của chúng một cách rộng rãi vào đầu thế kỷ XX.
Key figures
- Évariste Galois
- E. H. Moore
- Leonard Eugene Dickson
Related topics
Seminal works
- dummit2004
- lang2002
- hungerford1974
Frequently asked questions
- Tại sao một trường hữu hạn phải có bậc là lũy thừa nguyên tố?
- Một trường hữu hạn chứa một trường con nhỏ nhất đẳng cấu với các số nguyên modulo một số nguyên tố, đặc trưng của nó, và là một không gian vectơ hữu hạn chiều trên trường con đó. Do đó, kích thước của nó là số nguyên tố đó được nâng lên lũy thừa bằng chiều, tức là một lũy thừa nguyên tố.
- Hai trường hữu hạn có cùng kích thước có thực sự giống nhau không?
- Có, đến đẳng cấu. Với mỗi lũy thừa nguyên tố, có một trường hữu hạn duy nhất có bậc đó, đó là lý do tại sao chúng được ký hiệu một cách không mơ hồ bằng kích thước của chúng. Các cách xây dựng khác nhau, chẳng hạn như các đa thức bất khả quy khác nhau, tạo ra các trường đẳng cấu.