Scissors congruences, II

In general, Y(X) is the scissors congruence group of polytopes in the space X. Unless stated explicitly, the group of motions of X is understood to be the group of all isometries of X. _@ is the extended hyperbolic n-space; it is obtained by adding to the hyperbolic n-space x”’ all the ideal points lying on 65~~. The geometry of a.F is that of conformal geometry on a sphere of dimension n 1. The group 4~~) captures the scissors congruence problem in a precise manner. On the other hand, the stable scissors congruence group p(_$‘“) is more maneuverable, see Sah [19].