Το λήμμα παραθέτει τις πηγές του αόριστα, χωρίς παραπομπές.Βοηθήστε συνδέοντας το κείμενο με τις πηγές χρησιμοποιώντας παραπομπές, ώστε να είναι επαληθεύσιμο.
Το πρότυπο τοποθετήθηκε χωρίς ημερομηνία. Για τη σημερινή ημερομηνία χρησιμοποιήστε: {{χωρίς παραπομπές|23|04|2024}}
Αυτό το λήμμα ή η ενότητα χρειάζεται ειδικές γνώσεις. Αν γνωρίζετε καλά το θέμα, βελτιώστε το. Δείτε τη σελίδα συζήτησης για λεπτομέρειες.
Στα μαθηματικά, το θεώρημα Gorenstein–Walter αποδείχθηκε από τους Gorenstein και Walter (1965a, 1965b, 1965c), και αναφέρεται στο ότι αν μια πεπερασμένη ομάδα G έχει ένα δίεδρο Sylow 2-υποομάδα, και O(G) είναι η μέγιστη κανονική υποομάδα περιττής τάξης, τότε G/O(G) είναι ισόμορφη με μια 2-ομάδα, ή με την εναλλασσόμενη ομάδα Α7 ή μια υποομάδα της PΓL2(q) που περιέχει PSL2(q) για q περιττή πρώτη δύναμη.
