在抽象代数中，欧几里得整环（Euclidean domain）是一种能作辗转相除法的整环。凡欧几里得整环必为主理想环。