Em teoria dos anéis, um domínio de integridade D {\displaystyle D} é de fatoração única ou fatorial se: ∀ a ∈ D {\displaystyle \forall a\in D}, se a ∉ D ∗ {\displaystyle a\notin D^{*}} e a ≠ 0 {\displaystyle a\not =0} temos que ∃ c i ∈ D {\displaystyle \exists c_{i}\in D} irredutíveis ∀ i ∈ I n {\displaystyle \forall i\in I_{n}} tal que a = ∏ i = 1 n c i {\displaystyle a=\prod _{i=1}^{n}c_{i}}. Wikipedia