isSimpleLieGroupFor

URI: https://gptkb.org/prop/isSimpleLieGroupFor
3 triples
GPTKB property
Random triples
Subject Object
gptkb:projective_unitary_group_PU(n) n ≥ 2
gptkb:orthogonal_group n ≥ 2
gptkb:projective_special_orthogonal_group_PSO(n) n > 2