La teoria strutturale dei loop è pressoché analoga a quella dei gruppi.
Tuttavia, mentre i gruppi sono strutture algebriche abbastanza semplici, i loop sono strutture più complesse che includono anche la nozione di "inverso non unico". Questa differenza porta a diverse proprietà e proprietà dei loop rispetto ai