Trong toán học, vành là một trong những cấu trúc đại số cơ bản. Nhiều đối tượng toán học có thể được xem xét như là vành, ví dụ như vành các hàm số liên tục trên một không gian, vành các đa thức một ẩn với hệ số thực, vành các ma trận với hệ số thực, vân vân. Vành có nhiều thuộc tính hơn là nhóm, nhưng lại ít thuộc tính hơn trường, nên nó có một vị trí cân bằng đặc biệt giữa các ngành của toán học.

Một vành có thể là giao hoán hoặc không giao hoán, tùy thuộc xem phép nhân của nó có tính giao hoán hay không. Các vành giao hoán có một vị trí đặc biệt trong lý thuyết số và hình học đại số. Ngành nghiên cứu về các vành giao hoán và các i-đê-an trên vành giao hoán được gọi là đại số giao hoán.

Các vành (không giao hoán) là những đối tượng nghiên cứu quan trọng trong đại số trừu tượng.

Định nghĩa

Một tập hợp khác rỗng R được gọi là vành nếu trên đó có hai luật hợp thành trong R mà ta ký hiệu là "+" (phép cộng) và "×" (phép nhân) thoả mãn các điều kiện sau:

R là một nhóm giao hoán đối với phép cộng, nghĩa là:

Phép cộng có tính kết hợp: $\backslash forall\; x,y,z\; \backslash in\; R:(x+y)+z=x+(y+z)\; \backslash ,$

Phép cộng có phần tử trung hòa, nghĩa là $\backslash exists\; 0\; \backslash in\; R,\; \backslash forall\; x\; \backslash in\; R$: $0+x=x+0\; =\; x\; \backslash ,$

Mọi phần tử của R có phần tử nghịch đảo: $\backslash forall\; x,\; \backslash exists\; x\text{'}:\; x+x\text{'}=x\text{'}+x=\; 0$

Phép cộng có tính giao hoán, nghĩa là: $\backslash forall\; x,y\; \backslash in\; R:\; x+y=y+x$

Phép nhân có tính phân phối với phép cộng, nghĩa là

$\backslash forall\; x,y,z\; \backslash in\; R:\; x.(y+z)=x.y+x.z$ (phân phối phải)

$\backslash forall\; x,y,z\; \backslash in\; R:\; (x+\; y).z=x.z+y.z$ (phân phối trái)

Phép nhân có tính kết hợp, nghĩa là $\backslash forall\; x,y,z\; \backslash in\; R:\; (x.y).z=x.(y.z)\; \backslash ,$

Phép nhân có phần tử đơn vị, nghĩa là $\backslash exists\; 1\; \backslash in\; R,\; \backslash forall\; x\; \backslash in\; R:\; 1.x=x.1=x\; \backslash ,$

Tuy nhiên, có trường phái khác, định nghĩa một vành không có điều kiện phép nhân phải có phần tử đơn vị. Trong trường phái này, vành có phần tử đơn vị được gọi là vành có đơn vị.

Nhiều trường phái cho rằng vành không cần tính chất phần tử đơn vị và không cần tính chất kết hợp trong phép nhân. Thí dụ, các loại vành Lie được gọi là vành nhưng phép nhân không có tính chất kết hợp. Người theo trường phái này dùng chữ vành kết hợp để gọi một vành trong đó phép nhân có tính kết hợp và để phân biệt giữa hai vành kết hợp và vành không kết hợp.

Một số loại vành đặc biệt

• Vành giao hoán là vành R trong đó phép nhân có tính chất giao hoán.
• Vành trong đó phép nhân có phần tử đơn vị được gọi là vành có đơn vị.
• Nếu trong vành R tồn tại hai phần tử $a\backslash ne\; 0,b\backslash ne\; 0$ sao cho ab = 0 thì các phần tử a, b được gọi là ước của 0 hay nói cách khác $0\; \backslash \; \backslash vdots\; \backslash \; a,\; \backslash \; 0\; \backslash \; \backslash vdots\; \backslash \; b.$ Vành giao hoán, có đơn vị, không có ước của 0 được gọi là vành nguyên hay miền nguyên.
• Miền nguyên X gọi là vành chính nếu mọi ideal của nó đều là được sinh từ một phần tử (tức là mọi ideal của nó đều là ideal chính).
• Miền nguyên A gọi là vành Euclid nếu có ánh xạ f: Ā→N (với Ā là tập các phần tử khác 0 của A) thoả mãn tính chất sau: Nếu b là ước của a và a ≠ 0 thì f(b) ≤ f(a). Với a, b là hai phần tử tuỳ ý của A và b ≠ 0 thì tồn tại duy nhất cặp phần tử q, r của A sao cho a = bq + r và f(b) ≥ f(r) nếu r ≠ 0. Có ví dụ như mọi vành đa thức là vành Ơclit. *Vành Noether: Vành giao hoán có đơn vị được gọi là vành Noether nếu mọi ideal của nó đều là hữu hạn sinh, tức là tồn tại một tập sinh hữu hạn phần tử. **Định lý - Một vành là Noether khi và chỉ khi nó thỏa mãn điều kiện dãy tăng. **Chứng minh - Giả sử một vành A thỏa mãn điều kiện dãy tăng. Giả sử tồn tại một i-đê-an $I$ không hữu hạn sinh. Thế thì tồn tại một dãy các phần tử $(x$i){i\in\mathbb{N thuộc $I$ sao cho $x\_\{n+1\}\backslash notin\; (x\_1,\backslash dots,x\_n)$. Dãy các i-đê-an $(x\_1)\backslash subset\; (x\_1,x\_2)\backslash subset\backslash dots$ là một dãy tăng ngặt các i-đê-an không ổn định, vô lý. Vậy mọi i-đê-an của $A$ đều hữu hạn sinh. * Ngược lại, giả sử vành mọi i-đê-an trong vành A đều là hữu hạn sinh. Xét một dãy tăng các i-đê-an $I\_1\backslash subset\; I$2\subset\dots. Đặt $I=\backslash cup${i\in\mathbb{NI_i. $I$ là hữu hạn sinh, nên tồn tại $x\_1,\backslash dots,x\_n$ sao cho $I=(x\_1,\backslash dots,x\_n)$. Mặt khác, với mọi $j$, $x$j\in \cup{i\in\mathbb{NI_i, do đó $\backslash exist\; m\_j:x$j\in I{m_j}. Đặt $m=\backslash max\{m\_1,\backslash dots,m\_n\}$ thì dãy các i-đê-an ổn định từ $I\_m$. Do đó A thỏa mãn điều kiện dãy tăng. Vành Gauss hay vành nhân tử hoá là một miền nguyên A mà mọi phần tử khác không và không khả nghịch đều được phân tích một cách duy nhất thành tích của hữu hạn phần tử bất khả quy nếu không tính đến thứ tự của các phần tử (duy nhất xê xích một hoán vị).

Ví dụ

• Tập hợp các số nguyên $\backslash mathbb\; \{Z\}$ với phép cộng và nhân thông thường là một vành.
• Tập các ma trận vuông cùng cấp n với phép cộng và nhân ma trận là một vành.
• Tập các đa thức với hệ số trên trường số thực là một vành.
• Tập các số dạng $a+\; b.\backslash sqrt\; \{3\}$, với $a,b\; \backslash in\; \backslash mathbb\; \{Z\}$ là một vành.
• Vành số nguyên với phép toán cộng và nhân thông thường là vành Euclid, vành chính,và vành Gauss.
• Các vành chính, vành Euclid, vành đa thức trên một trường K là các vành Gauss. Một số nguyên Gauss (hay số nguyên phức) là một số phức mà các phần thực và phần ảo của nó là các số nguyên. Các số nguyên Gauss, với phép toán cộng và phép toán nhân các số phức tạo thành một vành, gọi là vành số nguyên Gauss, thường ký hiệu là Z[i]. Các số nguyên Gauss như các điểm mắt lưới trên mặt phẳng phức. Trong vành số nguyên Gauss, ta cũng có thể xây dựng các khái niệm tương tự như trong vành số nguyên như: chia hết, số nguyên tố Gauss, đồng dư,... Khái niệm đóng vai trò quan trọng đối với các số nguyên Gauss là chuẩn của số nguyên Gauss được định nghĩa là: $|a+b.i|=a^2+b^2$. Có những kết quả khá thú vị như: nếu $|Z|$ là số nguyên tố thì Z là số nguyên tố Gauss.

Vành con

Định nghĩa

Tập con A của vành R được gọi là vành con của R nếu chính A là một vành với hai phép toán cộng và nhân trên R (bao gồm cả tính đóng của hai phép toán này trên A.

• Các vành con đặc biệt: Tập gồm một phần tử {0}, và chính R là vành con của R Cho phần tử a $\backslash in$ R. Tập các phần tử dạng n.a, $n\; \backslash in\; \backslash mathbb\; Z$ là vành con của R

Các điều kiện tương đương

Cho R là một vành, tập con A $\backslash subset$ R. Các mệnh đề sau là tương đương:

A là vành con của R;

$\backslash forall$ x,y $\backslash in$ A, x ± y $\backslash in$ A, x.y $\backslash in$ A, -x và -y $\backslash in$ A.

Giao của các vành con

Giao của họ bất kỳ các vành con của R là vành con của R

I-đê-an (Ideal)

Các khái niệm

• Vành con A của vành R được gọi là ideal trái (hoặc phải) của R nếu $x.a\; \backslash in\; A$ (hoặc $a.x\; \backslash in\; A$) $\backslash forall\; a\; \backslash in\; A,\; x\; \backslash in\; R$.
• Vành con A vừa là ideal trái, vừa là ideal phải của R được gọi là ideal của R.
• Giao của họ bất kỳ các ideal của R là ideal của R.
• Cho tập con $X\; \backslash subset\; R$. Ideal nhỏ nhất của R chứa X được gọi là ideal sinh bởi X.
• Giả sử A là vành giao hoán có đơn vị,một ideal X$\backslash subset$A gọi là ideal tối đại nếu có ideal của A chứa X thì ideal đó hoặc là X hoặc là A.
• Ideal P của A gọi là ideal nguyên tố nếu và chỉ nếu tích uv thuộc P thì u$\backslash in$P hoặc v$\backslash in$P.
• Mọi ideal là vành con, ngược lại chưa chắc đúng.

Một số kết quả

• Nếu R là vành giao hoán, có đơn vị thì iđean sinh bởi tập con của R:

::{a₁,a₂,...,a_k}

là tập hợp các phần tử dạng:

::a₁.x₁+a₂.x₂+...+a_k.x_k trong đó x₁,x₂,...,x_k $\backslash in$ R

• Nếu R là vành có đơn vị của R và A là ideal của R chứa đơn vị thì A=R.
• Tập ℕ, ℤ và các tập con của nó đều không phải là các ideal của tập số thực.

Vành thương

• Cho A là một ideal của vành R và phần tử x$\backslash in$ R.Tập con của R gồm các phần tử dạng x+a với mọi a$\backslash in$ A được gọi là một lớp kề của A theo x.
• Ký hiệu R/A là tập hợp tất cả các lớp kề của A với mọi x$\backslash in$ R: :$R/A=\{x+A\; |\; x\; \backslash in\; R\}$ :được gọi là tập thương của R theo A.
• Trên tập thương R/A có thể xác định hai phép toán cộng và nhân như sau: (x+A)+(y+A)=(x+y)+A (x+A).(y+A)=(x.y)+A Khi đó có thể chứng minh R/A là một vành, vành này được gọi là vành thương của R theo A.
• Ví dụ: Cho n là số nguyên dương. Tập $n.\backslash mathbb\; Z$ là ideal của $\backslash mathbb\; Z$. Vành thương $\backslash mathbb\; Z$/$n.\backslash mathbb\; Z$ chính là vành các lớp đồng dư theo môđun n.
• giả sử X là một vành giao hoán có đơn vị và A là một ideal của X khi đó

  X/A là miền nguyên khi và chỉ khi A là ideal nguyên tố.

  X/A là trường khi và chỉ khi Α là ideal tối đại.

Đồng cấu vành

Khái niệm

• Cho R và R'** là hai vành. Ánh xạ **f: R_ $\backslash to$ R'' được gọi là đồng cấu vành nếu f bảo toàn hai phép toán cộng và nhân trong R, nghĩa là với mọi a,b $\backslash in$ _R'':

  f(a + b) =f(a) + f(b)

  f(a.b) = f(a).f(b)

• Nếu đồng cấu f là đơn ánh (hoặc toàn ánh) thì tương ứng f được gọi là đơn cấu vành(hoặc toàn cấu vành).
• Nếu đồng cấu f là song ánh thì f được gọi là đẳng cấu vành.
• Nếu R'=R thì f được gọi là tự đồng cấu của vành R.
• Nếu có đồng cấu (hoặc đẳng cấu)f từ vành R đến vành _R_thì R được gọi là đồng cấu (hoặc đẳng cấu) với R.

  Ví dụ

• Ánh xạ không f: $R\; \backslash to\; R\text{'}$ cho f(x) = 0 với mọi x$\backslash in$R là đồng cấu vành.
• Ánh xạ đồng nhất của R là một tự đồng cấu của R.
• Cho A là vành con của R. Ánh xạ nhúng j: A $\backslash to$ R cho j(a)=a với mọi a$\backslash in$A là một đơn cấu vành. Nó được gọi là đơn cấu chính tắc từ A vào R.
• Cho A là ideal của R. Ánh xạ h: R $\backslash to$ R/A cho h(x)=x+A là một toàn cấu, nó được gọi là toàn cấu chính tắc.
• Tích (ánh xạ) của hai đồng cấu là đồng cấu. Tích (ánh xạ) của hai đẳng cấu là đẳng cấu.

Ảnh và hạt nhân của đồng cấu

• Khái niệm ** Cho đồng cấu vành f: R $\backslash to$ R'.

::Tập con của R gồm các phần tử của R có ảnh là phần tử không của R' được gọi là hạt nhân của đồng cấu f, ký hiệu là Ker(f) :::: Ker(f)={x $\backslash in$ R| f(x)=0} Tập f(R) được gọi là ảnh của đồng cấu f, ký hiệu là Im**(f).

• Tính chất

  Ker(f) là ideal của R và Im(f) là vành con của R'.

  Đồng cấu f là đơn cấu khi và chỉ khi Ker(f)={0}

  Với mọi đồng cấu f:R $\backslash to$ R', Im(f) đẳng cấu với vành thương R/_Ker(_f'').

Phạm trù các vành

Vành cùng với đồng cấu vành tạo thành phạm trù các vành, được ký hiệu là Ring (từ "vành" trong tiếng Anh). Ring là một phạm trù lớn, cụ thể.

Phạm trù các vành giao hoán được ký hiệu là CRing. CRing tương đương với phạm trù các lược đồ a-phin.

Đặc số của vành

• Cho vành có đơn vị R. Nếu tồn tại số nguyên dương m sao cho m.1 = 0 thì số m nhỏ nhất có tính chất đó được gọi là đặc số của R. Nếu không tồn tại m như vậy R được gọi là có đặc số 0.
• Ví dụ: Vành số nguyên $\backslash mathbb\; Z$ có đặc số 0, vành thương $\backslash mathbb\; Z$/$n.\backslash mathbb\; Z$ có đặc số n.

Sơ lược về lịch sử nghiên cứu vành đại số

Những người góp công lớn trong việc nghiên cứu vành đại số và ideal là các nhà toán học Đức mà đại diện là: E. Kummer (1810-1893); R. Dedekin (1831-1936) và đặc biệt là nhà toán học nữ E. Noether (1882-1935). Khi chứng minh bài toán Fermat lớn, E. Kummer đã sử dụng phương pháp xuống thang trên tập số nguyên nhưng mọi cố gắng đều thất bại. Để khắc phục ông đã xét bài toán trong lớp vành thực sự chứa Z. Trên lớp vành này ông phải làm việc với các số ideal là mầm mống của khái niệm ideal sau này.người đưa khái niệm ideal là Dedekin và người có công lớn trong việc phát triển lý thuyết vành và ideal trừu tượng là E. Noether.