A quasigroup that has a two-sided identity element e satisfying e * a = a * e = a for all a. A loop need not be associative, but it retains unique left and right division combined with a neutral element.

Principle

Identity plus unique solvability: adjoining an identity to a quasigroup yields a distinguished neutral element while preserving the Latin property; the structure balances solvability with potentially nonassociative multiplication.

Demonstration

Moufang loops: nonassociative loops satisfying the Moufang identities such as (a * b) * (a * c) = a * (b * (a * c)), arising in octonion multiplicative systems restricted to invertible elements.

Misapplication

Assuming a loop is associative and applying group-theoretic arguments like cancellation of parentheses or exponent laws without verifying associativity; treating all loop identities as group identities is incorrect.

Consequence

Recognizing a loop allows use of division and an identity in algebraic manipulations, construction of loop homomorphisms, and study of specialized identities (Moufang, Bol) that restore partial associativity and connect to alternative algebras.

Reversal

Removing the identity returns to a pure quasigroup where no global neutral element exists; imposing full associativity reduces the concept to a group.

Boundary

Applies to algebraic structures with a global two-sided neutral element and unique two-sided division; excludes monoids or groups only if associativity is absent, and excludes partial operations without universal solutions.

Semantic Tension

Tension between 'loop' and 'group': both have identities and inverses (via division), but a loop allows nonassociative behavior; between 'loop' and 'quasigroup' the loop adds a distinguished neutral element.

Synthesis

A loop is a quasigroup with an identity: it combines unique solvability of division with a two-sided neutral element, allowing algebraic constructions that mimic groups locally while permitting controlled nonassociativity.