Prvoideál (teorie okruhů)

Prvoideálem v okruhu ${\displaystyle R}$ je každý takový vlastní ideál ${\displaystyle {\mathfrak {p}}\subseteq R}$, že pro libovolné dva ideály ${\displaystyle {\mathfrak {a}},{\mathfrak {b}}\subseteq R}$ splňující ${\displaystyle {\mathfrak {ab}}\subseteq {\mathfrak {p}}}$ (tedy jejichž součin je podmnožinou ${\displaystyle {\mathfrak {p}}}$) platí buď ${\displaystyle {\mathfrak {a}}\subseteq {\mathfrak {p}}}$ nebo ${\displaystyle {\mathfrak {b}}\subseteq {\mathfrak {p}}}$.

Jedná se o analogii prvočísel, u kterých lze obdobně vyslovit: Přirozené číslo ${\displaystyle p}$ je prvočíslem právě tehdy, pokud pro jakákoliv dvě přirozená čísla ${\displaystyle a,b}$ platí, že pokud ${\displaystyle p}$ dělí ${\displaystyle ab}$, pak buď ${\displaystyle p}$ dělí ${\displaystyle a}$ nebo ${\displaystyle p}$ dělí ${\displaystyle b}$.