logic: Add definition/facts of/about formation sequences.
Add logic notes to index/compile script
groups: Prove facts about homomorphisms, define kernels and prove facts, define conjugation and prove that kernels are closed under conjugation. Setup the search for the converse (and thus set the scene for normal subgroups)