A Moufang loop is a quasigroup with an identity element that satisfies the Moufang identities, which are specific algebraic properties that generalize associativity. These loops are named after Ruth Moufang, who discovered their connection to non-associative algebraic structures and their applications in geometry and group theory.