geometric crystal class geometric element gnomonic projection Goldschmidt tolerance factor group group homomorphism group isomorphism groupoid