Loops (Group theory)