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 , .Nguyễn Thị Như Quỳnh (2017), Định nghĩa 1.9

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:Rogers, Kenneth (1971), "The Axioms for Euclidean Domains", American Mathematical Monthly, 78 (10): 1127–1128, doi:10.2307/2316324, JSTOR 2316324, Zbl 0227.13007



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 .Fraleigh & Katz (1967), p. 377, Example 1 
 , 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.

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