Ideal primario: en un anillo conmutativo unitario, un ideal "I" es primario si y solo si para todo "a" y "b" tales que formula_41 , si formula_42 entonces existe un entero natural "n" tal que formula_43.