Ideał prymarny – dla danego pierścienia przemiennego ideał o tej własności, że jeżeli oraz to istnieje taka liczba naturalna że
Przykładem ideału prymarnego jest ideał generowany przez element gdzie jest dowolną liczbą naturalną, a jest elementem pierwszym. W pierścieniu liczb całkowitych wszystkie ideały prymarne są tej postaci (elementami pierwszymi tego pierścienia są po prostu liczby pierwsze). Istnieją mimo to pierścienie, w których ideały prymarne mają także inną postać. Na przykład jeżeli jest ciałem oraz oznacza pierścień wielomianów zmiennych i to ideał generowany przez wielomiany i jest prymarny w
Jeżeli jest ideałem, to zbiór ideałów prymarnych nazywany jest rozkładem prymarnym ideału gdy [dostęp 2025-12-04].:
Własności Każdy ideał pierwszy jest prymarny. Ideał jest prymarny wtedy i tylko wtedy, gdy pierścień ilorazowy nie jest trywialny oraz każdy jego dzielnik zera jest nilpotentny. Jeżeli i są ideałami przy czym to jest prymarny w wtedy i tylko wtedy, gdy jest prymarny w Jeżeli jest ideałem maksymalnym w pierścieniu lokalnym, to
Twierdzenie Laskera-Noether Twierdzenie Laskera-Noether mówi, że każdy ideał pierścienia noetherowskiego ma rozkład prymarny.