El anillo íntegro K, cuyos ideales son todos principales se llama anillo de ideales principales.