De hecho, cuando ampliamos de enteros positivos a todos los enteros, tenemos que lidiar con el hecho de que esto introduce un elemento unitario (invertible) no trivial $\,-1,$ que puede estropear la unicidad de las factorizaciones primarias (hasta el orden), ya que, por ejemplo $\,pq = (-p)(-q)\,$ por $\,(-1)(-1) = 1.$ De forma similar para los polinomios con coeficientes racionales. Aquí cada número racional no nulo $\,r\,$ es una unidad (invertible) $\ r r^{-1} = 1,\,$ así que $\,p(x) q(x) = (r p(x)) (r^{-1} q(x)).\,$ Hay varias formas de remediarlo.
En primer lugar, del conjunto de todos los múltiplos unitarios de un primo, podríamos elegir algún representante "natural" y llamar primo sólo a ese elemento. Para los números enteros, una elección natural es el representante positivo, y para los polinomios uno que sea monic (coeficiente principal $= 1).$ Estos representantes se denominan a veces unidad normalizada representantes.
Alternativamente, podemos permitir que todos los múltiplos unitarios sean primos, y entonces alterar nuestro enunciado de singularidad de las factorizaciones primarias para decir: las factorizaciones primarias son únicas hasta el orden y los múltiplos unitarios.
Si estudias álgebra abstracta aprenderás que hay una forma algebraica natural de "ignorar" estas molestas unidades no triviales al estudiar la factorización. A saber, como las unidades forman un grupo $\,U,\,$ podemos modifcar por $\,U.\,$ Esta es la forma algebraica de trabajar multiplicativamente "hasta los múltiplos unitarios".