Aozora Gakuen 分かり易いよね
http://aozoragakuen.さくら.ne.jp/suuron/node50.html　（さくらがＮＧなので検索たのむ）
Aozora Gakuen ユークリッド整域
抜粋
(2) {Z}には元a$について大きさ| a | が定義されていて，任意のa(≠0), bについて

b=qa+r　0≦ r<| a |

となる元q, rが一意に存在する．

環Rには，その要素aに対して大きさといわれる0以上の実数が定まり， (1)と(2)の両方が成り立つなら， その環Rをユークリッド整域，あるいはユークリッド環という．
大きさを絶対値とすることで，整数環はユークリッド整域である． 整数環は除法のできる整域である．