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.
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:
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.
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ử 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 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 không hữu hạn sinh. Thế thì tồn tại một dãy các phần tử thuộc sao cho . Dãy các i-đê-an 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 đề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 . Đặt . là hữu hạn sinh, nên tồn tại sao cho . Mặt khác, với mọi , , do đó . Đặt thì dãy các i-đê-an ổn định từ . 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ị).
Tập hợp các số nguyên 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 , với 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].
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à: . Có những kết quả khá thú vị như: nếu là số nguyên tố thì Z là số nguyên tố Gauss.
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ử aR. Tập các phần tử dạng n.a, là vành con của R
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 có đặc số 0, vành thương / có đặc số n.
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.