isConnectedLieGroup

URI: https://gptkb.org/prop/isConnectedLieGroup
5 triples
GPTKB property
Random triples
Subject Object
gptkb:special_linear_group_SL(n,_C) true
gptkb:PSL_2(R) true
gptkb:special_linear_group_SL(5) yes (over R or C)
gptkb:Special_Linear_Group_of_degree_n_over_the_complex_numbers true
gptkb:S^1 true