Ley que afirma que para un elemento dado a en un conjunto con identidad e existe un elemento b (llamado inverso de a) tal que a·b = b·a = e; suele referirse a inversos bilaterales aunque en contextos más débiles se consideran inversos unilaterales.

Principio

Solubilidad y deshacer: un inverso proporciona una acción reversible para la operación, haciendo posibles la resolución de ecuaciones y la cancelación cuando existe la identidad.

Demostración

En el grupo de los números reales no nulos bajo multiplicación, cada a ≠ 0 tiene inverso 1/a porque a·(1/a) = (1/a)·a = 1; en grupos aditivos el inverso de a es −a ya que a + (−a) = 0.

Aplicación incorrecta

Asumir que todos los elementos son invertibles en estructuras que carecen de unidad (por ejemplo tratar a cero como invertible multiplicativamente) o confundir inverso izquierdo con inverso bilateral en contextos no unitarios.

Consecuencia

Si cada elemento tiene inverso y existe identidad, la estructura es un grupo; los inversos permiten resolver ecuaciones, efectuar divisiones y construir cocientes por unidades.

Inversión

No invertibilidad: existencia de elementos no invertibles o divisores de cero donde no existe inverso bilateral; tales elementos impiden la división y obligan a métodos alternativos como la localización o restringirse a las unidades.

Límite

Se aplica respecto a una identidad y operación concretas; los inversos bilaterales son únicos, pero pueden no existir; nociones más débiles incluyen inversos izquierdos o derechos y pseudo-inversos en álgebra lineal.

Tensión semántica

Invertibilidad vs cancelabilidad: los elementos invertibles son cancelables, pero un elemento puede ser cancelable sin ser invertible (por ejemplo en ciertos semigrupos), por lo que las nociones están relacionadas pero no son idénticas.

Síntesis

La ley de inversos garantiza elementos reversibles que anulan la operación respecto a la identidad; cuando se cumple produce grupos y permite división, y cuando falta obliga a recurrir a otras técnicas algebraicas.