El proceso de expresar un elemento algebraico (entero, polinomio o elemento de un anillo) como producto de factores irreducibles o primos dentro de un dominio que admite tales descomposiciones; enfatiza la existencia de la factorización y el papel de las unidades y los asociados.

Principio

Los elementos se reducen a constituyentes irreducibles según la estructura multiplicativa; en dominios con factorización única estos constituyentes son únicos salvo orden y multiplicación por unidades, y la factorización reduce cuestiones multiplicativas a la combinatoria de primos o irreducibles.

Demostración

Ejemplo entero: 60 = 2^2 · 3 · 5 expresa 60 como producto de factores primos. Ejemplo polinómico sobre un cuerpo: x^2 - 1 = (x - 1)(x + 1), expresando el polinomio como producto de irreducibles de menor grado.

Aplicación incorrecta

Suponer que todo anillo conmutativo admite factorización en irreducibles o que la factorización es única en dominios no UFD; por ejemplo, tratar anillos no atómicos como si existieran factores primos únicos conduce a conclusiones erróneas sobre divisibilidad.

Consecuencia

La factorización correcta permite calcular mcd, probar irreducibilidad, clasificar ideales en contextos principales o de factorización única y reducir muchos problemas estructurales a afirmaciones combinatorias sobre irreducibles.

Inversión

Ensamblar elementos a partir de irreducibles en vez de descomponer: dada una multiconjunto de primos o irreducibles, formar el elemento (producto) y estudiar cómo surgen propiedades globales a partir de elecciones locales de factores.

Límite

Se aplica en anillos y dominios donde están definidas las nociones de irreducible y primo y donde se cumplen condiciones de existencia (atomicidad) o de unicidad (dominio de factorización única/PID); excluye anillos no conmutativos sin teoría aceptada de irreducibles y descomposiciones multiplicativas infinitas.

Tensión semántica

A menudo se confunde con otras descomposiciones (descomposición primaria, factorización de ideales o diagonalización de matrices); la tensión proviene de la diferencia entre ‘factorización’ como división multiplicativa y ‘descomposición’ como división aditiva/ideal-teórica.

Síntesis

La factorización es el proceso multiplicativo que representa un elemento como producto de bloques irreducibles en un dominio que admite esa descomposición; su potencia estructural deriva de la existencia y, cuando procede, de la unicidad salvo unidades y asociados.