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 .