互いに素

整数

整数 m,n が互いに素
⇔ am+bn=1 なる整数 a,b がとれる。
⇔ mZ + nZ = Z

可換環RのイデアルI,J

I≠J かつ I + J = R のとき、I,J は互いに素という。