ideał pierwszy 1

ideał właściwy pierścienia przemiennego z jedynką, dla którego z należenia do niego iloczynu dwóch danych elementów pierścienia wynika przynależność do niego choć jednego czynników, tzn. ideał I pierścienia R nazywany jest pierwszym, gdy z należenia ab ∈ I wynika, że a ∈ I lub b ∈ I (a, b ∈ R).