Con esta definición, dos ideales principales ("a") y ("b") en el anillo de los números enteros Z son primos entre sí, si y solo si, "a" y "b" son primos entre sí.