Lý thuyết số sơ cấp
Lý thuyết số sơ cấp nghiên cứu các số nguyên chỉ sử dụng các lập luận số học và tổ hợp, xây dựng bộ máy chia hết, đồng dư và phân tích thừa số nguyên tố làm nền tảng cho phần còn lại của môn học.
Definition
Lý thuyết số sơ cấp là một nhánh của lý thuyết số liên quan đến các tính chất của số nguyên được thiết lập thông qua các phương pháp sơ cấp: quy nạp, thuật toán chia, đồng dư và đếm tổ hợp, thay vì các kỹ thuật giải tích hoặc cấu trúc đại số.
Scope
Lĩnh vực này bao gồm phần cốt lõi cổ điển, khép kín của lý thuyết số: quan hệ chia hết và định lý cơ bản của số học, lý thuyết đồng dư và số học modulo, các hàm số học nhân tính và cộng tính, và luật tương hỗ bậc hai. "Sơ cấp" chỉ phương pháp chứ không phải độ khó — các kết quả được thu thập mà không cần đến giải tích phức tạp hoặc bộ máy đại số trừu tượng, mặc dù chúng là động lực cho cả hai.
Sub-topics
Core questions
- Làm thế nào để sự phân tích duy nhất thành các số nguyên tố suy ra từ thuật toán chia và thuật toán Euclid?
- Khi nào một đồng dư hoặc hệ đồng dư có nghiệm, và làm thế nào để đếm các nghiệm?
- Các hàm số học như hàm phi Euler và hàm Mobius mã hóa cấu trúc nhân tính như thế nào?
- Những số nguyên nào là thặng dư bậc hai modulo một số nguyên tố, và luật tương hỗ liên hệ các điều kiện thặng dư cho các số nguyên tố khác nhau như thế nào?
Key theories
- Định lý cơ bản của số học
- Mọi số nguyên lớn hơn một đều có thể phân tích duy nhất (không kể thứ tự) thành các số nguyên tố; điều này suy ra từ thuật toán chia thông qua bổ đề Euclid và là nền tảng cấu trúc của môn học.
- Lý thuyết đồng dư
- Làm việc modulo n biến các số nguyên thành vành hữu hạn Z/nZ; định lý nhỏ Fermat, định lý Euler và định lý số dư Trung Quốc mô tả hành vi nhân tính và cấu trúc của nó.
- Luật tương hỗ bậc hai
- Luật của Gauss liên hệ khả năng giải được của x bình phương đồng dư với p mod q với khả năng giải được của x bình phương đồng dư với q mod p, đưa ra một tiêu chí hiệu quả cho việc khi nào một số là thặng dư bậc hai.
Clinical relevance
Các cấu trúc của lý thuyết số sơ cấp làm nền tảng cho mật mã hóa khóa công khai (RSA dựa trên lũy thừa modulo và định lý Euler), mã sửa lỗi, băm và tạo số giả ngẫu nhiên, làm cho đây trở thành lớp được triển khai thực tế của môn học.
History
Những kết quả sớm nhất có thể truy nguyên từ Các nguyên tố của Euclid (tính vô hạn của số nguyên tố, thuật toán Euclid). Fermat và Euler vào thế kỷ XVII và XVIII đã phát triển các đồng dư và hàm phi Euler, và Disquisitiones Arithmeticae (1801) của Gauss đã hệ thống hóa lĩnh vực này và chứng minh luật tương hỗ bậc hai, đặt ra chương trình nghị sự cho lý thuyết số hiện đại.
Key figures
- Euclid
- Pierre de Fermat
- Leonhard Euler
- Carl Friedrich Gauss
Related topics
Seminal works
- hardyWright2008
Frequently asked questions
- Tại sao nó được gọi là "sơ cấp" nếu một số kết quả khó?
- "Sơ cấp" đề cập đến các phương pháp được sử dụng — số học, quy nạp và đồng dư mà không cần giải tích phức tạp hoặc đại số trừu tượng — chứ không phải độ khó của các chứng minh, một số trong đó khá phức tạp.
- Lý thuyết số sơ cấp có còn là một lĩnh vực nghiên cứu tích cực không?
- Mặc dù các kết quả cốt lõi của nó là cổ điển, các kỹ thuật sơ cấp vẫn là trung tâm của mật mã học và tổ hợp, và các chứng minh sơ cấp của các định lý sâu sắc (như chứng minh sơ cấp của Selberg và Erdos về định lý số nguyên tố) vẫn được đánh giá cao.