Los elementos primos, irreducibles, etc. se definen en un dominio integral arbitrario. Un dominio integral se denomina factorial (o UFD) si cada no unidad distinta de cero es un producto de elementos primos. Esta descomposición es esencialmente única. Así que esto captura la noción de factorización única de primos en la teoría de anillos. Ahora es trivial verificar que los campos son factorial: No hay no-unidad no-cero en absoluto, por lo que no hay que comprobar nada. En particular, la respuesta a "¿Por qué no funciona la factorización entera para campos?" es: No, ¡funciona! Las respuestas hasta ahora indican que no funciona debido a la ausencia de elementos primos, pero esto no importa.