Bổ đề Euclid: Cầu nối giữa Bổ đề Bézout và Tính duy nhất của Phân tích Nguyên tố
Trong các phép toán số học, quan hệ chia hết không tự động “phân phối” qua phép nhân: nếu một số chia hết một tích $bc$, ta hoàn toàn không thể kết luận rằng nó phải chia hết $b$ hoặc chia hết $c$. Chẳng hạn, $6 \mid (4 \cdot 9) = 36$, nhưng $6 \nmid 4$ và $6 \nmid 9$.
Tuy nhiên, khi bổ sung điều kiện nguyên tố cùng nhau ($\gcd(a, b) = 1$), rào cản trên được gỡ bỏ hoàn toàn. Mệnh đề này được gọi là Bổ đề Euclid (Euclid’s Lemma) — một trong những kết quả căn bản và quyền lực nhất của Lý thuyết số, đóng vai trò bản lề để chứng minh Định lý Cơ bản của Số học.
Đề bài
Cho $a, b, c \in \mathbb{Z}$. Chứng minh rằng:
$$\text{Nếu } \gcd(a, b) = 1 \text{ và } a \mid bc, \text{ thì } a \mid c.$$1. Chứng minh bằng Bổ đề Bézout (Cách tiếp cận đại số trực tiếp)
Phương pháp kinh điển và thanh lịch nhất để chứng minh Bổ đề Euclid là biến điều kiện nguyên tố cùng nhau thành một đẳng thức đại số chủ động nhờ Bổ đề Bézout.
Bước 1: Thiết lập Đẳng thức Bézout
$$ar + bs = 1.$$Bước 2: Nhân cả hai vế với $c$
$$c = c \cdot 1 = c(ar + bs) = a(cr) + (bc)s.$$Bước 3: Đánh giá tính chia hết
Ta phân tích từng số hạng trong tổng ở vế phải:
- Số hạng thứ nhất: $a(cr)$ hiển nhiên chia hết cho $a$ vì chứa thừa số $a$ (với $cr \in \mathbb{Z}$).
- Số hạng thứ hai: $(bc)s$. Theo giả thiết, $a \mid bc$, nghĩa là tồn tại số nguyên $k \in \mathbb{Z}$ sao cho $bc = ka$. Thay vào số hạng này, ta được: $$(bc)s = (ka)s = a(ks).$$ Biểu thức này hiển nhiên chia hết cho $a$ vì $ks \in \mathbb{Z}$.
Chứng minh hoàn tất!
Điểm mấu chốt của phép biến đổi:
Thay vì bất lực đứng nhìn quan hệ chia hết thụ động $a \mid bc$, đẳng thức Bézout $ar + bs = 1$ cho phép ta biểu diễn số $c$ thành tổ hợp tuyến tính của hai đại lượng đều chia hết cho $a$: bản thân số $a$ và tích $bc$. Toàn bộ “áp lực chia hết” không thể giải tỏa ở $b$ (vì $\gcd(a, b) = 1$) buộc phải dồn toàn phần sang $c$.
2. Chứng minh bằng Bội chung nhỏ nhất (BCNN)
Một cách tiếp cận khác rất đẹp mắt là sử dụng định nghĩa chuẩn tắc và tính chất của Bội chung nhỏ nhất đã được khảo sát trong hai bài viết Đẳng thức $d \cdot m = ab$ và Sự tồn tại và Tính duy nhất của BCNN.
-
Xét đại lượng $bc$:
- Rõ ràng $b \mid bc$.
- Theo giả thiết, $a \mid bc$.
- Như vậy, tích $bc$ là một bội chung của $a$ và $b$.
- $$\operatorname{lcm}(a, b) \mid bc.$$
- $$\gcd(a, b) \cdot \operatorname{lcm}(a, b) = |ab|.$$$$\operatorname{lcm}(a, b) = |ab|.$$
- $$|ab| \mid bc \implies ab \mid bc.$$$$a \mid c.$$
3. Hệ quả quan trọng: Bản chất của Số nguyên tố
Dạng phát biểu quen thuộc nhất của Bổ đề Euclid trong sách giáo khoa chính là trường hợp $a = p$ là một số nguyên tố:
Định lý (Bổ đề Euclid cho số nguyên tố):
Cho $p$ là một số nguyên tố. Nếu $p \mid bc$, thì $p \mid b$ hoặc $p \mid c$.
Chứng minh:
Vì $p$ là số nguyên tố, ước chung duy nhất của $p$ và $b$ chỉ có thể là $1$ hoặc $p$:
- Nếu $p \mid b$, mệnh đề được thỏa mãn ngay lập tức.
- Nếu $p \nmid b$, thì bắt buộc $\gcd(p, b) = 1$. Khi đó, áp dụng trực tiếp Bổ đề Euclid tổng quát ở trên với $a = p$, ta suy ra ngay $p \mid c$.
Chính tính chất này là chìa khóa duy nhất bảo đảm tính duy nhất của việc phân tích một số nguyên thành các thừa số nguyên tố (Định lý Cơ bản của Số học).
4. Tầm nhìn mở rộng: Từ $\mathbb{Z}$ đến Miền nguyên tổng quát
Trong đại số trừu tượng, Bổ đề Euclid là ranh giới phân biệt giữa hai khái niệm nền tảng trên một miền nguyên (Integral Domain) $R$:
- Phần tử bất khả quy (Irreducible element): Phần tử $x \in R$ không thể phân tích thành tích của hai phần tử không khả nghịch.
- Phần tử nguyên tố (Prime element): Phần tử $p \in R$ thỏa mãn tính chất Euclid: nếu $p \mid ab$ thì $p \mid a$ hoặc $p \mid b$.
| Miền nguyên $R$ | Quan hệ giữa Bất khả quy và Nguyên tố | Bổ đề Euclid có đúng không? |
|---|---|---|
| Vành số nguyên $\mathbb{Z}$ | Bất khả quy $\iff$ Nguyên tố | Có (nhờ Bổ đề Bézout) |
| Vành PID (Vành I-đê-an chính) | Bất khả quy $\iff$ Nguyên tố | Có (mọi i-đê-an đều đơn sinh) |
| Vành UFD (Miền phân tích duy nhất) | Bất khả quy $\iff$ Nguyên tố | Có (phân tích nguyên tố duy nhất) |
| Vành tổng quát (ví dụ $\mathbb{Z}[\sqrt{-5}]$) | Bất khả quy $\nRightarrow$ Nguyên tố | Không (phân tích không duy nhất) |
Phản ví dụ kinh điển trong $\mathbb{Z}[\sqrt{-5}]$
$$6 = 2 \cdot 3 = (1 + \sqrt{-5})(1 - \sqrt{-5}).$$$$2 \mid (1 + \sqrt{-5})(1 - \sqrt{-5}),$$nhưng $2$ không chia hết $1 + \sqrt{-5}$ và cũng không chia hết $1 - \sqrt{-5}$!
Như vậy, số $2$ là phần tử bất khả quy nhưng không phải là phần tử nguyên tố. Lý do sâu xa là vì trong vành $\mathbb{Z}[\sqrt{-5}]$, Bổ đề Bézout bị phá vỡ: $\gcd(2, 1 + \sqrt{-5})$ không thể biểu diễn dưới dạng tổ hợp tuyến tính trong vành, khiến Bổ đề Euclid không còn hiệu lực.
Xem thêm các bài viết liên quan
- Thuật toán Euclid mở rộng và Bổ đề Bézout — Nguồn gốc của đẳng thức tổ hợp tuyến tính $ar + bs = 1$.
- 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 $\gcd(a, b) = 1 \iff \exists r, s: ar + bs = 1$.
- Mối quan hệ giữa ƯCLN và BCNN: Đẳng thức $d \cdot m = ab$ và Tiêu chuẩn nguyên tố cùng nhau — Ứng dụng Bổ đề Euclid để chứng minh đẳng thức $d \cdot m = ab$.
- Sự tồn tại và Tính duy nhất của Bội chung nhỏ nhất (BCNN) — Định nghĩa chuẩn tắc qua quan hệ chia hết và cấu trúc i-đê-an giao.
- 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) — Cấu trúc đại số trừu tượng bảo đảm tính chất nguyên tố.
- Bản đồ chuỗi bài viết Đại số: Từ Thứ tự tốt đến Bổ đề Bézout và Vành PID — Toàn cảnh bức tranh kết nối giữa các bài viết.