is a maximal compact subgroup of

1 triples
GPTKB property