Bucle (matemática)
# Bucle (matemática)

En matemáticas, un bucle o lazo es una estructura algebraica consistente en un conjunto dotado de una ley de composición interna con elemento neutro y donde todo elemento tiene elementos simétricos a izquierda y a derecha. Un bucle es, pues, un magma con divisibilidad y elemento neutro.

En otras palabras, un bucle es un par $(Q,\star )$ dado por un conjunto $Q$ con un producto binario interno $\star$ que satisface las siguientes propiedades:

* Existe $e\in Q$ tal que $\ x\star e=e\star x=x$ para todo $x\in Q$ (elemento neutro). Nótese que el elemento neutro es único y bilátero.
* Para todo par de elementos $a,b\in Q$ existen únicos $x,y\in Q$ tales que $x\star a=b=a\star y$. Suelen denotarse mediante $x=b\ /\ a$ y $y=a\setminus b$.

En consecuencia, para cualquier elemento existen elementos inversos a izquierda y a derecha, y estos son únicos, aunque el inverso a izquierda no tiene por qué coincidir con el inverso a derecha. Un bucle que es asociativo es un grupo (y en este caso particular, los inversos a izquierda coinciden con los inversos a derecha).

