互いに素
互いに素 (集合論)
2つの多項式が「互いに素である」とは、両者をともに割り切るような多項式が存在しないこと、つまり、それぞれの多項式の因数分解で共通の因数が現れないことである。
2つのイデアルが「互いに素である」とは、そのイデアルの和が環全体となることである。