isNotAbelian

3 triples
GPTKB property

Random triples
Subject Object
gptkb:S_7 true
gptkb:BS(m,_n) if |m|,|n|>1
gptkb:quaternion_group true