In mathematics, the Walter theorem, proved by John H. Walter (1967, 1969), describes the finite groups whose Sylow 2-subgroup is abelian. Bender (1970) used Bender's method to give a simpler proof.