the decomposition $gamma=bh$ of a group $gamma$ into a subset $b$ and a subgroup $h$ of $gamma$ induces, under general conditions, a group-like structure for $b$, known as a gyrogroup. the famous concrete realization of a gyrogroup, which motivated the emergence of gyrogroups into the mainstream, is the space of all relativistically admissible velocities along with a binary operation given by t...
