Ideal principal: es un ideal generado por "un único" elemento.