has isometry group

URI: https://gptkb.org/prop/has_isometry_group
3 triples
GPTKB property
Random triples
Subject Object
gptkb:complex_hyperbolic_space PU(n,1)
gptkb:Hyperbolic_space SO(n,1)
gptkb:H^2_×_R_geometry Isom(H^2) × Isom(R)