Sia A un dominio fattoriale. Dimostrare che $U(A)=U(A[x])$.
E' evidente che $U(A)$ è contenuto in $U(A[x])$.
Dimostriamo ora l'altra inclusione. Sia $f(x)\inA[x]$: se ha grado 0 questo polinomio appartiene ad $A$ (è una costante non nulla). Se ha grado strettamente maggiore di 0, $f(x)$ non è invertibile: se infatti per assurdo esistesse $g(x)\inA[x]$ inverso di $f(x)$ allora avremmo prodotti di elementi di $A$ non nulli che danno come risultato 0, escluso.
Pertanto gli unici elementi invertibili di $A[x]$ sono tutti e soli gli invertibili di $A$.
Questa proposizione non vale se $A$ non è un dominio (è facile trovare un controesempio in $ZZ_4[x]$.
Spero che questa dimostrazione sia corretta, attendo il vostro responso