Left quotient of elements
From Groupprops
This article describes an operation defined on the elements in a group
Definition
Definition with symbols
Given elements and
of a group
the left quotient of
by
is defined as the element
.