Ταξινόμηση πεπερασμένων απλών ομάδων

Στα μαθηματικά, η ταξινόμηση των πεπερασμένων απλών ομάδων (ευρέως αποκαλούμενη ως το τεράστιο θεώρημα) είναι ένα αποτέλεσμα της θεωρίας ομάδων που δηλώνει ότι κάθε πεπερασμένη απλή ομάδα είναι είτε κυκλική, είτε εναλλασσόμενη, είτε ανήκει σε μια ευρεία άπειρη τάξη που ονομάζεται ομάδες τύπου Λι, είτε είναι μια από τις είκοσι έξι εξαιρέσεις, που ονομάζονται σποραδικές (η ομάδα Τιτς θεωρείται μερικές φορές ως σποραδική ομάδα επειδή δεν είναι αυστηρά μια ομάδα τύπου Λι, οπότε θα υπήρχαν 27 σποραδικές ομάδες). Η απόδειξη αποτελείται από δεκάδες χιλιάδες σελίδες σε αρκετές εκατοντάδες άρθρα περιοδικών γραμμένα από περίπου 100 συγγραφείς, που δημοσιεύτηκαν κυρίως μεταξύ 1955 και 2004.

Οι απλές ομάδες μπορούν να θεωρηθούν ως τα βασικά δομικά στοιχεία όλων των πεπερασμένων ομάδων, θυμίζοντας τον τρόπο με τον οποίο οι πρώτοι αριθμοί είναι τα βασικά δομικά στοιχεία των φυσικών αριθμών. Το θεώρημα Τζόρνταν-Χόλντερ είναι ένας πιο ακριβής τρόπος να δηλωθεί αυτό το γεγονός για τις πεπερασμένες ομάδες. Ωστόσο, μια σημαντική διαφορά από την παραγοντοποίηση ακέραιων αριθμών είναι ότι αυτά τα "δομικά στοιχεία" δεν καθορίζουν απαραίτητα μια μοναδική ομάδα, καθώς μπορεί να υπάρχουν πολλές μη ισομορφικές ομάδες με την ίδια σειρά σύνθεσης ή, με άλλα λόγια, το πρόβλημα της επέκτασης δεν έχει μοναδική λύση.

Οι Ντάνιελ Γκόρενσταϊν (1923-1992), Ρίτσαρντ Λάιονς και Ρόναλντ Σόλομον δημοσιεύουν σταδιακά μια απλουστευμένη και αναθεωρημένη έκδοση της απόδειξης.

Δήλωση του θεωρήματος ταξινόμησης

Κάθε πεπερασμένη απλή ομάδα είναι ισόμορφη με μία από τις ακόλουθες ομάδες:
 μέλος μιας από τις τέσσερις άπειρες τάξεις αυτών, δηλαδή:
 οι κυκλικές ομάδες πρώτης τάξης,
 οι εναλλάσσουσες ομάδες βαθμού τουλάχιστον 5,
 οι ομάδες τύπου Λι,
 η παράγωγη υποομάδα των ομάδων τύπου Λι, όπως η ομάδα Τιτς.The infinite family of Ree groups of type  contains only finite groups of Lie type. They are simple for ; for , the group  is not simple, but it contains the simple commutator subgroup . So, if the infinite family of commutator groups of type  is considered a systematic infinite family (all of Lie type except for ), the Tits group  (as a member of this infinite family) is not sporadic.
 ή μία από τις 26 ομάδες που ονομάζονται σποραδικές ομάδες

Το θεώρημα ταξινόμησης εφαρμόζεται σε πολλούς κλάδους των μαθηματικών, καθώς ερωτήματα σχετικά με τη δομή πεπερασμένων ομάδων (και τη δράση τους σε άλλα μαθηματικά αντικείμενα) μπορούν μερικές φορές να αναχθούν σε ερωτήματα σχετικά με πεπερασμένες απλές ομάδες. Χάρη στο θεώρημα ταξινόμησης, τέτοιες ερωτήσεις μπορούν μερικές φορές να απαντηθούν με τον έλεγχο κάθε οικογένειας απλών ομάδων και κάθε σποραδικής ομάδας.

Ο Ντάνιελ Γκορενστάιν ανακοίνωσε το 1983 ότι όλες οι πεπερασμένες απλές ομάδες είχαν ταξινομηθεί, αλλά αυτό ήταν πρόωρο, καθώς είχε παραπληροφορηθεί σχετικά με την απόδειξη της ταξινόμησης των οιονεί ομάδων. Η ολοκληρωμένη απόδειξη της ταξινόμησης ανακοινώθηκε από τον Άσμπαχερ (2004), αφού οι Άσμπαχερ και Σμιθ δημοσίευσαν μια απόδειξη 1221 σελίδων για την περίπτωση των quasithin που έλειπαν.

Επισκόπηση της απόδειξης του θεωρήματος ταξινόμησης

Ο Γκόρενσταϊν (1982, 1983) έγραψε δύο τόμους περιγράφοντας το μέρος της απόδειξης που αφορά το χαμηλόβαθμο και περιττό χαρακτηριστικό και οι Μάικλ Άσμπαχερ, Ρίτσαρντ Λάιονς και Στίβεν Ν. Σμιθ κ.ά. (2011) έγραψαν έναν 3ο τόμο που καλύπτει την υπόλοιπη περίπτωση του χαρακτηριστικού 2. Η απόδειξη μπορεί να χωριστεί σε διάφορα σημαντικά κομμάτια ως εξής: 

 Ομάδες χαμηλού βαθμού 2 

Οι απλές ομάδες χαμηλού 2ου βαθμού είναι κυρίως ομάδες τύπου Λι μικρού βαθμού πάνω σε πεδία περιττών χαρακτηριστικών, μαζί με πέντε εναλλάσσουσες και επτά χαρακτηριστικές 2ου τύπου και εννέα σποραδικές ομάδες.

Οι απλές ομάδες χαμηλού βαθμού 2 περιλαμβάνουν:
Ομάδες 2ου βαθμού 0, δηλαδή ομάδες περιττού βαθμού, οι οποίες είναι επιλύσιμες με το θεώρημα Φάιτ-Τόμσον.
Ομάδες 2ου βαθμού 1. Οι υποομάδες Συλόου 2 είναι είτε κυκλικές, οι οποίες είναι εύκολο να αντιμετωπιστούν με τη χρήση του χάρτη μεταβίβασης, είτε γενικευμένες τεταρτοταγείς, οι οποίες αντιμετωπίζονται με το θεώρημα Μπράουερ - Σουζούκι: ειδικότερα δεν υπάρχουν απλές ομάδες 2  βαθμού  1 εκτός από την κυκλική ομάδα  βαθμού δύο.
Ομάδες 2ου βαθμού 2. Ο Αλπερίν έδειξε ότι η υποομάδα Συλόου πρέπει να είναι δίεδρη, οιονεί δίεδρη, περιτυλιγμένη ή υποομάδα Συλόου 2  U3(4). Η πρώτη περίπτωση υλοποιήθηκε με το θεώρημα Γκόρενσταϊν-Γουόλτερ που απέδειξε ότι οι μόνες απλές ομάδες είναι ισομορφικές με την L2(q) για q μονό ή A7, η δεύτερη και η τρίτη περίπτωση πραγματοποιήθηκαν με το θεώρημα Άλπεριν-Μπράουερ-Γκόρενσταϊν που συνεπάγεται ότι οι μόνες απλές ομάδες είναι ισομορφικές με την L3(q) ή την U3(q) για q μονό ή M11, και η τελευταία περίπτωση έγινε από τον Λάιονς που έδειξε ότι η U3(4) είναι η μόνη απλή δυνατότητα.
Ομάδες τμηματικού 2 βαθμού το πολύ 4, ταξινομημένες με το θεώρημα Γκόρενσταϊν-Χαράντα.

Η ταξινόμηση των ομάδων μικρου βαθμού 2, ειδικά το πολύ 2, κάνει μεγάλη χρήση της συνήθους και της μοδιακής θεωρίας χαρακτήρων, η οποία σχεδόν ποτέ δεν χρησιμοποιείται άμεσα αλλού στην ταξινόμηση.

Όλες οι ομάδες που δεν είναι χαμηλού βαθμού 2 μπορούν να χωριστούν σε δύο μεγάλες κατηγορίες: ομάδες τύπου συνιστωσών και ομάδες τύπου χαρακτηριστικών 2. Αυτό οφείλεται στο γεγονός ότι αν μια ομάδα έχει τμηματικό 2 βαθμού τουλάχιστον 5 τότε ο ΜακΓουίλιαμς έδειξε ότι οι υποομάδες Sylow 2 της είναι συνδεδεμένες, και το θεώρημα ισορροπίας συνεπάγεται ότι κάθε απλή ομάδα με συνδεδεμένες υποομάδες Συλόου 2 είναι είτε συστατικού τύπου είτε χαρακτηριστικού 2 τύπου. (Για ομάδες χαμηλού βαθμού 2 η απόδειξη αυτού καταρρέει, επειδή θεωρήματα όπως το θεώρημα του συναρτησιακού σήματος λειτουργούν μόνο για ομάδες με στοιχειώδεις αβελιανές υποομάδες βαθμού τουλάχιστον 3).

Ομάδες τύπου συνιστώσας

Μια ομάδα λέγεται ότι είναι τύπου συνιστώσας αν για κάποιο συγκεντρωτή C μιας εκτροπής, η C/O(C) έχει μια συνιστώσα (όπου O(C) είναι ο πυρήνας της C, η μέγιστη κανονική υποομάδα περιττής τάξης).
Αυτές είναι λίγο-πολύ οι ομάδες τύπου Λι περιττού χαρακτηριστικού μεγάλου βαθμού και οι εναλλασσόμενες ομάδες, μαζί με κάποιες σποραδικές ομάδες.
Ένα σημαντικό βήμα σε αυτή την περίπτωση είναι να εξαλειφθεί το εμπόδιο του πυρήνα μιας εκτροπής. Αυτό επιτυγχάνεται με το θεώρημα Β, το οποίο δηλώνει ότι κάθε συνιστώσα της C/O(C) είναι η εικόνα μιας συνιστώσας της C.

Η ιδέα είναι ότι αυτές οι ομάδες έχουν έναν συγκεντρωτή μιας εκτροπής με μια συνιστώσα που είναι μια μικρότερη οιονεί απλή ομάδα, η οποία μπορεί να θεωρηθεί ότι είναι ήδη γνωστή με επαγωγή. Έτσι, για να ταξινομήσουμε αυτές τις ομάδες παίρνουμε κάθε κεντρική επέκταση κάθε γνωστής πεπερασμένης απλής ομάδας και βρίσκουμε όλες τις απλές ομάδες με έναν κεντροποιητή της αναδίπλωσης με αυτή ως συνιστώσα. Αυτό δίνει έναν αρκετά μεγάλο αριθμό διαφορετικών περιπτώσεων προς έλεγχο: δεν υπάρχουν μόνο 26 σποραδικές ομάδες και 16 οικογένειες ομάδων τύπου Λι  και οι εναλλασσόμενες ομάδες, αλλά και πολλές από τις ομάδες μικρού βαθμού ή επί μικρών πεδίων συμπεριφέρονται διαφορετικά από τη γενική περίπτωση και πρέπει να αντιμετωπιστούν ξεχωριστά, και οι ομάδες τύπου Λι ζυγού και περιττού χαρακτηριστικού είναι επίσης αρκετά διαφορετικές.

Ομάδες χαρακτηριστικού τύπου 2

Μια ομάδα είναι χαρακτηριστικού τύπου 2 αν η γενικευμένη υποομάδα F*(Y) κάθε 2-τοπικής υποομάδας Y είναι μια 2-ομάδα.
Όπως υποδηλώνει το όνομα, αυτές είναι περίπου οι ομάδες τύπου Λιπάνω σε πεδία χαρακτηριστικής 2, συν μια χούφτα άλλες που είναι εναλλασσόμενες ή σποραδικές ή περιττής χαρακτηριστικής. Η ταξινόμησή τους χωρίζεται στις περιπτώσεις μικρού και μεγάλου βαθμού, όπου ο βαθμός είναι ο μεγαλύτερος βαθμός μιας περιττής αβελιανής υποομάδας που κανονικοποιεί μια μη τετριμμένη 2-υποομάδα, ο οποίος συχνά (αλλά όχι πάντα) είναι ο ίδιος με τον βαθμό μιας υποάλγεβρας Καρτάν όταν η ομάδα είναι μια ομάδα τύπου ΛΙ σε χαρακτηριστική 2.

Οι ομάδες 1ης τάξης είναι οι λεπτές ομάδες, που ταξινομήθηκαν από τον Άσμπαχερ, και οι ομάδες 2ης τάξης είναι οι περιβόητες οιονεί λεπτές ομάδες, που ταξινομήθηκαν από τους Άσμπαχερ και Σμιθ. Αυτές αντιστοιχούν χονδρικά σε ομάδες τύπου Λι βαθμών 1 ή 2 πάνω σε πεδία χαρακτηριστικής 2.

Οι ομάδες βαθμού τουλάχιστον 3 υποδιαιρούνται περαιτέρω σε 3 κατηγορίες με το θεώρημα της τριχοτομίας, που αποδείχθηκε από τον Άσμπαχερ για βαθμό 3 και από τους Γκορένσταϊν και Λάιονς για βαθμό τουλάχιστον 4.
Οι τρεις αυτές κατηγορίες είναι ομάδες τύπου GF(2) (ταξινομημένες κυρίως από τον Τίμεσφελντ), ομάδες «τυπικού τύπου» για κάποιο μονό αριθμό πρώτων (ταξινομημένες από το θεώρημα Γκίλμαν-Γκρις και εργασίες πολλών άλλων) και ομάδες τύπου μοναδικότητας, όπου ένα αποτέλεσμα του Άσμπαχερ συνεπάγεται ότι δεν υπάρχουν απλές ομάδες.
Η γενική περίπτωση υψηλότερου βαθμού αποτελείται κυρίως από τις ομάδες τύπου Λι πάνω σε πεδία χαρακτηριστικής 2 βαθμού τουλάχιστον 3 ή 4.

Ύπαρξη και μοναδικότητα των απλών ομάδων

Το κύριο μέρος της ταξινόμησης παράγει έναν χαρακτηρισμό κάθε απλής ομάδας. Στη συνέχεια είναι απαραίτητο να ελεγχθεί ότι υπάρχει μια απλή ομάδα για κάθε χαρακτηρισμό και ότι είναι μοναδική. Αυτό δίνει έναν μεγάλο αριθμό ξεχωριστών προβλημάτων- για παράδειγμα, οι αρχικές αποδείξεις της ύπαρξης και της μοναδικότητας της ομάδας τέρας ανέρχονταν συνολικά σε περίπου 200 σελίδες, και ο προσδιορισμός των ομάδων Ρι από τους Τόμσον και Μπομπιέρι ήταν ένα από τα δυσκολότερα μέρη της ταξινόμησης. Πολλές από τις αποδείξεις ύπαρξης και ορισμένες από τις αποδείξεις μοναδικότητας για τις σποραδικές ομάδες χρησιμοποιούσαν αρχικά υπολογισμούς σε υπολογιστή, οι περισσότεροι από τους οποίους έχουν έκτοτε αντικατασταθεί από συντομότερες αποδείξεις με το χέρι.

Ιστορία της απόδειξης

Το πρόγραμμα του Γκορενστάιν
Το 1972 o Γκόρενσταϊν ( ανακοίνωσε ένα πρόγραμμα για την ολοκλήρωση της ταξινόμησης των πεπερασμένων απλών ομάδων, το οποίο αποτελείται από τα ακόλουθα 16 βήματα:
 Ομάδες χαμηλού βαθμού 2. Αυτό ουσιαστικά έγινε από τους Γκόρενσταϊν και Χαράντα, οι οποίοι ταξινόμησαν τις ομάδες με τμηματική  βαθμού 2 το πολύ 4. Οι περισσότερες από τις περιπτώσεις με 2-βαθμου το πολύ 2 είχαν γίνει μέχρι τη στιγμή που ο Γκόρενσταϊν ανακοίνωσε το πρόγραμμά του.
 Η ημι-απλότητα των 2 στρωμάτων. Το πρόβλημα είναι να αποδειχθεί ότι το 2-στρώμα του συγκεντρωτή μιας εκτροπής σε μια απλή ομάδα είναι ημι-απλή.
 Τυπική μορφή σε περιττή χαρακτηριστική. Αν μια ομάδα έχει μια εμπλοκή με 2-συνιστώσα που είναι μια ομάδα τύπου Λι σε περιττή χαρακτηριστική, ο στόχος είναι να δείξουμε ότι έχει έναν συγκεντρωτή της εμπλοκής σε "τυπική μορφή" που σημαίνει ότι ένας συγκεντρωτής της εμπλοκής έχει μια συνιστώσα που είναι τύπου Λι σε περιττή χαρακτηριστική και έχει επίσης έναν συγκεντρωτή 2 βαθμού 1.
 Ταξινόμηση ομάδων περιττού τύπου. Το πρόβλημα είναι να δείξουμε ότι αν μια ομάδα έχει έναν συγκεντρωτή εκτροπής σε "τυπική μορφή" τότε είναι μια ομάδα τύπου Λι περιττής χαρακτηριστικής. Αυτό επιλύθηκε με το κλασικό θεώρημα της αναδίπλωσης του Άσμπαχερ.
 Οιονεί τυπική μορφή
 Κεντρική ενέλιξη
 Ταξινόμηση των εναλλασσόμενων ομάδων.
 Μερικές σποραδικές ομάδες
 Λεπτές ομάδες. Οι απλές λεπτές πεπερασμένες ομάδες, εκείνες με 2-τοπικό p-βαθμό το πολύ 1 για περιττούς πρώτους p, ταξινομήθηκαν από τον Άσμπαχερ το 1978
 Ομάδες με έντονα ενσωματωμένη υποομάδα p για p περιττό
 Η μέθοδος του signalizer συναρτητή για περιττούς πρώτους αριθμούς. Το κύριο πρόβλημα είναι να αποδειχθεί ένα θεώρημα συναρτητή signalizer για μη επιλύσιμους συναρτητές signalizer
Ομάδες χαρακτηριστικού τύπου p. Αυτό είναι το πρόβλημα των ομάδων με μια έντονα p-ενσωματωμένη 2-τοπική υποομάδα με p περιττό, το οποίο αντιμετωπίστηκε από τον Άσμπαχερ.
 Ομάδες Quasithin. Μια quasithin ομάδα είναι μια ομάδα της οποίας οι 2-τοπικές υποομάδες έχουν p-βαθμού το πολύ 2 για όλους τους περιττούς πρώτους p, και το πρόβλημα είναι να ταξινομήσουμε τις απλές ομάδες χαρακτηριστικού 2 τύπου. Αυτό ολοκληρώθηκε από τους Ασκμπάχερ και Σμιθ. το 2004.
 Ομάδες χαμηλού 2 τοπικού 3 βαθμού. Αυτό ουσιαστικά λύθηκε από το θεώρημα τριχοτομίας του Άσμπαχερ για ομάδες με e(G)=3. Η κύρια αλλαγή είναι ότι το 2-τοπικό 3-βαθμού αντικαθίσταται από το 2-τοπικό p-βαθμού για περιττούς πρώτους αριθμούς.
 Κεντροποιητές των 3-στοιχείων σε τυπική μορφή. Αυτό έγινε ουσιαστικά από το θεώρημα της Τριχοτομίας.
 Ταξινόμηση των απλών ομάδων χαρακτηριστικού τύπου 2. Αυτό έγινε με το θεώρημα Γκίλμαν-Γκρις, με τα 3-στοιχεία να αντικαθίστανται από p-στοιχεία για περιττούς πρώτους αριθμούς.

Μια ταξινόμηση δεύτερης γενιάς

Καθώς επικρίθηκε για την υπερβολική έκταση της απόδειξης ταξινόμησης για πεπερασμένες απλές ομάδες, κάποιες αποκαλούμενες "αναθεωρητικές" εργασίες, αρχικά με επικεφαλής τον Ντάνιελ Γκόρενστεϊν, αναζήτησαν μια απλούστερη απόδειξη. Η προσέγγιση αυτή έγινε γνωστή ως "απόδειξη ταξινόμησης δεύτερης γενιάς".

Έξι τόμοι εκδόθηκαν μέχρι το 2005, ενώ υπάρχουν χειρόγραφα των περισσότερων από τις υπόλοιπες αποδείξεις. Οι δύο τόμοι των Άσμπαχερ και Σμιθ γράφτηκαν με σκοπό να παρέχουν μια απόδειξη για την οιονεί λεπτή περίπτωση που θα λειτουργούσε τόσο για την απόδειξη πρώτης όσο και για την απόδειξη δεύτερης γενιάς. Έχει υπολογιστεί ότι η νέα απόδειξη θα έχει έκταση περίπου 5.000 σελίδων όταν ολοκληρωθεί. Οι νέες αποδείξεις έχουν γραφτεί σε πιο μακροσκελές ύφος.

Ο Γκόρενσταϊν και οι συνεργάτες του έδωσαν διάφορα επιχειρήματα για την ύπαρξη μιας απλούστερης απόδειξης. Το πιο σημαντικό είναι ότι η τελική και σωστή πρόταση είναι πλέον γνωστή, οπότε τα ενδιάμεσα αποτελέσματα χρειάζεται να είναι εφαρμόσιμα μόνο στις ομάδες που γνωρίζουμε για να είναι ολοκληρωμένα. Από την άλλη πλευρά, κατά την αρχική διαδικασία απόδειξης του θεωρήματος ταξινόμησης, καθώς κανείς δεν γνώριζε πόσες σποραδικές ομάδες υπήρχαν, ενώ ορισμένες (για παράδειγμα, οι ομάδες Γιάνκο) είχαν ανακαλυφθεί μόνο κατά τη διαδικασία εκπόνησης της απόδειξης, ήταν απαραίτητο να εφαρμοστούν οι πιο γενικές τεχνικές.

Από την άλλη πλευρά, καθώς το τελικό αποτέλεσμα και η διατύπωσή του ήταν άγνωστα εξ αρχής και για μεγάλο χρονικό διάστημα, η απόδειξη πρώτης γενιάς ήταν το σύνολο των πλήρων και ξεχωριστών θεωρημάτων, ταξινομώντας σημαντικές υποπεριπτώσεις. Συνεπώς, το μεγαλύτερο μέρος της αρχικής εργασίας αφιερώθηκε στην ανάλυση πολυάριθμων ειδικών περιπτώσεων. Ως στοιχεία μιας ευρύτερης απόδειξης, πολλές από αυτές τις ειδικές περιπτώσεις μπορούσαν να τεθούν σε αναμονή μέχρι να μπορέσουν να τις περιλάβουν ισχυρότερες προτάσεις. Αυτή η αναθεώρηση έχει ένα τίμημα, το οποίο είναι ότι τα θεωρήματα πρώτης γενιάς εξαρτώνται από την πλήρη ταξινόμηση, με αποτέλεσμα να χάνεται η σύντομη απόδειξή τους.

Επιπλέον, πολλά από τα θεωρήματα πρώτης γενιάς επικαλύπτονταν, διαιρώντας τις πιθανές περιπτώσεις υπο-βέλτιστα. Η αναθεωρημένη απόδειξη, από την άλλη πλευρά, στοχεύει στη σύνδεση των διαφόρων αναλύσεων περιπτώσεων, προκειμένου να εξαλειφθούν οι πλεονασμοί.

Τέλος, οι θεωρητικοί πεπερασμένων ομάδων έχουν αποκτήσει εμπειρία και ανέπτυξαν πιο αποτελεσματικές τεχνικές.

 Χρονολόγιο και βασικά γεγονότα 

 Αρχές της δεκαετίας του 1950Αρχικό ενδιαφέρον: Ο τομέας της θεωρίας πεπερασμένων ομάδων δεν αποτελούσε σημαντικό πεδίο έρευνας, προσελκύοντας αρχικά μόνο λίγους μαθηματικούς.

 Τέλη της δεκαετίας του 1950'Ανάδυση βασικών ιδεών: Στο τέλος της δεκαετίας, μια μικρή ομάδα μαθηματικών άρχισε να ενδιαφέρεται για τη θεωρία πεπερασμένων ομάδων, αναπτύσσοντας νέες τεχνικές και δημοσιεύοντας προκαταρκτικά αποτελέσματα.

 1960-1961Έτος της θεωρίας ομάδων στο Σικάγο: Το πρόγραμμα αυτό σηματοδότησε μια σημαντική περίοδο κατά την οποία καθιερώθηκαν οι συνεργατικές προσπάθειες και οι θεμελιώδεις μεθοδολογίες που θα καθόριζαν τις μεταγενέστερες εργασίες ταξινόμησης

 Αρχές της δεκαετίας του 1960Τυπικοποίηση του προγράμματος ταξινόμησης: Μια συνεκτική κοινότητα θεωρητικών πεπερασμένων ομάδων αναδύεται, σηματοδοτώντας την έναρξη των επίσημων προσπαθειών ταξινόμησης.

 1972Ηγεσία του Ντάνιελ Γκόρενσταϊν, ο οποίος επισημοποίησε τον οδικό χάρτη για τη διαδικασία ταξινόμησης, προωθώντας σημαντικά το έργο.

 1973Κρίσιμες συνεισφορές από τον Μάικλ Άσμπαχερ, ο οποίος άρχισε να αποδεικνύει ουσιώδη αποτελέσματα, συμβάλλοντας σημαντικά στη δυναμική του έργου.

 1981Ανακοινώνεται η προκαταρκτική ολοκλήρωση: Ο Ντάνιελ Γκόρενσταϊν ανακοινώνει ότι η ταξινόμηση έχει ουσιαστικά ολοκληρωθεί, αν και πολλές αποδείξεις είναι ακόμα σε προτυπωμένη μορφή και απρόσιτες στην ευρύτερη κοινότητα.

 1982Πρόταση αναθεώρησης από τον Γκόρενσταϊν: Ο Ντάνιελ Γκόρενσταϊν προτείνει την ανάγκη για μια "απόδειξη δεύτερης γενιάς" για να διορθωθούν τα λάθη και να γίνει η απόδειξη πιο προσιτή και πλήρης.

 1994Δημοσίευση του πρώτου βιβλίου της σειράς αναθεωρήσεων: Δημοσιεύεται το πρώτο βιβλίο για την αναθεώρηση και την ενοποίηση των αποδείξεων ταξινόμησης, δύο χρόνια μετά το θάνατο του Γκόρενσταϊν.

 2005'''

Τελευταία έκδοση της σειράς: Δημοσιεύθηκε το τελευταίο βιβλίο της σειράς αναθεωρημένων αποδείξεων, σηματοδοτώντας ένα σημαντικό ορόσημο στη συνεχιζόμενη προσπάθεια ενοποίησης και αποσαφήνισης της ταξινόμησης.

Διάρκεια της απόδειξης

Ο Γκόρενσταϊν συζήτησε μερικούς από τους λόγους για τους οποίους δεν μπορεί να υπάρξει μια σύντομη απόδειξη της ταξινόμησης παρόμοια με την ταξινόμηση των συμπαγών ομάδων Λι.

Ο πιο προφανής λόγος είναι ότι ο κατάλογος των απλών ομάδων είναι αρκετά περίπλοκος: με 26 σποραδικές ομάδες είναι πιθανό να υπάρχουν πολλές ειδικές περιπτώσεις που πρέπει να εξεταστούν σε οποιαδήποτε απόδειξη. Μέχρι στιγμής κανείς δεν έχει βρει ακόμη μια καθαρή ομοιόμορφη περιγραφή των πεπερασμένων απλών ομάδων παρόμοια με την παραμετροποίηση των συμπαγών ομάδων Λι με διαγράμματα Ντάινκιν.
Ο Ατίγια και άλλοι έχουν προτείνει ότι η ταξινόμηση θα έπρεπε να απλοποιηθεί με την κατασκευή κάποιου γεωμετρικού αντικειμένου στο οποίο δρουν οι ομάδες και στη συνέχεια με την ταξινόμηση αυτών των γεωμετρικών δομών. Το πρόβλημα είναι ότι κανείς δεν μπόρεσε να προτείνει έναν εύκολο τρόπο για την εύρεση μιας τέτοιας γεωμετρικής δομής που σχετίζεται με μια απλή ομάδα. Κατά κάποια έννοια, η ταξινόμηση λειτουργεί με την εύρεση γεωμετρικών δομών όπως τα ζεύγη BN, αλλά αυτό έρχεται μόνο στο τέλος μιας πολύ μακράς και δύσκολης ανάλυσης της δομής μιας πεπερασμένης απλής ομάδας.
Μια άλλη πρόταση για την απλούστευση της απόδειξης είναι η μεγαλύτερη χρήση της θεωρίας αναπαράστασης. Το πρόβλημα εδώ είναι ότι η θεωρία αναπαράστασης φαίνεται να απαιτεί πολύ αυστηρό έλεγχο των υποομάδων μιας ομάδας για να λειτουργήσει καλά. Για ομάδες μικρού βαθμού, κάποιος έχει τέτοιο έλεγχο και η θεωρία αναπαράστασης λειτουργεί πολύ καλά, αλλά για ομάδες μεγαλύτερου βαθμού κανείς δεν έχει καταφέρει να τη χρησιμοποιήσει για να απλοποιήσει την ταξινόμηση. Στις πρώτες ημέρες της ταξινόμησης, καταβλήθηκε σημαντική προσπάθεια να χρησιμοποιηθεί η θεωρία αναπαράστασης, αλλά αυτό δεν είχε ποτέ μεγάλη επιτυχία στην περίπτωση των ομάδων υψηλότερου βαθμού.

 Εξωτερικοί σύνδεσμοι 
English - Greek Dictionary of Pure and Applied Mathematics Εθνικό Μετσόβιο Πολυτεχνείο
Αγγλοελληνικό Λεξικό Μαθηματικής Ορολογίας - Πανεπιστήμιο Κύπρου
 Ευκλείδεια Γεωμετρία - Πανελλήνιο Σχολικό Δίκτυο
 Θεωρία ομάδων και Λι αλγεβρών -Εθνικό Αρχείο Διδακτορικών Διατριβών
 Θεωρία Αριθμών και Εφαρμογές
 Υπολογιστική Θεωρία Αριθμών
 Καμπυλότητες και γεωμετρία του Riemann σε διαφορίσιμες πολλαπλότητες Εθνικό Αρχείο Διδακτορικών Διατριβών

 Δείτε επίσης 
 Θεωρία αριθμών
 Αλγεβρική θεωρία αριθμών
 Αντίστροφη συνάρτηση
 Αλγεβρική θεωρία αριθμών
 Διαφορική γεωμετρία
 Γεωμετρική τοπολογία
 Μη ευκλείδειες γεωμετρίες
 Θεώρημα Αλπερίν–Μπράουερ–Γκορενστείν
 Ευκλείδειος χώρος
 Ντάνιελ Γκόρενσταϊν
 Θεωρία ομάδων
 Συνάρτηση μάζας πιθανότητας
 Ομάδα Quasithin
 Διακριτός μετασχηματισμός Φουριέ
 Θεμελιώδες θεώρημα αριθμητικής
 Αλγεβρική γεωμετρία
 Μιγαδικός αριθμός
 Δισδιάστατος χώρος

 Βιβλιογραφία










 Παραπομπές 





Daniel Gorenstein (1985), "The Enormous Theorem", Scientific American, December 1, 1985, vol. 253, no. 6, pp. 104–115.

 Mark Ronan, Symmetry and the Monster, ISBN 978-0-19-280723-6, Oxford University Press, 2006. (Concise introduction for lay reader)
Marcus du Sautoy, Finding Moonshine, Fourth Estate, 2008, ISBN 978-0-00-721461-7 (another introduction for the lay reader. American edition published in 2009 as Symmetry: A Journey into the Patterns of Nature)
 Ron Solomon (1995) "On Finite Simple Groups and their Classification," Notices of the American Mathematical Society''. (Not too technical and good on history. American version published in 2009 as Symmetry: A Journey into the Patterns of Nature)
  – article won Levi L. Conant prize for exposition

 Πηγές 








Κατηγορία:Θεωρήματα της Άλγεβρας
Κατηγορία:Δυναμικά συστήματα
Κατηγορία:Μαθηματικά θεωρήματα
Κατηγορία:Εφαρμοσμένα μαθηματικά
Κατηγορία:Αλγεβρική θεωρία αριθμών
Κατηγορία:Περιοχές των μαθηματικών
Κατηγορία:Θεωρία αριθμών