Bổ đề Bézout dưới góc nhìn Hình học Mạng lưới và Vành I-đê-an chính (PID)

2026-Sep-14 1387 từ 7 phút

Nội dung

Trong bài viết Thuật toán Euclid mở rộng và Bổ đề Bézout, chúng ta đã tìm hiểu phương pháp tính toán cụ thể để tìm ước chung lớn nhất $d = \gcd(a, b)$ và biểu diễn nó dưới dạng tổ hợp tuyến tính nguyên:

$$d = ra + sb \quad (r, s \in \mathbb{Z}).$$

Tuy nhiên, ngoài giá trị thực hành trong tính toán số học, đẳng thức Bézout còn là cánh cửa dẫn thẳng tới hai khái niệm hình học và đại số trừu tượng quan trọng: Mạng lưới điểm nguyên (Lattice) và Vành I-đê-an chính (Principal Ideal Domain - PID).

1. Góc nhìn hình học: Mạng lưới điểm nguyên (Lattice)

Xét tập hợp tất cả các số nguyên tạo được từ phép nhân-cộng tuyến tính giữa hai số $a$ và $b$:

$$\Lambda = \{xa + yb \mid x, y \in \mathbb{Z}\}.$$

Trực giác về bước nhảy trên trục số

Hãy tưởng tượng bạn đứng ở gốc tọa độ $0$ trên trục số nguyên $\mathbb{Z}$ và chỉ được phép thực hiện hai loại bước nhảy:

Bước nhảy có độ dài $|a|$ (tiến hoặc lùi).
Bước nhảy có độ dài $|b|$ (tiến hoặc lùi).

Bạn có thể lặp lại mỗi loại bước nhảy bao nhiêu lần tùy ý ($x$ lần bước $a$ và $y$ lần bước $b$). Tập hợp mọi điểm mà bạn có thể đặt chân tới chính là tập $\Lambda$.

1
2
3


... ----(-2d)----(-d)----(0)----(d)----(2d)----(3d)---- ...
                         |<-d->|
                       Mắt lưới cơ sở

Mắt lưới cơ sở và phần tử cực tiểu

Tập hợp các điểm nguyên $\Lambda$ này lập thành một mạng lưới 1 chiều (1D Lattice) trên trục số:

Phần tử dương nhỏ nhất: Theo Nguyên lý thứ tự tốt, tập con các số nguyên dương trong $\Lambda$: $$S = \{xa + yb > 0 \mid x, y \in \mathbb{Z}\}$$ bắt buộc phải có một phần tử nhỏ nhất, ký hiệu là $d_{\min}$.
Đồng nhất với ước chung lớn nhất: Bổ đề Bézout chứng minh rằng: $$d_{\min} = \gcd(a, b).$$
Tính tuần hoàn: Mọi điểm trong mạng lưới $\Lambda$ bắt buộc phải là bội số nguyên của $d_{\min}$. Nếu tồn tại một điểm $p \in \Lambda$ không chia hết cho $d_{\min}$, phép chia có dư sẽ tạo ra một số dư $r = p \bmod d_{\min} \in \Lambda$ thỏa mãn $0 < r < d_{\min}$, mâu thuẫn với tính cực tiểu của $d_{\min}$.

$$\Lambda = d\mathbb{Z} = \{k \cdot \gcd(a, b) \mid k \in \mathbb{Z}\}.$$

Toàn bộ mạng lưới vô hạn các tổ hợp tuyến tính của hai số $a$ và $b$ thực chất chỉ là một “thước đo đều” với vạch chia cơ sở là $d = \gcd(a, b)$.

2. Cầu nối sang Đại số hiện đại: Cấu trúc I-đê-an (Ideal)

Trong đại số trừu tượng, khái niệm i-đê-an (ideal) đóng vai trò tương tự như nhóm con chuẩn tắc trong lý thuyết nhóm: nó là hạt nhân để xây dựng các vành thương (factor rings).

Nhắc lại định nghĩa I-đê-an

Cho $(R, +, \cdot)$ là một vành giao hoán. Một tập con khác rỗng $I \subseteq R$ được gọi là một i-đê-an của $R$ (ký hiệu $I \trianglelefteq R$) nếu thỏa mãn hai điều kiện:

$(I, +)$ là một nhóm con của $(R, +)$ (đóng dưới phép trừ: $\forall x, y \in I \implies x - y \in I$).
Tính chất “nuốt” phép nhân: với mọi phần tử $x \in I$ và mọi phần tử $r \in R$, tích $r \cdot x \in I$.

I-đê-an sinh bởi hai phần tử trong $\mathbb{Z}$

$$I = \langle a, b \rangle = \{xa + yb \mid x, y \in \mathbb{Z}\}$$

chính là i-đê-an sinh bởi hai phần tử $a$ và $b$:

Hiệu của hai tổ hợp tuyến tính nguyên vẫn là một tổ hợp tuyến tính nguyên.
Nhân một tổ hợp tuyến tính nguyên với một số nguyên bất kỳ $k \in \mathbb{Z}$ vẫn cho ra một tổ hợp tuyến tính nguyên: $k(xa + yb) = (kx)a + (ky)b$.

3. Vành I-đê-an chính (Principal Ideal Domain - PID)

I-đê-an chính là gì?

$$I = \langle d \rangle = dR = \{k \cdot d \mid k \in R\}.$$

Một miền nguyên (vành giao hoán có đơn vị, không có ước của $0$) mà trong đó mọi i-đê-an đều là i-đê-an chính được gọi là một Vành I-đê-an chính (Principal Ideal Domain, viết tắt là PID).

Bổ đề Bézout chứng minh $\mathbb{Z}$ là một PID

Đẳng thức Bézout thiết lập mối quan hệ trực tiếp:

Vì $d = \gcd(a, b)$ là ước chung của $a$ và $b$, nên mọi phần tử $xa + yb$ đều là bội của $d$. Suy ra: $$\langle a, b \rangle \subseteq \langle d \rangle.$$
Ngược lại, vì $d = ra + sb$ với $r, s \in \mathbb{Z}$, bản thân $d$ thuộc về $\langle a, b \rangle$. Do tính chất nuốt phép nhân, mọi bội số $k \cdot d$ cũng thuộc về $\langle a, b \rangle$. Suy ra: $$\langle d \rangle \subseteq \langle a, b \rangle.$$

$$\langle a, b \rangle = \langle \gcd(a, b) \rangle.$$$$\langle a_1, a_2, \dots, a_n \rangle = \langle \gcd(a_1, a_2, \dots, a_n) \rangle.$$

Điều này xác nhận rằng $\mathbb{Z}$ là một Vành I-đê-an chính (PID).

4. Ý nghĩa cấu trúc và sự mở rộng

Sự chuyển hóa từ Bổ đề Bézout sang cấu trúc PID đem lại tầm nhìn thống nhất cho đại số:

Ngôn ngữ Số học sơ cấp	Ngôn ngữ Hình học Mạng lưới	Ngôn ngữ Lý thuyết Vành (Đại số trừu tượng)
Ước chung lớn nhất $d = \gcd(a, b)$	Mắt lưới cơ sở nhỏ nhất $d_{\min}$	Phần tử sinh của i-đê-an chính $\langle d \rangle$
Tổ hợp tuyến tính nguyên $xa + yb$	Mạng lưới các điểm nguyên $\Lambda$	I-đê-an sinh bởi hai phần tử $\langle a, b \rangle$
Đẳng thức Bézout $d = ra + sb$	Bước nhảy cơ sở $d \in \Lambda$	Đẳng thức i-đê-an $\langle a, b \rangle = \langle d \rangle$

Mở rộng 1: Vành đa thức một biến $K[x]$

$$\langle f(x), g(x) \rangle = \langle \gcd(f(x), g(x)) \rangle.$$

Vành $K[x]$ cũng là một PID.

Mở rộng 2: Khi nào tính chất PID bị phá vỡ?

Khi xét vành đa thức nhiều biến như $\mathbb{C}[x, y]$, hoặc vành đa thức hệ số nguyên $\mathbb{Z}[x]$, tính chất PID không còn đúng nữa:

Trong $\mathbb{Z}[x]$, i-đê-an $I = \langle 2, x \rangle$ không thể sinh bởi một đa thức đơn lẻ nào.
Trong $\mathbb{C}[x, y]$, i-đê-an $I = \langle x, y \rangle$ (tập hợp các đa thức triệt tiêu tại gốc tọa độ $(0, 0)$) không thể sinh bởi một đa thức duy nhất.

Khi một i-đê-an không còn là i-đê-an chính, ta không thể đại diện nó bằng một phần tử $\gcd$ duy nhất. Lúc này, công cụ thay thế tổng quát trong đại số máy tính và hình học đại số chính là Cơ sở Gröbner (Gröbner basis) — hệ phần tử sinh chuẩn hóa cho các i-đê-an đa biến.

Tóm kết

Bổ đề Bézout không chỉ là một công thức nghiệm nguyên mà là bản lề phân loại cấu trúc của vành số nguyên:

Về mặt hình học: Nó khẳng định mạng lưới sinh bởi hai số nguyên trên trục số là một mạng lưới tuần hoàn với bước nhảy cơ bản là $\gcd(a, b)$.
Về mặt đại số: Nó chứng minh vành $\mathbb{Z}$ là một Vành I-đê-an chính (PID), tạo tiền đề vững chắc cho việc nghiên cứu tính duy nhất của phân tích nhân tử (UFD) và các vành thương trong đại số hiện đại.

Xem thêm các bài viết liên quan

🗺️ Bản đồ chuỗi bài viết Đại số: Từ Thứ tự tốt đến Bổ đề Bézout và Vành PID: Tổng quan lộ trình và mối liên hệ giữa các bài viết trong chuỗi.
Thuật toán Euclid mở rộng và Bổ đề Bézout: Bảng chia 4 cột ($b, a, r, q$) và phương pháp thế ngược tìm cặp hệ số Bézout.
Hai số nguyên tố cùng nhau: Chiều đảo Bổ đề Bézout và Tính đối xứng của hệ số: Đặc trưng tương đương $ar + bs = 1 \iff \gcd(a, b) = 1$ và tính nguyên tố cùng nhau của các cặp hệ số.
Nguyên lý thứ tự tốt và phép chứng minh Quy nạp Toán học: Cơ sở xác lập phần tử đáy cực tiểu của các tập con số tự nhiên.