En matemáticas, particularmente dentro de la teoría de anillos, un ideal principal es un ideal generado por un único elemento.