is maximal compact subgroup of

1 triples
GPTKB property