トピック: Loops (Group theory)