一意分解整域で
①最大公約元が定義できる
②既約元は素元
ってのがわからないです…。

当たり前のようにスルーして応用の話に移ってるんですが、
分かる方いますか？