Dieser Artikel von Wikipedia ist u.U. veraltet. Die neue Version gibt es hier. Der Begriff Primideal ist eine Verallgemeinerung Begriffes Primelment.
Definition:
Sei R ein kommutativer Ring mit 1. Sei <math>\mathfrak{p} \subset R</math> Ideal in R . Man nennt <math>\mathfrak{p}</math> Primideal oder prim für alle <math>x y \in R</math> gilt: <math>xy \in \mathfrak{p}</math> folgt: <math>x \in \mathfrak{p}</math> <math>y \in \mathfrak{p}</math>.