Em álgebra abstracta, um domínio principal (ou domínio de ideais principais, ou DIP) é um domínio de integridade onde cada ideal é um ideal principal.