for n=2 over finite field F q

1 triples
GPTKB property

Random triples
Subject Object
gptkb:projective_general_linear_group order is q(q^2-1)