Lupp (algebra)

En loop (från den engelska  loopen  - "loop") är en kvasigrupp med en enhet, det vill säga med ett sådant element som för vilket element som helst från kvasigruppen. Betydelsen av slingor i teorin om kvasigrupper bestäms av följande sats: varje kvasigrupp är isotop för någon slinga.

Slingor är föremål för många begrepp och resultat av gruppteori . Det kan dock hända att vissa gemensamma egenskaper hos grupper inte håller för loopar. Det finns en öppen fråga om portabiliteten av Lagranges teorem i storleksordningen av en undergrupp i en ändlig grupp till fallet med ändliga slingor (i fallet med Moufang-slingor , frågan stängdes 2003 - svaret är ja) .

Litteratur