add chapter on cosets, etc.