# 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.