¿Existen ejemplos claros de la no-asociación? bucles tal que para cada elemento a en el bucle existe $a^{-1}$ para que $a*a^{-1}=1=a^{-1}*a$ . Aún más genial sería un bucle conmutativo. Además: ¿existen bucles finitos conmutativos?
Los dos bucles moufang conmutativos no asociativos de orden 81 están disponibles en GAP como LoadPackage("loops");m1:=MoufangLoop(81,1);m2:=MoufangLoop(81,2);
No he visto una descripción concisa de ellos, pero creo que existe una.
0 votos
Sí, ¿conoces algún ejemplo de orden finito o conmutativo?
0 votos
Parece que los octoniones unitarios forman un ejemplo finito.
1 votos
Puse un montón de información sobre los inversos en los cuasi-grupos en math.stackexchange.com/questions/393453/ La mayor parte está orientada específicamente a no tener una identidad, pero aun así puede resultarte interesante.