Primární ideál je pojem z oboru komutativní algebry. Jedná se o takový vlastní ideál komutativního okruhu , pro který platí, že pokud a , pak pro nějaké přirozené číslo .
Významná věta Laskera-Noetherové říká, že každý ideál noetherovského okruhu má primární rozklad, tedy může být vyjádřen jako průnik konečně mnoha primárních ideálů.
Příklady Každý prvoideál je zároveň primárním ideálem.
Reference
Kategorie:Teorie okruhů