Quotient loop
From Groupprops
Definition
Suppose is an algebra loop and
is a normal subloop of
. The quotient loop
is defined as the following algebra loop:
- The set of elements of
is the set of left cosets of
, i.e., subsets of the form
, with
.
- The multiplication is defined by
. That this is well-defined follows from the definition of normal subloop.