Đại số

Đại số giao hoán

Nghiên cứu các vành giao hoán, cung cấp nền tảng đại số cho hình học đại số.

Trực giácHình dạng là nghiệm, hàm số là tọa độ

Một vành giao hoán $R$ là một tập hợp với phép cộng và phép nhân thỏa các quy tắc thông thường, trong đó $ab=ba$ với mọi $a,b \in R$ — vành đa thức $k[x_1,\ldots,x_n]$ trên một trường $k$ là ví dụ tiêu biểu nhất, vì một đa thức đúng là một công thức giống hàm số để tính ra một số từ tọa độ $(x_1,\ldots,x_n)$ . Đại số giao hoán nghiên cứu các vành như vậy qua các ideal của chúng: tập con $I \subseteq R$ đóng kín với phép cộng và hấp thụ phép nhân ( $r \in R,\ a \in I \implies ra \in I$ ). Về mặt hình học, một ideal $J \subseteq k[x_1,\ldots,x_n]$ đặt tên cho một hình dạng $V(J)$ — tập nghiệm chung của mọi đa thức trong $J$ — nên các câu hỏi đại số về ideal chuyển thành các câu hỏi hình học về hình dạng, và ngược lại. Mạng lưới bên dưới minh họa các ideal nguyên tố của một vành nhỏ được sắp theo bao hàm, phản ánh cách các điểm, đường cong, và toàn bộ không gian lồng vào nhau về mặt hình học.

Các nút biểu diễn ideal nguyên tố của một vành nhỏ, các cạnh chỉ từ một ideal nguyên tố nhỏ hơn lên một ideal nguyên tố chứa nó — thứ tự bao hàm này chính là sự lồng nhau hình học của một điểm bên trong một đường cong bên trong toàn bộ không gian.

Phổ thôngTừ tính chia hết trong số nguyên tới ideal trong mọi vành

Định nghĩa: Ideal nguyên tố và ideal tối đại

Trong $\mathbb{Z}$ , các bội của $n$ lập thành ideal $(n)$ , và $(n)$ nguyên tố đúng khi $n$ là số nguyên tố — tính chia hết của số nguyên chính là thứ tự bao hàm của các ideal này. Trong một vành giao hoán $R$ tổng quát, một ideal thực sự $\mathfrak{p} \subsetneq R$ là nguyên tố nếu $ab \in \mathfrak{p}$ buộc $a \in \mathfrak{p}$ hoặc $b \in \mathfrak{p}$ , và một ideal thực sự $\mathfrak{m} \subsetneq R$ là tối đại nếu không có ideal nào nằm thực sự giữa $\mathfrak{m}$ và $R$ .

\mathfrak{p} \subsetneq R \text{ is prime} \iff \big(ab \in \mathfrak{p} \implies a \in \mathfrak{p} \text{ or } b \in \mathfrak{p}\big)

Chẳng hạn, trong $\mathbb{Z}$ ideal $(6)$ không nguyên tố, vì $2 \cdot 3 \in (6)$ nhưng cả $2$ lẫn $3$ đều không nằm trong $(6)$ ; nhưng $(2)$ và $(3)$ đều nguyên tố, và thực ra tối đại, vì $\mathbb{Z}/(p)$ là một trường đúng khi $p$ nguyên tố. Sự tương đương này tổng quát: $\mathfrak{p}$ nguyên tố đúng khi vành thương $R/\mathfrak{p}$ là một miền nguyên, và $\mathfrak{m}$ tối đại đúng khi $R/\mathfrak{m}$ là một trường — mọi ideal tối đại tự động nguyên tố, vì mọi trường đều là miền nguyên.

Ideal nguyên tố so với ideal tối đại
Tính chất	Ideal nguyên tố $\mathfrak{p}$	Ideal tối đại $\mathfrak{m}$
Vành thương	$R/\mathfrak{p}$ là một miền nguyên	$R/\mathfrak{m}$ là một trường
Ví dụ trong $\mathbb{Z}$	$(0)$ hoặc $(p)$ với $p$ nguyên tố	$(p)$ với $p$ nguyên tố
Bức tranh hình học trong $k[x_1,\ldots,x_n]$	đa tạp con bất khả quy $V(\mathfrak{p})$	một điểm duy nhất (khi $k$ đóng đại số)

Đại họcTính hữu hạn và số chiều: vành Noether và chiều Krull

Định nghĩa: Vành Noether

Một vành $R$ được gọi là Noether nếu mọi ideal của $R$ đều sinh hữu hạn, tương đương với mọi dây chuyền tăng các ideal đều dừng lại (điều kiện dây chuyền tăng, ACC): không tồn tại dãy vô hạn các ideal tăng thực sự. Được đặt theo tên Emmy Noether, điều kiện hữu hạn duy nhất này chính là thứ làm cho đại số giao hoán khả thi cả về tính toán lẫn cấu trúc.

I_1 \subseteq I_2 \subseteq I_3 \subseteq \cdots \implies \exists\, N,\ I_N = I_{N+1} = I_{N+2} = \cdots

Định lý: Định lý cơ sở Hilbert

Nếu $R$ là một vành Noether, thì vành đa thức $R[x]$ cũng Noether. Do đó $k[x_1,\ldots,x_n]$ Noether với mọi trường $k$ , nên mọi ideal $J \subseteq k[x_1,\ldots,x_n]$ đều sinh bởi hữu hạn đa thức.

Vì sao đúng?

Thoạt nhìn một hệ vô hạn phương trình đa thức có thể xác định một hình dạng mà không hệ hữu hạn nào làm được — định lý Hilbert nói điều đó không bao giờ xảy ra: mọi đa tạp đại số đều được cắt ra bởi hữu hạn phương trình. Đây chính là điều làm cho tính toán ký hiệu (cơ sở Gröbner, khử biến) và hình học đại số (đa tạp như dữ liệu hữu hạn) trở nên khả thi.

Chứng minh

Bước 1 (ideal hệ số dẫn đầu). Cho $I \subseteq R[x]$ là một ideal. Với mỗi bậc $n \ge 0$ , gọi $L_n$ là tập các hệ số dẫn đầu của các phần tử bậc $n$ trong $I$ , cùng với $0$ . Nhân một đa thức bậc $n$ với $x$ cho thấy $L_n \subseteq L_{n+1}$ , và mỗi $L_n$ là một ideal của $R$ (tính đóng với phép cộng và hấp thụ bội của $R$ suy trực tiếp từ việc $I$ là một ideal).

Bước 2 (dùng tính Noether của $R$ hai lần). Dây chuyền $L_0 \subseteq L_1 \subseteq L_2 \subseteq \cdots$ dừng tại một $L_N$ nào đó theo ACC. Vì $R$ Noether, mỗi $L_0,\ldots,L_N$ sinh hữu hạn; chọn hữu hạn phần tử sinh của mỗi $L_n$ ( $n=0,\ldots,N$ ) và, với mỗi phần tử sinh, một đa thức $f_{n,i} \in I$ bậc $n$ đạt phần tử sinh đó làm hệ số dẫn đầu. Điều này cho một danh sách hữu hạn duy nhất $\{f_{n,i}\}$ .

Bước 3 (rút gọn bằng quy nạp theo bậc). Ta khẳng định $I$ sinh bởi danh sách hữu hạn này. Lấy bất kỳ $f \in I$ bậc $d$ ; ta quy nạp theo $d$ . Nếu $d \le N$ , hệ số dẫn đầu của $f$ nằm trong $L_d$ , nên nó là tổ hợp $R$ của các hệ số dẫn đầu của $f_{d,i}$ ; trừ đi tổ hợp $R$ tương ứng của $f_{d,i}$ khỏi $f$ triệt tiêu số hạng bậc $d$ , tạo ra một phần tử của $I$ có bậc nhỏ hơn thực sự, và ta quy nạp tiếp. Nếu $d > N$ , hệ số dẫn đầu của $f$ nằm trong $L_d = L_N$ , nên nó là tổ hợp $R$ của các hệ số dẫn đầu của $f_{N,i}$ ; trừ đi tổ hợp tương ứng của $x^{\,d-N} f_{N,i}$ lại triệt tiêu số hạng dẫn đầu và hạ bậc thực sự.

Bước 4 (kết luận). Lặp lại Bước 3 cuối cùng cho đa thức không, nên $f$ là tổ hợp $R[x]$ của danh sách hữu hạn $\{f_{n,i}\}$ . Vậy mọi ideal của $R[x]$ sinh hữu hạn, tức $R[x]$ Noether. Áp dụng điều này quy nạp $n$ lần bắt đầu từ vành Noether $k$ cho thấy $k[x_1,\ldots,x_n] = k[x_1][x_2]\cdots[x_n]$ Noether.

Định nghĩa: Địa phương hóa $S^{-1}R$

Cho một tập con nhân tính $S \subseteq R$ (chứa $1$ , đóng với tích, không chứa không), địa phương hóa $S^{-1}R$ thêm hình thức nghịch đảo của mọi phần tử của $S$ , đúng như cách dựng $\mathbb{Q}$ từ $\mathbb{Z}$ bằng cách nghịch đảo mọi số nguyên khác không. Địa phương hóa $R$ tại phần bù của một ideal nguyên tố $\mathfrak{p}$ cho vành địa phương $R_\mathfrak{p}$ , một vành có duy nhất một ideal tối đại — tương tự đại số của việc phóng to vào một điểm duy nhất của một hình dạng hình học.

S^{-1}R = \left\{ \dfrac{a}{s} : a \in R,\ s \in S \right\}, \qquad \dfrac{a}{s} = \dfrac{a'}{s'} \iff \exists\, u \in S,\ u(as' - a's) = 0

Định nghĩa: Chiều Krull

Chiều Krull $\dim R$ của một vành $R$ là chặn trên đúng của độ dài một dây chuyền tăng thực sự các ideal nguyên tố. Với $k[x_1,\ldots,x_n]$ trên trường $k$ , $\dim k[x_1,\ldots,x_n] = n$ , khớp với trực giác hình học rằng không gian afin $n$ chiều có $n$ chiều; tổng quát hơn định lý ideal chính của Krull nói rằng thêm một phương trình đa thức vào một vành Noether làm số chiều giảm nhiều nhất $1$ .

\dim R = \sup\big\{\, n : \mathfrak{p}_0 \subsetneq \mathfrak{p}_1 \subsetneq \cdots \subsetneq \mathfrak{p}_n,\ \mathfrak{p}_i \text{ prime} \,\big\}

Định lý: Định lý không điểm Hilbert

Cho $k$ là một trường đóng đại số và $J \subseteq k[x_1,\ldots,x_n]$ là một ideal. Viết $I(V(J))$ là ideal gồm mọi đa thức triệt tiêu trên $V(J)$ và $\sqrt{J} = \{ f : f^m \in J \text{ for some } m \ge 1\}$ là căn của $J$ , định lý không điểm dạng mạnh phát biểu $I(V(J)) = \sqrt{J}$ . Đặc biệt, khi $J$ đã là một ideal căn ( $J = \sqrt{J}$ ), đẳng thức này sắp xếp lại thành $\sqrt{I(V(J))} = J$ .

Vì sao đúng?

Đây là mục từ điển chính xác dịch qua lại giữa đại số và hình học: nó nói ideal các hàm triệt tiêu trên một hình dạng khôi phục đúng bằng căn của ideal đã cắt ra hình dạng đó, không mất thông tin nào ngoài bội số. Tính đóng đại số là thiết yếu — trên $\mathbb{R}$ , ideal $(x^2+1) \subseteq \mathbb{R}[x]$ thực sự nhưng $V((x^2+1)) = \emptyset$ , nên $I(V((x^2+1))) = \mathbb{R}[x] \ne \sqrt{(x^2+1)}$ , và từ điển này sụp đổ.

Chứng minh

Bước 1 (định lý không điểm dạng yếu, dùng làm đầu vào). Vì $k$ đóng đại số, mọi ideal tối đại của $k[x_1,\ldots,x_n]$ có dạng $(x_1-a_1,\ldots,x_n-a_n)$ với một điểm $(a_1,\ldots,a_n) \in k^n$ ; điều này chứng minh qua Bổ đề Zariski (một trường sinh hữu hạn như một đại số trên $k$ là một mở rộng trường hữu hạn của $k$ , do đó bằng $k$ vì $k$ đóng đại số). Do đó, nếu $J \ne (1)$ thì $J$ nằm trong một ideal tối đại nào đó, nên $V(J) \ne \emptyset$ .

Bước 2 (bao hàm dễ, $\sqrt{J} \subseteq I(V(J))$ ). Nếu $f^m \in J$ với $m$ nào đó, thì $f^m$ triệt tiêu tại mọi điểm của $V(J)$ , buộc chính $f$ cũng triệt tiêu ở đó (tích các phần tử trường bằng $0$ chỉ khi một thừa số bằng $0$ ), nên $f \in I(V(J))$ .

Bước 3 (thủ thuật Rabinowitsch cho bao hàm ngược). Cho $f \in I(V(J))$ . Đưa vào một biến mới $y$ và lập $J' = J + (1 - yf) \subseteq k[x_1,\ldots,x_n,y]$ . Bất kỳ điểm nào của $V(J')$ đều phải nằm trong $V(J)$ (để thỏa các phần tử sinh của $J$ ) đồng thời thỏa $1-yf=0$ ; nhưng $f$ triệt tiêu trên toàn $V(J)$ , làm $1-yf=1$ ở đó, không bao giờ bằng $0$ . Do đó $V(J') = \emptyset$ , nên theo Bước 1 (phản đảo), $J' = (1)$ : tồn tại các đa thức với $1 = h(x,y)(1-yf) + \sum_i g_i(x,y) J_i(x)$ với $J_i$ là các phần tử sinh của $J$ .

Bước 4 (khử mẫu số). Thay $y = 1/f$ hình thức vào đẳng thức này (làm việc trong $k[x_1,\ldots,x_n][1/f]$ ) — số hạng với $h$ triệt tiêu vì $1-yf$ trở thành $0$ , còn lại $1 = \sum_i g_i(x,1/f) J_i(x)$ . Nhân cả hai vế với lũy thừa đủ cao $f^m$ để khử mọi mẫu số $f$ do $g_i$ tạo ra, cho $f^m = \sum_i \tilde g_i(x) J_i(x) \in J$ với các đa thức $\tilde g_i$ , tức $f \in \sqrt{J}$ . Kết hợp với Bước 2, $I(V(J)) = \sqrt{J}$ , và lấy căn hai vế khi $J=\sqrt J$ cho hệ quả đã nêu $\sqrt{I(V(J))} = J$ .

Đại họcỨng dụng thực tiễn và Ví dụ minh họa

Đại số giao hoán là động cơ tính toán đằng sau việc giải hệ phương trình đa thức: robot học dùng cơ sở Gröbner (được đảm bảo tồn tại và dừng lại nhờ Định lý cơ sở Hilbert) để giải chính xác phương trình động học ngược; mã sửa lỗi dùng trong vệ tinh và hệ thống lưu trữ chính là các ideal của một vành thương; và các hệ thống mật mã và kiểm chứng dùng Định lý không điểm để quyết định một hệ ràng buộc đa thức có nghiệm hay không.

Ví dụ: Động học tay máy robot và tính sinh hữu hạn

Một tay máy robot phẳng hai khớp có vị trí đầu công tác $x = \cos\theta_1 + \cos(\theta_1+\theta_2)$ , $y = \sin\theta_1 + \sin(\theta_1+\theta_2)$ . Đưa vào $c_i = \cos\theta_i$ , $s_i = \sin\theta_i$ biến hệ lượng giác này thành một hệ đa thức theo $c_1,s_1,c_2,s_2,x,y$ bằng cách thêm $c_i^2+s_i^2=1$ và các công thức cộng cho $\cos(\theta_1+\theta_2)$ , $\sin(\theta_1+\theta_2)$ . Giải thích vì sao Định lý cơ sở Hilbert đảm bảo rằng bất kỳ thủ tục khử biến nào (giải các góc khớp theo mục tiêu cho trước $(x,y)$ ) đều đảm bảo dừng lại.

Lời giải

Bước 1: xác định ideal. Bốn quan hệ đa thức sinh ra một ideal $J$ trong $k[c_1,s_1,c_2,s_2,x,y]$ (với $k=\mathbb{R}$ ), và giải động học ngược tương đương với tính ideal khử $J \cap k[x,y,c_1,s_1]$ — khử $c_2,s_2$ — bằng thuật toán cơ sở Gröbner như thuật toán Buchberger.

Bước 2: vì sao tính dừng không hiển nhiên nói chung. Thuật toán Buchberger liên tục thay các phần tử sinh bằng các tổ hợp mới (đa thức S), về nguyên tắc có thể liên tục đưa ra số hạng dẫn đầu mới mãi mãi, giống như một phép tìm kiếm ngây thơ trên vô hạn đa thức có thể không bao giờ dừng.

Bước 3: áp dụng Định lý cơ sở Hilbert. Vì $k[c_1,s_1,c_2,s_2,x,y]$ Noether (Định lý cơ sở Hilbert, áp dụng cho $6$ biến), dây chuyền tăng các "ideal số hạng dẫn đầu" sinh ra trong quá trình thuật toán phải dừng sau hữu hạn bước — đây chính là ACC được định lý đảm bảo. Do đó thuật toán Buchberger được đảm bảo dừng lại với một cơ sở Gröbner hữu hạn.

Bước 4: kết luận. Khi đã tìm được cơ sở Gröbner hữu hạn cho ideal khử, các góc khớp giải động học cho $(x,y)$ cho trước có thể tìm ra bằng cách giải một đa thức một biến trong hữu hạn bước — tính sinh hữu hạn chính là thứ biến một phép tìm kiếm vô hạn tiên nghiệm thành một thuật toán hữu hạn, cài đặt được.

Ví dụ: Mã sửa lỗi cyclic như các ideal

Một mã cyclic độ dài $n$ trên trường hữu hạn $\mathbb{F}_q$ , theo định nghĩa, là một ideal của vành thương $\mathbb{F}_q[x]/(x^n-1)$ . Vì $\mathbb{F}_q[x]$ là một miền ideal chính, mọi ideal của $\mathbb{F}_q[x]/(x^n-1)$ đều sinh bởi một đa thức duy nhất $g(x)$ chia hết $x^n-1$ . Với $q=2$ , $n=7$ , phân tích $x^7-1 = (x-1)(x^3+x+1)(x^3+x^2+1)$ trên $\mathbb{F}_2$ và mô tả mã sinh bởi $g(x)=x^3+x+1$ .

Lời giải

Bước 1: kiểm tra phân tích. Kiểm tra trực tiếp trên $\mathbb{F}_2$ rằng $(x-1)(x^3+x+1)(x^3+x^2+1) = x^7-1$ (dùng $x-1=x+1$ và $-1=1$ trong đặc số $2$ ), nên $\mathbb{F}_2[x]/(x^7-1)$ phân tích theo ba nhân tử bất khả quy này.

Bước 2: ideal sinh bởi $g(x)$ . Ideal $(g(x)) \subseteq \mathbb{F}_2[x]/(x^7-1)$ sinh bởi $g(x)=x^3+x+1$ gồm mọi bội của $g(x)$ theo môđun $x^7-1$ ; như một mã, các từ mã của nó là vectơ hệ số của $g(x)\cdot m(x)$ với đa thức thông điệp $m(x)$ bậc $< 7-3=4$ , cho một mã $[7,4]$ — đây chính là mã Hamming(7,4) cổ điển.

Bước 3: vì sao cấu trúc ideal quan trọng. Vì $g(x) \mid x^7-1$ , nhân bất kỳ từ mã nào với $x$ (dịch vòng các hệ số) vẫn nằm trong ideal, tức mã đóng kín với dịch vòng — tính đóng này tự động đúng chính vì ideal hấp thụ phép nhân với mọi phần tử vành, kể cả $x$ .

Bước 4: kết luận. Sự kiện đại số giao hoán "ideal của $\mathbb{F}_q[x]/(x^n-1)$ tương ứng với ước của $x^n-1$ " chính là định lý phân loại cho mã cyclic: chọn một đa thức sinh $g(x) \mid x^n-1$ bậc $n-k$ cho mọi mã cyclic $[n,k]$ , biến một bài toán thiết kế trong lý thuyết mã thành một bài toán phân tích thừa số trong đại số giao hoán.

Lỗi hay gặp. Một lỗi thường gặp là áp dụng Định lý không điểm trên

\mathbb{R}

hoặc

\mathbb{Q}

: định lý cần

k

đóng đại số, và thất bại nặng nề nếu không — ideal thực sự

(x^2+1) \subseteq \mathbb{R}[x]

có

V((x^2+1)) = \emptyset

trong

\mathbb{R}^1

, nên

I(V((x^2+1)))

là toàn bộ vành, chứ không phải

\sqrt{(x^2+1)}

. Một nhầm lẫn thường gặp thứ hai là đánh đồng phần tử nguyên tố và phần tử bất khả quy: một phần tử

p

bất khả quy nếu nó không thể phân tích thành hai phần tử không khả nghịch, còn

p

nguyên tố nếu

(p)

là một ideal nguyên tố; hai khái niệm này trùng nhau trong một miền phân tích duy nhất như

k[x_1,\ldots,x_n]

, nhưng có thể khác nhau trong vành giao hoán tổng quát, nơi phần tử bất khả quy không nhất thiết sinh ra ideal nguyên tố.

Ghi chú lịch sử

Bài báo năm 1890 của David Hilbert về lý thuyết bất biến chứng minh cả Định lý cơ sở lẫn (qua một lập luận hữu hạn liên quan) đặt nền móng sau này được mài sắc thành Định lý không điểm (1893) — những kết quả phi kiến thiết đến mức Paul Gordan được cho là đã gọi chúng là "thần học, không phải toán học." Ba thập kỷ sau, bài báo năm 1921 Idealtheorie in Ringbereichen của Emmy Noether trừu tượng hóa hoàn toàn các ý tưởng này khỏi vành đa thức, tách riêng điều kiện dây chuyền tăng làm tính chất định nghĩa nay gọi là "Noether," và xây dựng khung tiên đề mà sau này Alexander Grothendieck mở rộng thành lý thuyết lược đồ vào thập niên 1960.

David Hilbert Emmy Noether

Hiện trạng nghiên cứu tính đến năm 2026

Giả thuyết hạng tử trực tiếp, do Melvin Hochster đặt ra năm 1973 (chính Hochster chứng minh khi vành chứa một trường), hỏi liệu một vành chính quy $R$ có luôn là một hạng tử trực tiếp, như một $R$ -môđun, của bất kỳ vành mở rộng hữu hạn môđun nào. Trường hợp đặc số hỗn hợp kháng cự chứng minh suốt hơn bốn thập kỷ cho tới bài báo năm 2018 La conjecture du facteur direct của Yves André, nhập khẩu lý thuyết không gian perfectoid của Peter Scholze cùng một "bổ đề Abhyankar perfectoid" mới để giải quyết hoàn toàn; cùng vòng ý tưởng đó tạo ra sự tồn tại của các đại số Cohen–Macaulay lớn trong đặc số hỗn hợp, giải quyết đồng thời một số giả thuyết đồng điều lâu đời khác. Các hướng hoạt động hiện nay gồm mở rộng kỹ thuật perfectoid và prismatic (Bhatt–Scholze) sang các câu hỏi đặc số hỗn hợp khác, và đơn giản hóa lập luận vốn phức tạp của André thành dạng dễ dùng hơn cho các nhà đại số giao hoán.

Điều kiện nào định nghĩa một ideal nguyên tố $\mathfrak{p} \subsetneq R$ trong một vành giao hoán $R$ ?

Ideal $(6) \subseteq \mathbb{Z}$ có phải là ideal nguyên tố không?

Một hệ thống kiểm chứng mô hình hóa một tập ràng buộc đa thức trên $\mathbb{C}$ như một ideal $J \subseteq \mathbb{C}[x_1,\ldots,x_n]$ . Theo định lý không điểm dạng yếu, $V(J) = \emptyset$ (các ràng buộc đồng thời không thỏa mãn được) đúng khi:

Chiều Krull của vành đa thức $k[x,y]$ trên trường $k$ là bao nhiêu?

Tài liệu tham khảo

David Eisenbud (1995). Commutative Algebra: with a View Toward Algebraic Geometry
M. F. Atiyah, I. G. Macdonald (1969). Introduction to Commutative Algebra
Yves André (2018). La conjecture du facteur direct · arXiv:1609.00345
Melvin Hochster (1973). Contracted ideals from integral extensions of regular rings