Primární ideál

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 .[1]

Významná věta Laskera-Noetherové říká, že každý ideál noetherovského okruhuprimá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

  1. HORA, Jaroslav. Nejen o větě Laskera-Noetherové o rozkladu ideálu. Učitel matematiky. Jednota českých matematiků a fyziků, únor 2000, roč. 8, čís. 2, s. 70. ISSN 1210-9037.