geometric crystal class geometric element gnomonic projection group group homomorphism group isomorphism groupoid