Un cuasigrupo que posee un elemento identidad bilateral e tal que e * a = a * e = a para todo a. Un bucle no tiene por qué ser asociativo, pero conserva la división izquierda y derecha única junto con un elemento neutro.

Principio

Identidad más solvabilidad única: añadir una identidad a un cuasigrupo produce un elemento neutro distinguido conservando la propiedad latina; la estructura equilibra la solvabilidad con una multiplicación potencialmente no asociativa.

Demostración

Bucles de Moufang: bucles no asociativos que satisfacen identidades de Moufang como (a * b) * (a * c) = a * (b * (a * c)), que aparecen en sistemas multiplicativos de octoniones restringidos a elementos invertibles.

Aplicación incorrecta

Asumir que un bucle es asociativo y aplicar argumentos de teoría de grupos como eliminación de paréntesis o leyes de exponentes sin verificar la asociatividad; tratar todas las identidades del bucle como identidades de grupo es incorrecto.

Consecuencia

Reconocer un bucle permite usar división y una identidad en manipulaciones algebraicas, construir homomorfismos de bucles y estudiar identidades especializadas (Moufang, Bol) que restauran asociatividad parcial y conectan con álgebras alternativas.

Inversión

Quitar el elemento identidad devuelve a un cuasigrupo puro donde no existe un elemento neutro global; imponer asociatividad completa reduce el concepto a un grupo.

Límite

Se aplica a estructuras algebraicas con un elemento neutro bilateral global y división bilateral única; excluye monoides o grupos únicamente si falta asociatividad, y operaciones parciales sin soluciones universales.

Tensión semántica

Tensión entre 'bucle' y 'grupo': ambos tienen identidades e inversos (a través de la división), pero un bucle permite comportamiento no asociativo; frente al cuasigrupo, el bucle añade un elemento neutro distinguido.

Síntesis

Un bucle es un cuasigrupo con identidad: combina la solvabilidad única de la división con un elemento neutro bilateral, permitiendo construcciones algebraicas que imitan localmente a los grupos mientras permiten no asociatividad controlada.