Definition:Algebra Loop
From ProofWiki
Definition
An algebra loop $\left({S, \circ}\right)$ is a quasigroup with an identity element.
That is:
- $\exists e \in S: \forall x \in S: x \circ e = x = e \circ x$.
Also known as
Some sources refer to an algebra loop as just a loop.
Sources
- Seth Warner: Modern Algebra (1965)... (previous)... (next): Exercise $7.8$
