The holomorphic automorphism group of the complex disk.
The hyperbolic triangle centroid
Some gyrocommutative gyrogroups, also known as Bruck loops or K-loops, admit scalar multiplication, turning themselves into gyrovector spaces. The latter, in turn, form the setting for hyperbolic geometry just as vector spaces form the setting for Euclidean geometry. In classical mechanics the centroid of a triangle in velocity space is the velocity of the center of momentum of three massive objects with equal masses located at the triangle vertices. Employing gyrovector space techniques we find...