Inom matematiken är Gorenstein–Walters sats, bevisad av Gorenstein och Walter (1965a, 1965b, 1965c), ett resultat som säger att om en ändlig grupp G har en dihedral Sylow 2-delgrupp, och om O(G) är den maximala normala delgruppen av udda ordning, då är G/O(G) isomorfisk till antingen en 2-group, alternerande gruppen A₇ eller en delgrupp av PΓL₂(q) som innehåller PSL₂(q) med q någon udda primtalspotens.

Den här artikeln är helt eller delvis baserad på material från engelskspråkiga Wikipedia, Gorenstein–Walter theorem, 10 februari 2015.

• Gorenstein, D.; Walter, John H. (1965a), ”The characterization of finite groups with dihedral Sylow 2-subgroups. I”, Journal of Algebra 2 (1): 85–151, doi:10.1016/0021-8693(65)90027-X, ISSN 0021-8693 
• Gorenstein, D.; Walter, John H. (1965b), ”The characterization of finite groups with dihedral Sylow 2-subgroups. II”, Journal of Algebra 2 (2): 218–270, doi:10.1016/0021-8693(65)90019-0, ISSN 0021-8693 
• Gorenstein, D.; Walter, John H. (1965c), ”The characterization of finite groups with dihedral Sylow 2-subgroups. III”, Journal of Algebra 2 (3): 354–393, doi:10.1016/0021-8693(65)90015-3, ISSN 0021-8693