O Teorema Fundamental da Aritmética e o Teorema da Fatoração para Polinômios são resultados parecidos no sentido que os dois afirmam que os objetos em e em podem ser escritos unicamente como produtos de “indecomponíveis”. Os “indecomponíveis” em são os primos, enquanto os “indecomponíveis” em são os polinômios irredutíveis. Nós queremos generalizar esta observação para uma classe maior de estruturas algébricas.
Lembre que o conceito de elemento irredutível (ou redutível) foi definido na página Polinômios Irredutíveis.
Definição 35.1 Um domínio é dito domínio de fatoração única (ou DFU) se todo elemento tal que não é invertível pode ser escrito como onde os são irredutíveis e esta fatoração é única no seguinte sentido. Se tais que os e os são irredutíveis, então e os fatores podem ser reindexados em tal modo que vale com invertível para todo
Exemplo 35.1 Para entender melhor a interpretação da unicidade na definição anterior, considere por exemplo . O polinômio pode ser escrito de várias maneiras como produto de irredutíveis: Em todas estas fatorações, um dos fatores é enquanto o outro é onde ; ou seja são elemento invertíveis em . É fácil verificar usando os resultados estudados que todas as fatorações de em fatores irredutíveis são na forma ou onde (e )
Exemplo 35.2 Se é um corpo, então ele é DFU pois não possui elementos não invertíveis. Então a condição na definição de DFU é trivialmente válida para .
Pelo Teorema Fundamental da Aritmética, é DFU. Pelo Teorema da Fatoração para Polinômios, é DFU sempre que é um corpo.
O seguinte teorema é útil para construir domínios de fatoração única, mas a demonstração não será apresentada nesta disciplina.
Teorema 35.1 Se é DFU, então é DFU
Exemplo 35.3 O teorema anterior implica que é DFU. Para um anel , o conjunto de polinômios em duas variáveis pode ser visto como o anel de polinômios na variável sobre o anel dos polinômios na variável . Similarmente, nós podemos olhar em recursivamente como o anel . Logo, o teorema anterior implica que se é um DFU, então é DFU para todo . Em particular, é DFU e, se é um corpo, também é DFU
Exemplo 35.4 O domínio mais conhecido que não é DFU é . Neste domínio, podemos fatorar o elemento como Pode-se verificar que os fatores nas duas descomposições são irredutíveis, mas os fatores na segunda decomposição não são múltiplos dos fatores na primeira decomposição por elementos invertíveis, pois os únicos invertíveis em são e