alternating group A {2^n}

GPTKB entity