maximal compact subgroup

19 triples
GPTKB property