Vành Euclid

Trong toán học, cụ thể hơn là trong đại số giao hoán, một vành Euclid là một miền nguyên cùng với một hàm Euclid cho phép thực hiện phép chia có dư.

Định nghĩa 
Một vành Euclid là một vành R cùng với một hàm f (được gọi là hàm Euclid) xác định trên R\{0} vào tập các số nguyên không âm thỏa mãn hai điều kiện sau

 (E1) Nếu  và  thuộc  và  khác không, thì tồn tại  và  trong  sao cho  với  hoặc .
 (E2) Với mọi cặp  và  khác 0 trong , .

Tuy nhiên, người ta có thể chỉ ra rằng (E1) là đủ để xác định vành Euclid, vì bất kỳ miền  nào cùng với một hàm  thỏa mãn (E1) cũng có thể được trang bị một hàm  thỏa mãn (E1) và (E2). Thật vậy, với  }, ta định nghĩa  như sau:

 

Từ đó, ta có thể thực hiện phép chia. q được gọi là thương và r được gọi là số dư. Lưu ý rằng một vành có thể có nhiều hàm Euclid; và một hàm Euclid có thể cho nhiều kết quả thương và số dư khả dĩ.

Hàm được gắn với vành Euclid còn được gọi là hàm bậc, hàm định chuẩn, chuẩn, định chuẩn, bậc, hàm gauge,...

Ví dụ 
Ví dụ về các vành Euclid bao gồm:

 Mọi trường đều là vành Euclid. Xác định  cho tất cả các số  khác không. 
 , vành các số nguyên. Xác định , giá trị tuyệt đối của . 
 , vành các số nguyên Gauss. Xác định , chuẩn của số nguyên Gauss .

Ghi chú

Xem thêm

Tham khảo 

 John B. Fraleigh, Victor J. Katz. Một khóa học đầu tiên trong đại số trừu tượng. Công ty xuất bản Addison-Wesley. 5 ed., 1967.  Mã số   0-201-53467-3
 Nguyễn Thị Như Quỳnh, 2017, Vành chính, vành Euclid và ứng dụng, Khóa luận tốt nghiệp đại học
 Pierre Samuel, "Giới thiệu về các vành Euclide", Tạp chí Đại số 19 (1971) 282-301.

Đại số giao hoán
Các thuộc tính vành