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