En álgebra abstracta, un anillo no trivial "R" es un anillo primo si para dos elementos cualesquiera "a" y "b" de "R", tales que "arb = 0" para todo "r" in "R", entonces "a = 0" o "b = 0".