A n is the kernel of the sign homomorphism

1 triples
GPTKB property

Random triples
Subject Object
gptkb:alternating_groups from S_n to {1, -1}