Domínio principal
Origem: Wikipédia, a enciclopédia livre.
Em álgebra abstrata, um domínio principal (ou domínio de ideais principais, ou DIP) é um domínio de integridade onde cada ideal é um ideal principal.
Exemplos são o anel dos inteiros, todos os corpo, e os anéis de polinômios com coeficientes em um corpo. Todos os domínios euclidianos são domínios principais (mas o inverso não é verdadeiro).
[editar] Propriedades
Em um domínio principal dois elementos quaisquer têm máximo divisor comum e quase sempre têm mais de um. Além disso, todo domínio principal é um domínio de fatoração única.
