Group theory IV homomorphisms (Milton Keynes Open University, 1979)