Cualquier ideal I de R divide a un ideal principal que a su vez se escribe como producto de ideales primos y principales (se tiene que  es primo si y solo si r lo es).