The Jordan-Hölder-Schreier theorem for general algebraic systems N. J. S. Hughes Compositio Mathematica