symmetric monoidal (∞,1)-category of spectra
A non-associative group, or an invertible loop. Nonassociative is used in the sense of not-necessarily associative, in the same sense that a nonassociative algebra is not-necessarily associative.
A nonassociative group or invertible loop is a loop with a unary operation called the inverse such that
for all .
A nonassociative group or invertible loop is a unital magma with a unary operation called the inverse such that
for all .
Every non-associative group is a loop with a two-sided inverse.
group (associative version)
loop (non-invertible version)
invertible quasigroup (non-unital version)
commutative loop (commutative version)
Last revised on May 25, 2021 at 14:35:40. See the history of this page for a list of all contributions to it.