Right quotient of elements
From Groupprops
Definition
Definition with symbols
Given elements and
of a group
, the right quotient of
by
is defined as the element
.
Given elements and
of a group
, the right quotient of
by
is defined as the element
.