reps
move sakuma, add fischer type
coset axes:

given a chain of subtransposition groups, find the idempotents
corresponding to an inclusion as the difference of identities in the
corresponding chain of subalgebras