Lupa (algebra)

Smyčka (z anglického  loop  - „loop“) je kvazigrupa s jednotkou, tedy s takovým prvkem , který pro jakýkoli prvek z kvazigrupy. Význam smyček v teorii kvazigrup je určen následující větou: každá kvazigrupa je izotopická k nějaké smyčce.

Smyčky jsou předmětem mnoha konceptů a výsledků teorie grup . Některé běžné vlastnosti skupin však nemusí platit pro smyčky. Je zde otevřená otázka o přenositelnosti Lagrangeovy věty o řádu podgrupy v konečné grupě pro případ konečných smyček (v případě Moufangových smyček byla otázka uzavřena v roce 2003 - odpověď zní ano) .

Literatura