GTSelfAdjointQ[group,element] gives True if an element of a group is self-adjoint, and gives
First, load the package:
is a self-adjoint element within the group
GTConjugateElement GTGroupQ GTSubGroupQ