So relativistic addition does not form a group, but it is similar to a group except that the gyr operator appears in the associativity and commutativity expressions, so it was named a gyrogroup.
So relativistic addition does not form a group. It is similar to a group. The gyr operator appears in the associativity and commutativity expressions. It was named a gyrogroup.