Et ideal er primisk hvis og bare hvis / er et integritetsområde, og maksimalt hvis og bare hvis / er en kropp.