is a real form of universal covering group of SL(2, C)

1 triples
GPTKB property

Random triples