Tổng quan về giáo trình

Giáo trình Số học do Tiến sĩ Phan Đức Tuấn biên soạn, được Trường Đại học Sài Gòn phát hành năm 2019 dưới hình thức lưu hành nội bộ. Trong chương trình đào tạo bậc đại học khối ngành Sư phạm Toán học, Toán học ứng dụng và Khoa học tính toán, Số học đóng vai trò là học phần toán lý thuyết nền tảng, cung cấp cơ sở cấu trúc số và các nguyên lý tính toán đại số cốt lõi.

Mục tiêu học tập của giáo trình bao gồm:

  • Thiết lập hệ thống tiên đề và phương pháp mở rộng các tập hợp số từ số tự nhiên, số nguyên, số hữu tỷ đến các mở rộng đầy đủ theo chuẩn.
  • Cung cấp phương pháp luận chứng minh toán học thông qua phép quy nạp, cấu trúc đại số và lý thuyết chia hết.
  • Trang bị hệ thống giải thuật số học kinh điển (thuật toán Euclid, thuật toán Euclid suy rộng, sàng Eratosthenes) và kỹ thuật tính toán thực nghiệm trên phần mềm đại số máy tính Maple.
  • Xây dựng nền tảng giải quyết các lớp phương trình Diophantine, phương trình đồng dư và ứng dụng lý thuyết số trong khoa học mật mã (hệ mật mã khóa công khai RSA) cùng vật lý toán hiện đại.

Cấu trúc giáo trình gồm 7 chương được xây dựng theo phương pháp tiên đề hóa kết hợp giải thuật thực hành. Điểm đặc sắc về mặt học thuật của tài liệu là việc đặt song song hai nhánh mở rộng đầy đủ của trường số hữu tỷ $\mathbb{Q}$ thông qua Định lý Ostrowski: trường số thực $\mathbb{R}$ (theo chuẩn Archimedes) và trường số $p$-adic $\mathbb{Q}_p$ (theo chuẩn phi Archimedes). Cách tiếp cận này liên kết trực tiếp số học cổ điển với giải tích hiện đại và đại số trừu tượng.

Nội dung kiến thức cốt lõi

Các chương/chủ đề chính

Nội dung giáo trình được triển khai qua 7 chương có tính phát triển logic liên tục:

  • Chương 1: Xây dựng các tập hợp số
    Thiết lập tập số tự nhiên $\mathbb{N}$ qua hệ tiên đề Peano và ánh xạ kế tiếp $\sigma$; nguyên lý quy nạp toán học; xây dựng vành số nguyên $\mathbb{Z}$ và trường số hữu tỷ $\mathbb{Q}$ qua quan hệ tương đương. Khảo sát lý thuyết trường định chuẩn, chuẩn tầm thường, chuẩn giá trị tuyệt đối và chuẩn $p$-adic ($|\alpha|_p = p^{-n}$). Phân tích tính đầy đủ của trường định chuẩn qua dãy Cauchy, chứng minh $\mathbb{Q}$ không đầy đủ. Trình bày Định lý Ostrowski khẳng định mọi chuẩn không tầm thường trên $\mathbb{Q}$ đều tương đương với chuẩn giá trị tuyệt đối hoặc chuẩn $p$-adic, từ đó dẫn đến hai hướng mở rộng Cantor sang trường số thực $\mathbb{R}$ và trường số $p$-adic $\mathbb{Q}_p$.

  • Chương 2: Lý thuyết chia hết trên tập số nguyên
    Nghiên cứu quan hệ chia hết, ước thực sự và ước tầm thường. Chứng minh định lý về phép chia có dư: $\forall a, b \in \mathbb{Z} (b \neq 0), \exists! q, r: a = bq + r$ với $0 \le r < |b|$. Thiết lập khái niệm ước chung lớn nhất $\gcd(a, b)$, biểu diễn tuyến tính dạng Bézout $d = ax + by$, thuật toán chia Euclid liên tiếp và bội chung nhỏ nhất $\operatorname{lcm}(a, b)$ cùng hệ thức $\gcd(a,b) \cdot \operatorname{lcm}(a,b) = |ab|$.

  • Chương 3: Số nguyên tố và ứng dụng
    Khảo sát số nguyên tố, hợp số và chứng minh định lý Euclid về tính vô hạn của tập số nguyên tố. Thiết lập Định lý cơ bản của số học về dạng phân tích tiêu chuẩn duy nhất $n = \prod_{i=1}^k p_i^{\alpha_i}$. Định nghĩa hàm định giá $p$-adic $v_p(n)$ và chứng minh công thức Legendre tính $v_p(n!)$. Hướng dẫn thuật toán sàng Eratosthenes loại trừ hợp số đến $\sqrt{n}$ và tích hợp thực hành lệnh isprime(a), ifactor(a) trên Maple để kiểm nghiệm các giả thuyết số học. Phân tích cơ sở an toàn của hệ mật mã RSA dựa trên độ phức tạp của bài toán phân tích thừa số nguyên tố.

  • Chương 4: Lý thuyết đồng dư
    Định nghĩa quan hệ đồng dư thức $a \equiv b \pmod n$ như một quan hệ tương đương; cấu trúc tập các lớp thặng dư $\mathbb{Z}/n\mathbb{Z}$. Phân loại hệ thặng dư đầy đủ và hệ thặng dư thu gọn modulo $n$. Xác lập hàm phi Euler $\phi(n)$, chứng minh Định lý Fermat nhỏ ($a^{p-1} \equiv 1 \pmod p$) và Định lý Euler tổng quát ($a^{\phi(n)} \equiv 1 \pmod n$), kèm kỹ thuật rút gọn bậc lũy thừa lớn trong tính toán số dư.

  • Chương 5: Hàm số học
    Trình bày lý thuyết hàm số học nhân tính ($f(mn) = f(m)f(n)$ với $\gcd(m, n) = 1$) và hàm nhân tính mạnh. Khảo sát tính nhân tính của hàm tổng trên các ước $g(n) = \sum_{d \mid n} f(d)$ và tích chập Dirichlet. Xây dựng công thức đóng cho hàm số các ước $\tau(n) = \prod (\alpha_i + 1)$, hàm tổng các ước $\sigma(n) = \prod \frac{p_i^{\alpha_i+1}-1}{p_i-1}$, và dạng tích của hàm Euler $\phi(n) = n \prod_{p \mid n} (1 - \frac{1}{p})$.

  • Chương 6: Phương trình Diophantine
    Nghiên cứu phương trình Diophantine tuyến tính hai ẩn $ax + by = c$; xác lập điều kiện cần và đủ có nghiệm $\gcd(a, b) \mid c$ và công thức nghiệm tổng quát qua thuật toán Euclid suy rộng. Khảo sát bộ ba số Pythagore nguyên thủy thỏa mãn $x^2 + y^2 = z^2$ với công thức tham số $x = m^2 - n^2, y = 2mn, z = m^2 + n^2$ ($\gcd(m, n) = 1, m > n$, khác tính chẵn lẻ). Trình bày định lý về việc phương trình $x^4 + y^4 = z^2$ không có nghiệm nguyên dương.

  • Chương 7: Phương trình đồng dư
    Khảo sát phương pháp giải phương trình đồng dư một ẩn và hệ phương trình đồng dư nhiều ẩn.

Tiên đề Peano & Mở rộng tập số (N -> Z -> Q)
Lý thuyết Trường định chuẩn & Định lý Ostrowski (R và Qp)
Lý thuyết chia hết & Thuật toán Euclid (gcd, lcm)
Số nguyên tố, Định giá p-adic & Hệ mật mã RSA
Lý thuyết đồng dư (Z/nZ, Định lý Fermat, Euler)
Hàm số học nhân tính (tau, sigma, phi)
Phương trình Diophantine & Phương trình đồng dư

Kiến thức nền tảng được xây dựng

  • Hệ thống lý thuyết cơ bản (Fundamental theories): Lý thuyết tập hợp tiên đề; lý thuyết vành - trường; cấu trúc metric và không gian định chuẩn; lý thuyết thặng dư và đồng dư đại số.
  • Nguyên lý cốt lõi (Core principles): Nguyên lý sắp thứ tự tốt trên $\mathbb{N}$; nguyên lý quy nạp toán học; nguyên lý phân tích nhân tử tiêu chuẩn duy nhất; nguyên lý đối ngẫu giữa ước chung và bội chung; nguyên lý thặng dư thu gọn.
  • Khung phân tích toán học (Essential frameworks): Phương pháp thác triển đầy đủ Cantor; cấu trúc định giá phi Archimedes; thuật toán chia lặp Euclid và Euclid suy rộng; khung hàm nhân tính và phép biến đổi trên ước số.

Kỹ năng phát triển

  • Kỹ năng kỹ thuật toán học (Technical skills): Thực hiện thuần thục các phép biến đổi đại số hình thức, giải thuật chia có dư, thuật toán Euclid suy rộng tìm biểu diễn Bézout, phân tích số nguyên lớn ra thừa số tiêu chuẩn, và tính toán số mũ đồng dư lớn qua định lý Euler/Fermat.
  • Kỹ năng phân tích logic (Analytical skills): Xây dựng các chứng minh phản chứng (như chứng minh tập số nguyên tố là vô hạn của Euclid, chứng minh tính không đầy đủ của $\mathbb{Q}$), phân loại cấu trúc chuẩn Archimedes và phi Archimedes, xác định điều kiện khả nghịch trong vành $\mathbb{Z}/n\mathbb{Z}$.
  • Kỹ năng tính toán ứng dụng (Practical competencies): Lập trình thao tác giải thuật số học bằng phần mềm Maple thông qua các cú pháp chuyên dụng; tính toán định giá $v_p(n!)$ trong tổ hợp; phân tích bài toán an toàn bảo mật thông tin trong hệ mật mã RSA.

Phương pháp giảng dạy và học tập

Phương pháp tiếp cận sư phạm

Giáo trình áp dụng mô hình diễn dịch toán học chuẩn mực: đi từ định nghĩa tiên đề hình thức, phát biểu định lý, triển khai chứng minh chi tiết, sau đó minh họa bằng các ví dụ số học tường minh. Kiến thức trừu tượng (như trường định chuẩn, chuẩn $p$-adic) được đặt song hành với các cấu trúc trực quan (chuẩn giá trị tuyệt đối cổ điển) nhằm tạo sự liên hệ khái niệm rõ ràng cho người học.

Bài tập và bài toán tình huống

Tài liệu thiết kế các hệ thống bài tập phân loại theo mục tiêu học tập:

  • Chứng minh lý thuyết: Yêu cầu người học tự chứng minh các bổ đề nền tảng, tính chất của chuẩn trên trường hữu hạn, hoặc tính không đầy đủ của dãy số hữu tỷ $a_n = \sum_{k=0}^n \frac{1}{k!}$.
  • Bài toán giải thuật: Tính toán từng bước bằng tay theo thuật toán chia Euclid và thuật toán Euclid suy rộng, ví dụ giải phương trình $1821x + 675y = 6$ để tìm nghiệm riêng $(86, -232)$ và họ nghiệm tổng quát $(86 + 225t, -232 - 607t)$.
  • Khảo sát giả thuyết số học: Phân tích kiểm chứng các mệnh đề số học, chẳng hạn bài toán xác định tính nguyên tố của dãy $A_n = p_1 p_2 \dots p_k - 2$.
Thuật toán Euclid suy rộng giải: 1821x + 675y = 6
------------------------------------------------------------
Bước 1: 1821 = 675 * 2 + 471  --> u1 =  1, v1 = -2
Bước 2:  675 = 471 * 1 + 204  --> u2 = -1, v2 =  3
Bước 3:  471 = 204 * 2 +  63  --> u3 =  3, v3 = -8
Bước 4:  204 =  63 * 3 +  15  --> u4 =-10, v4 = 27
Bước 5:   63 =  15 * 4 +   3  --> u5 = 43, v5 =-116 (gcd = 3)
------------------------------------------------------------
Đẳng thức Bézout: 1821*(43) + 675*(-116) = 3
Nhân 2 hai vế:    1821*(86) + 675*(-232) = 6
Nghiệm tổng quát: x = 86 + 225t, y = -232 - 607t (t thuộc Z)

Thực hành tính toán đại số

Giáo trình tích hợp các đoạn mã lệnh trực tiếp trên phần mềm Maple để giải quyết bài toán số học lớn vượt quá khả năng tính toán thủ công:

  • Kiểm tra tính nguyên tố: isprime(3023067) $\to$ true, isprime(289309129039) $\to$ false.
  • Phân tích nhân tử tiêu chuẩn: ifactor(720) $\to$ (2)^4 (3)^2 (5).
  • Bác bỏ giả thuyết với số lớn: sử dụng ifactor(3*5*7*11*13*17*19*23*29 - 1) để chỉ ra $A_9$ là hợp số với phân tích $(43)(167)(450473)$, minh chứng cho việc các phép thử thủ công đòi hỏi hàng nghìn phép chia có thể được kiểm chứng tự động.

Đánh giá và hướng dẫn tự học

  • Phương pháp đánh giá: Kết hợp giữa kiểm tra khả năng lập luận suy diễn hình thức qua bài thi viết và kỹ năng thực thi giải thuật giải phương trình Diophantine, phương trình đồng dư, tính số dư modulo lớn.
  • Hướng dẫn tự học: Người học cần thực hiện tuần tự các phép chứng minh định lý tại Chương 1 và 2 trước khi bước vào các ứng dụng ở Chương 3, 4 và 6; nên tự lập bảng tính tay cho các bài toán quy mô nhỏ (như tìm $\gcd$, lập bảng thặng dư), sau đó đối chiếu kết quả bằng lệnh Maple tương ứng.

Điểm nổi bật và cập nhật

Mở rộng cấu trúc đại số hiện đại

Khác với các tài liệu số học truyền thống chỉ dừng lại ở phạm vi số học sơ cấp, giáo trình đưa vào lý thuyết trường định chuẩn, chuẩn phi Archimedes và chuẩn $p$-adic do Kurt Hensel đề xuất từ cuối thế kỷ 19. Việc phân tích Định lý Ostrowski giúp người học hiểu được bản chất toán học sâu xa: trường số thực $\mathbb{R}$ và trường số $p$-adic $\mathbb{Q}_p$ có vị thế hoàn toàn bình đẳng với tư cách là hai hướng mở rộng đầy đủ duy nhất của trường số hữu tỷ $\mathbb{Q}$.

                 Trường số hữu tỷ Q
Chuẩn Archimedes |.|              Chuẩn p-adic |.|p
 Trường số thực R               Trường số p-adic Qp

Kết nối ứng dụng liên ngành

  • An toàn thông tin và Mật mã học: Giáo trình giải thích trực tiếp mối liên hệ giữa Định lý Euler, tính chất số nguyên tố và hệ mật mã khóa công khai RSA (Rivest – Shamir – Adleman, MIT, 1978). Độ an toàn của RSA được định lượng thông qua chi phí thời gian tính toán của bài toán phân tích một số nguyên cực lớn thành tích các thừa số nguyên tố.
  • Vật lý lý thuyết và Không - thời gian rời rạc: Giới thiệu vai trò của metric phi Archimedes và giải tích $p$-adic trong các mô hình vật lý hiện đại như cơ học lượng tử, lý thuyết dây, môi trường đông đặc, vũ trụ học và khoa học nhận thức.

Đối tượng sử dụng giáo trình

Phân loại người học và điều kiện tiên quyết

  • Sinh viên đại học: Giáo trình biên soạn phục vụ trực tiếp cho sinh viên năm thứ nhất đến năm thứ ba thuộc các ngành:
    • Sư phạm Toán học.
    • Toán học và Toán ứng dụng.
    • Khoa học máy tính, Kỹ thuật phần mềm và An toàn thông tin.
  • Kiến thức tiên quyết: Người học cần có kiến thức cơ sở về Đại số đại cương (khái niệm nhóm, vành, trường, ánh xạ, quan hệ tương đương) và Giải tích cổ điển (dãy số, giới hạn, dãy Cauchy).

Phạm vi ứng dụng cho giảng viên và nghiên cứu

  • Giảng viên: Sử dụng làm đề cương và giáo trình giảng dạy chính thức cho học phần Số học hoặc Lý thuyết số; có thể linh hoạt tách thành module lý thuyết thuần túy (Chương 1, 2, 4, 5) hoặc module số học giải thuật và mật mã (Chương 3, 6, 7 kết hợp Maple).
  • Học viên sau đại học và giáo viên THPT: Dùng làm tài liệu tham khảo chuyên đề bồi dưỡng học sinh giỏi môn Toán (các chủ đề phương trình Diophantine, đồng dư thức, hàm số học nhân tính) hoặc tài liệu nhập môn giải tích $p$-adic cho học viên cao học chuyên ngành Toán giải tích và Hình học đại số.

Câu hỏi thường gặp

1. Giáo trình này phù hợp với đối tượng nào?

Giáo trình được biên soạn chuyên biệt cho sinh viên đại học ngành Sư phạm Toán, Toán học, Khoa học máy tính, An toàn thông tin, cũng như học viên cao học và giáo viên toán cần tài liệu chuẩn hóa về số học lý thuyết và giải thuật.

2. Cần trang bị những kiến thức nền tảng nào trước khi học?

Người học cần nắm vững logic toán, lý thuyết tập hợp, cấu trúc đại số trừu tượng (nhóm, vành, trường) và khái niệm dãy số hội tụ trong không gian metric.

3. Điểm khác biệt về mặt học thuật của giáo trình so với các tài liệu số học sơ cấp là gì?

Giáo trình không giới hạn trong các kỹ thuật chia hết sơ cấp mà xây dựng số học trên nền tảng không gian metric định chuẩn, giới thiệu chuẩn $p$-adic, chứng minh Định lý Ostrowski và thiết lập mối liên hệ trực tiếp với giải tích hiện đại và hệ mật RSA.

4. Làm sao để tự học và làm chủ nội dung giáo trình hiệu quả?

Người học nên tuân thủ trình tự: nắm chắc hệ tiên đề và các bước chứng minh hình thức, tự giải tay các thuật toán số học cổ điển (Euclid, phân tích số nguyên, giải phương trình đồng dư), sau đó sử dụng Maple để kiểm chứng kết quả và khảo sát các bài toán có quy mô số liệu lớn.

5. Giáo trình sử dụng phần mềm hỗ trợ nào và vai trò của nó là gì?

Tài liệu sử dụng phần mềm đại số máy tính Maple (với các hàm như isprime, ifactor) nhằm phục vụ việc tính toán số học thực nghiệm, phân tích thừa số các số nguyên lớn và kiểm chứng các giả thuyết số học phức tạp mà tính toán thủ công không đáp ứng được.

Kết luận

Giáo trình Số học của Tiến sĩ Phan Đức Tuấn cung cấp một hệ thống tri thức hoàn chỉnh, liên kết chặt chẽ giữa số học tiên đề cổ điển và cấu trúc đại số - giải tích hiện đại. Với cấu trúc từ hệ tiên đề Peano, lý thuyết chia hết, số nguyên tố, đồng dư thức đến phương trình Diophantine và chuẩn $p$-adic, tài liệu đáp ứng yêu cầu giảng dạy đại học và nghiên cứu học thuật chuyên sâu.

Lộ trình học tập khuyến nghị bắt đầu từ cấu trúc tập hợp số và lý thuyết chia hết, phát triển qua đại số đồng dư và hàm số học, sau đó hoàn thiện ở các giải thuật phương trình Diophantine cùng kỹ năng lập trình số học trên máy tính. Để mở rộng kiến thức, người học có thể tham khảo thêm các chuyên đề chuyên sâu về Giải tích $p$-adic, Lý thuyết mật mã đại số và Đại số giao hoán.