Un dominio de ideales principales (DIP) es un dominio de integridad en el que todo ideal es principal (está generado por un solo elemento).