How is normality reflected in Todd-Coxeter Algorithm tables?
I can think of the generic cases like if there are only 2 indices then the subgroup has index 2 and thus is normal. Same case for p indices if $G$ is a p-group. But the general case eludes me.
I thought about using left/ right cosets, but T-C deals with only right cosets so that's no use; same goes for the normalizer approach. Unless there is some trick to manipulate the table into that of left cosets, but I really doubt it.
Any help would be appreciated. Thanks.