Un elemento de un monoide multiplicativo con identidad que no posee inverso multiplicativo; equivalentemente, un elemento de un anillo con unidad que no es una unidad.

Principio

Las unidades forman el grupo de elementos invertibles; los no unitarios son su complemento y señalan la falla de resolubilidad por multiplicación. El estatus de no unitario controla la generación de ideales y el comportamiento bajo localización.

Demostración

En el anillo de enteros Z, los elementos 2 y 3 son no unitarios porque solo ±1 son invertibles; en Z/6Z la clase 2 es no unitaria, mientras que 5 es unidad puesto que 5·5 ≡ 1 (mod 6).

Aplicación incorrecta

Confundir no unitario con divisor de cero o asumir que todo no unitario es divisor de cero; por ejemplo, en dominios enteros todo no unitario no nulo no es divisor de cero, por lo que las nociones son distintas.

Consecuencia

Identificar no unitarios es esencial para la teoría de factorización, para decidir qué elementos generan ideales propios y para seleccionar conjuntos multiplicativos en la localización; los no unitarios impiden cancelaciones basadas en invertibilidad.

Inversión

La clase contraria son las unidades: elementos con inverso multiplicativo que forman un grupo. Convertir un no unitario en unidad requiere adjuntar inversos (localización) o ampliar el anillo ambiente.

Límite

La noción presupone una identidad multiplicativa; en anillos no unitarios (rngs) el término no es aplicable o debe adaptarse. En anillos con divisores de cero la invertibilidad puede ser sutil (inversos unilaterales), por lo que hay que verificar lateralidad y conmutatividad.

Tensión semántica

No unitario se sitúa junto a «divisor de cero», «transformación lineal no invertible» (vista matricial) y «elemento no nulo» — debe distinguirse la falta de invertibilidad de la aniquilación y de otras connotaciones.

Síntesis

Un no unitario es simplemente un elemento multiplicativo sin inverso; reconocer los no unitarios aclara qué manipulaciones algebraicas (cancelaciones, divisiones, localizaciones) son legítimas en el entorno algebraico dado.