Un quasigroupe muni d'un élément neutre bilatéral e vérifiant e * a = a * e = a pour tout a. Une boucle n'est pas nécessairement associative, mais conserve la division gauche et droite unique combinée à un élément neutre.

Principe

Identité plus solvabilité unique : l'adjonction d'une identité à un quasigroupe fournit un élément neutre distingué tout en préservant la propriété latine ; la structure équilibre solvabilité et multiplication éventuellement non associative.

Démonstration

Boucles de Moufang : boucles non associatives satisfaisant les identités de Moufang telles que (a * b) * (a * c) = a * (b * (a * c)), apparaissant dans les systèmes multiplicatifs d'octonions restreints aux éléments inversibles.

Mauvaise application

Supposer qu'une boucle est associative et appliquer des arguments de théorie des groupes comme la suppression de parenthèses ou les lois d'exponentiation sans vérifier l'associativité ; traiter toutes les identités de boucle comme des identités de groupe est erroné.

Conséquence

Reconnaître une boucle permet d'utiliser la division et une identité dans les manipulations algébriques, de construire des homomorphismes de boucles, et d'étudier des identités spécialisées (Moufang, Bol) qui restaurent une associativité partielle et relient aux algèbres alternatives.

Inversion

Retirer l'élément neutre ramène à un quasigroupe pur où aucun élément neutre global n'existe ; imposer l'associativité complète réduit le concept à un groupe.

Limite

S'applique aux structures algébriques avec un élément neutre bilatéral global et une division bilatérale unique ; exclut les monoïdes ou groupes uniquement si l'associativité est absente, et exclut les opérations partielles sans solutions universelles.

Tension sémantique

Tension entre « boucle » et « groupe » : tous deux ont des identités et des inverses (via la division), mais une boucle autorise un comportement non associatif ; entre « boucle » et « quasigroupe » la boucle ajoute un élément neutre distingué.

Synthèse

Une boucle est un quasigroupe pourvu d'une identité : elle combine la solvabilité unique de la division avec un élément neutre bilatéral, permettant des constructions algébriques qui imitent localement les groupes tout en autorisant une non-associativité contrôlée.