Bjorn Ian Dundas

It turned out that I needed a number of constructions related to subgroups for stating and proving the 2nd and 3rd Sylow theorems. Since the proofs will depend on the...

Desires for normalizers and orbits (now 5.5/5.6)

2

How I state later stuff depends on the implementation - I'm not asking for things to be implemented now, I just want to know how one intends to so that...