Евкли́дово кольцо́, область целостности с единицей такая, что всякому её элементу $a$, отличному от нуля, поставлено в соответствие неотрицательное целое число $n(a)$, причём выполняется следующее требование: для любых двух элементов $a, b$, если $b \neq 0$, можно так подобрать элементы $q$ и $r$, что

$$a=b q+r,$$причём или $r=0$, или $n(r)<n(b)$.

Всякое евклидово кольцо является кольцом главных идеалов и, следовательно, факториальным кольцом, однако существуют кольца главных идеалов, не являющиеся евклидовыми. K числу евклидовых колец принадлежат кольцо целых чисел [роль $n(a)$ в нём играет абсолютная величина $|a|$], а также кольцо многочленов от одного переменного над полем [$n(a)$ – степень многочлена]. Во всяком евклидовом кольце для разыскания наибольшего общего делителя двух элементов можно применять алгоритм Eвклида.