



 
If you know what a group is, then you can define a loop to be a set with a binary operation that satisfies all the group properties except possibly associativity. Specifically, A LOOP is a nonempty set, call it G, together with an operation, call it *, that satisfies the following four properties:
Chris  


Math Central is supported by the University of Regina and The Pacific Institute for the Mathematical Sciences. 