The reduced norm is multiplicative and the reduced trace is additive.
2.
Thus, traces of group elements ( and hence also translation lengths of hyperbolic elements acting in the upper half-plane, as well as systoles of Fuchsian subgroups ) can be calculated by means of the reduced trace in the quaternion algebra, and the formula