Ομάδα Κόξετερ

Από τη Βικιπαίδεια, την ελεύθερη εγκυκλοπαίδεια
Πήδηση στην πλοήγηση Πήδηση στην αναζήτηση

Σταμαθηματικά, μια ομάδα Κόξετερ,που πήρε το όνομά της από τον H. S. M. Coxeter, είναι μια [1]αφηρημένη ομάδα] που επιδέχεται μια τυπική περιγραφή, όσον αφορά τις ανακλάσεις (ή καλειδοσκοπικούς καθρέφτες). Πράγματι, οι πεπερασμένες Κόξετερ ομάδες είναι ακριβώς οι πεπερασμένες Ευκλείδιες ανακλαστικές ομάδες  ένα παράδειγμα είναι οι συμμετρικές ομάδες ενός κανονικού πολύεδρου. Ωστόσο, δεν είναι όλες οι Κόξετερ ομάδες πεπερασμένες, και δεν μπορούν να περιγραφούν όλες με ευκλείδιες ανακλαστικές ομάδες και συμμετρικές  ομάδες. Οι ομάδες Κόξετερ εισήχθησαν (Coxeter 1934) ως αφηρημένες ανακλαστικές ομάδες, και οι πεπερασμένες ταξινομήθηκαν  το 1935 (Coxeter 1935).

Οι ομάδες Κόξετερ βρίσκουν εφαρμογές σε πολλούς τομείς των μαθηματικών. Παραδείγματα των πεπερασμένων Κόξετερ ομάδων αποτελούν οι ομάδες συμμετρίας των κανονικών πολυτόπων, και οι []ομάδες Weyl των απλών Lie αλγεβρών. Παραδείγματα Κόξετερ απειροομάδων αποτελούν οι τριγωνικές ομάδες που πληρώνουν κανονικά τo Ευκλείδιο επίπεδο και υπερβολικό επίπεδο, και οι Weyl ομάδες άπειρων διαστάσεων των Kac–Moody-αλγεβρών.

Πρότυπες αναφορές περιλαμβάνουν (Humphreys 1992) και (Davis 2007).

Ορισμός[Επεξεργασία | επεξεργασία κώδικα]

Τυπικά, μια ομάδα Coxeter μπορεί να οριστεί ως μια ομάδα με την παρουσίαση

όπου  και για . Ο όρος σημαίνει ότι καμία σχέση δεν πρέπει να επιβληθεί με τον τύπο  .

Το ζεύγος (W,S) , όπου W είναι μια Κόξετερ ομάδα με γεννήτριες S={r1,...,rn} ονομάζεται Κόξετερ σύστημα. Σημειώστε ότι σε γενικές γραμμές το S δεν προσδιορίζεται μονοσήμαντα από το W. Για παράδειγμα, οι Κόξετερ ομάδες των τύπων B3 και Α1xΑ3 είναι ισομορφικές αλλά τα Κόξετερ συστήματα δεν είναι ισοδύναμα (δείτε παρακάτω για μια εξήγηση αυτής της σημειογραφίας).

Ορισμένα συμπεράσματα μπορούν να εξαχθούν άμεσα από τον παραπάνω ορισμό.

  • Η σχέση mi i = 1 σημαίνει ότι το (r - r ' )1 = (ri )2 = 1 για όλα τα i * οι γεννήτριες είναι involutions.
  • Αν mi j = 2, τότε οι γεννήτριες r i και rj αντιμετατίθενται. Αυτό προκύπτει από την παρατήρηση ότι
xx = yy = 1,
μαζί με
xyxy = 1
συνεπάγεται ότι
xy = x(xyxy)y = (xx)yx(yy) = yx.
Εναλλακτικά, δεδομένου ότι το τετράγωνο μιας γεννήτριας ισούται με την γεννήτρια συνεπάγεται ότι, , έτσι , και, συνεπώς, αντιμετατίθενται.
  • Προκειμένου να αποφευχθεί ο πλεονασμός μεταξύ τους σχέσεις, είναι απαραίτητο να υποθέσουμε ότι mi j = mj i. Αυτό προκύπτει από την παρατήρηση ότι
yy = 1,
μαζί με
(xy)m = 1
συνεπάγεται ότι
(yx)m = (yx)myy = y(x)my = yy = 1.
Εναλλακτικά, και είναι συζευγμένα στοιχεία,καθώς.

Κόξετερ πίνακες και Schläfli πίνακες[Επεξεργασία | επεξεργασία κώδικα]

Ένας Κόξετερ πίνακας είναι ένας n×n, συμμετρικός πίνακας με mj στοιχεία.Πράγματι,κάθε συμμετρικός πίνακας με φυσικό ή άπειρο πλήθος στοιχείων όπου τα στοιχεία του στην κύρια διαγώνιο ισούνται με 1,έτσι ώστε όλα τα στοιχεία που δεν είναι στην διαγώνιο να είναι μεγαλύτερα του  1,χρησιμεύει για να οριστεί ένας Κόξετερ πίνακας.

Ένας Κόξετερ πίνακας μπορεί εύκολα να κωδικοποιηθεί από ένα Coxeter διάγραμμα, σύμφωνα με τους ακόλουθους κανόνες.

  • Οι κορυφές του γραφήματος ονομάζονται από τους δείκτες των γεννητριών.
  • Οι κορυφές i και j συνδέονται, αν και μόνο αν mi j ≥ 3.
  • Μια ακμή σημειώνεται με την τιμή του mi j όποτε είναι 4 ή μεγαλύτερη.

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

Ένας πίνακας Κόξετερ, Mi,j, σχετίζεται με έναν Schläfli πίνακα , C,i,j, αν τα στοιχεία τροποποιούνται, κατά το εσωτερικό γινόμενο των γεννητριών ανά δύο έτσι έχουμε έναν πίνακα Schläfli Ci,j=-2cos(π/Mi,j).Ένας Schläfli πίνακας είναι χρήσιμος επειδή οι ιδιοτιμές του προσδιορίζουν αν η ομάδα Κόξετερ είναι πεπερασμένου τύπου (όλα θετικά), ομοιότητας (όλα τα μη-αρνητική, τουλάχιστον ένα μηδέν), ή αόριστου τύπου (διαφορετικά). Οι ομάδες αόριστου τύπου μερικές φορές διακρίνεται περαιτέρω, π. χ. σε υπερβολικές και άλλες ομάδες Κόξετερ. Ωστόσο, υπάρχουν πολλοί μη ισοδύναμοι ορισμοί για υπερβολικές Κόξετερ ομάδες.

Το γράφημα του οποίου οι κορυφές από το 1 έως το n τοποθετούνται στη σειρά με κάθε κορυφή να συνδέεται με μια μη επισημασμένη ακμή με τους άμεσους γείτονές της, συνεπάγεται την συμμετρική ομάδα Sn+1 * οι γεννήτορες αντιστοιχίζονται στην εναλλαγή (1 2), (2 3), ... (n n+1). Δύο μη διαδοχικών εναλλασσόμενων πράξεων που πάντα αντιμετατίθενται, ενώ η διαδοχή (k k+1) (k+1 k+2) δίνει το 3-κυκλό (k k+2 k+1). Φυσικά αυτό δείχνει μόνο ότι η Sn+1 είναι μια ομάδα πηλίκο των Κόξετερ ομάδων που περιγράφονται από το γράφημα, αλλά δεν είναι πάρα πολύ δύσκολο να ελέγξετε ότι η ισότητα ισχύει 

Οι Κόξετερ ομάδες είναι βαθιά συνδεδεμένες με Ομάδα. Με απλά λόγια, οι Κόξετερ ομάδες είναι αφηρημένες ομάδες (μέσω δοθείσας παράστασης), ενώ οι ανακλαστικές ομάδες είναι συγκεκριμένες ομάδες (που δίνονται ως υποομάδες γραμμικών ομάδων ή διάφορων γενικεύσεων). Οι Κόξετερ ομάδες που προέκυψαν από την μελέτη των ανακλαστικών ομάδων — είναι μια αφηρημένη έννοια: μια ανακλαστική ομάδα είναι μια υποομάδα της γραμμικής ομάδας που δημιουργείται από τις ανακλαστικές (τάξεως 2), ενώ μια ομάδα Κόξετερ είναι μια αφηρημένη ομάδα που δημιουργείται από στοιχεία που πολλαπλασιάζονται με τον εαυτό τους και δίνουν τον εαυτό τους(στοιχεία τάξης 2,διαχωρισμένα από ανακλάσεις), και των οποίων οι σχέσεις έχουν μια συγκεκριμένη μορφή (, kπου αντιστοιχεί σε υπερεπίπεδα σε μια γωνία , με  να είναι της τάξης k αφαιρώντας μια περιστροφή   ).

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

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

Πεπερασμένες Κόξετερ Ομάδες[Επεξεργασία | επεξεργασία κώδικα]

Γραφήματα πεπερασμένων κόξετερ ομάδων.

Οι πεπερασμένες Κόξετρ ομάδες κατατάσσονται (Coxeter 1935), όσον αφορά τα Κόξετερ–διαγράμματα Dynkin, σε ανακλαστικές ομάδες πεπερασμένης διάστασης Ευκλείδιων χώρων.

Οι πεπερασμένες Κόξετερ ομάδες αποτελούνται από τρεις μονοπαραμετρικές οικογένειες αύξουσας τάξης  μια μονοπαραμετρική οικογένεια διάστασης 2, και έξι εξαιρετικές ομάδες: και

Weyl ομάδες[Επεξεργασία | επεξεργασία κώδικα]

Πολλές, αλλά όχι όλες οι ομάδες, είναι Weyl ομάδες, και κάθε ομάδα Weyl μπορεί να γίνει αντιληπτή  ως μια ομάδα Κόξετερ. Οι Weyl ομάδες είναι οι οικογένειες και και οι εξαιρετικές και η  συμβολίζεται στην σημειογραφία των ομάδων Weyl , ως Οι μη-Weyl ομάδες είναι οι και  και η οικογένεια , εκτός εάν αυτή συμπίπτει με μια από τις Weyl ομάδες (δηλαδή και ).

Αυτό μπορεί να αποδειχθή από τη σύγκριση των περιορισμών (μη κατευθυνόμενο) των διαγραμμάτων Dynkin με τους περιορισμούς των Κόξετερ διαγραμμάτων των πεπερασμένων ομάδων: επισήμως, ένα διάγραμμα Dynkin μπορεί να επικρατήσει έναντι ενός Κόξετερ γραφήματος  με παραμερισμό της κατεύθυνσης των ακμών, και  αντικατάσταση κάθε διπλής ακμής με ακμή μήκους 4 και κάθε τριπλή μήκους 6. Επίσης, σημειώστε ότι κάθε πεπερασμένα παραγόμενη ομάδα Κόξετερ είναι μια ομάδα αυτομάτων.[1] Τα διαγράμματα Dynkin έχουν το πρόσθετο περιορισμό ότι το μόνο μήκος που επιτρέπεται για μια ακμή είναι 2, 3, 4, και 6, η οποία παράγει τα παραπάνω. Γεωμετρικά, αυτό αντιστοιχεί στο θεώρημα περιορισμού της κρυσταλογραφίας, και το γεγονός ότι εξαιρούνται οι πολυτόποι δεν γεμίζουν το χώρο ή καλύπτουν το επίπεδο – για την  το δωδεκάεδρο (διττά, εικοσάεδρο) δεν γεμίζει το χώρο, για την  το 120-κελί (διττά, 600-κελί) δεν γεμίζει το χώρο, για την  μια σ-gon δεν γεμίζει το επίπεδο εκτός από ή (στο τριγωνικές, τετραγωνικές, εξαγωνικές στρώσεις, αντίστοιχα).

Να σημειωθεί ακόμα ότι τα (κατευθυνόμενα) διαγραμμάτα Dynkin Βn και Cn δημιουργούν την ίδια Weyl ομάδα (εξ ου και Κόξετερ ομάδα), επειδή διαφέρουν ως κατευθυνόμενα γραφήματα, αλλά συμφωνούν ως μη κατευθυνόμενα γραφήματα – η κατεύθυνση έχει σημασία για τα ριζικά συστήματα, αλλά όχι για τις ομάδες Weyl * αντίστοιχα στον υπερκύβο και στο υπεροκτάεδρο έχουν διαφορετικά κανονικά πολύτοπα αλλά έχουν την ίδια συμμετρία ομάδας.

Ιδιότητες[Επεξεργασία | επεξεργασία κώδικα]

Μερικές ιδιότητες των πεπερασμένων ομάδων Κόξετερ δίνονται στον παρακάτω πίνακα:

Group

symbol

Alternate

symbol

Bracket notation Rank Order Related polytopes Coxeter-Dynkin diagram
An An [3n-1] n (n + 1)! n-simplex CDel node.pngCDel 3.pngCDel node.pngCDel 3.png..CDel 3.pngCDel node.pngCDel 3.pngCDel node.png
Bn Cn [4,3n-2] n 2n n! n-hypercube / n-cross-polytope CDel node.pngCDel 4.pngCDel node.pngCDel 3.png...CDel 3.pngCDel node.pngCDel 3.pngCDel node.png
Dn Bn [3n-3,1,1] n 2n−1 n! n-demihypercube CDel nodes.pngCDel split2.pngCDel node.pngCDel 3.png...CDel 3.pngCDel node.pngCDel 3.pngCDel node.png
E6 E6 [32,2,1] 6 72x6! = 51840 221, 122 CDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.png or CDel node.pngCDel 3.pngCDel node.pngCDel split1.pngCDel nodes.pngCDel 3ab.pngCDel nodes.png
E7 E7 [33,2,1] 7 72x8! = 2903040 321, 231, 132 CDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.png
E8 E8 [34,2,1] 8 192x10! = 696729600 421, 241, 142 CDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.png
F4 F4 [3,4,3] 4 1152 24-cell CDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.png
G2 - [6] 2 12 hexagon CDel node.pngCDel 6.pngCDel node.png
H2 G2 [5] 2 10 pentagon CDel node.pngCDel 5.pngCDel node.png
H3 G3 [3,5] 3 120 icosahedron / dodecahedron CDel node.pngCDel 5.pngCDel node.pngCDel 3.pngCDel node.png
H4 G4 [3,3,5] 4 14400 120-cell / 600-cell CDel node.pngCDel 5.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
I2(p) D2p [p] 2 2p p-gon CDel node.pngCDel p.pngCDel node.png

Ομάδες συμμετρίας των κανονικών πολυτόπων[Επεξεργασία | επεξεργασία κώδικα]

Όλες οι συμμετρικές των κανονικών πολυτόπων είναι πεπερασμένες Κόξετερ ομάδες. Να σημειωθεί ότι τα δυικά πολύτοπα έχουν την ίδια συμμετρία ομάδας.

Υπάρχουν τρεις σειρές κανονικών πολυτόπων σε όλες τις διαστάσεις. Η συμμετρική ομάδα ενός κανονικού n-απλού είναι η συμμετρική ομάδα Sn+1, επίσης γνωστή ως η ομάδα Κόξετερ τύπου An. Η συμμετρική ομάδα του n-κύβου και το διπλό του, του n-υπεροκτάεδρο,είναι η Βn, γνωστή και ως η υπεροεκταεδρική ομάδα.

Τα εξαιρετικά πολύτοπα σε διαστάσεις 2,3 και τέσσερα αντιστοιχούν σε άλλες Κόξετερ ομάδες. Σε δύο διαστάσεις, οι δίεδρες ομάδες, οι οποίες είναι οι ομάδες συμμετρίας των κανονικών πολυγώνων,  αποτελούν τη σειρά I2(σ). Σε τρεις διαστάσεις, η συμμετρική ομάδα του κανονικού δωδεκάεδρο και του διπλού, το κανονικού εικοσάεδρου, Χ3, είναι γνωστή ως η πλήρης εικοσαεδρική ομάδα. Στις τέσσερις διαστάσεις, υπάρχουν τρία ειδικά κανονικά πολύτοπα, των 24-κελιών, των 120-κελιών, και των 600-κελιών. Το πρώτο έχει συμμετρία ομάδας την F4, ενώ τα άλλα δύο είναι δυικά και η έχουν ως ομάδα συμμετρίας την H4.

Οι Κόξετερ ομάδες τύπου Dn, E6, E7, E8 είναι οι συμμετρικές ομάδες ορισμένων ημικανονικών πολύτοπων.

Συναφής Κόξετερ ομάδες[Επεξεργασία | επεξεργασία κώδικα]

Κόξετερ διαγράμματα  Συναφή ομάδων Κόξετερ

ΟΙ συναφείς Κόξετερ ομάδες σχηματίζουν μια δεύτερη σημαντική σειρά Κόξετερ ομάδων. Αυτά δεν είναι πεπερασμένο από μόνα τους, αλλά το καθένα περιέχει μια κανονική αβελιανή υποομάδα τέτοια ώστε η αντίστοιχη ομάδα πηλίκο να είναι πεπερασμένη. Σε κάθε περίπτωση, η ομάδα πηλίκο είναι η ίδια ομάδα Κόξετερ, και το Κόξετερ γράφημα προκύπτει από το Κόξετερ γράφημα της Κόξετερ ομάδας, προσθέτοντας άλλο ένα στην κορυφή και ένα ή δύο επιπλέον στα άκρα. Για παράδειγμα, για n ≥ 2, το γράφημα που αποτελείται από n+1 κορυφές σε ένα κύκλο σχηματίζεται από ένα An  με αυτόν τον τρόπο, και η αντίστοιχη ομάδα Κόξετερ είναι συναφής με μια Weyl ομάδα Αn. Για n = 2, αυτό μπορεί να απεικονίζεται ως η συμμετρική ομάδα του προτύπου από γέμισμα του επιπέδου από ισόπλευρα τρίγωνα.

Μια λίστα με τις συναφή Κόξετερ ομάδες είναι η εξής:

Group

symbol

Witt

symbol

Bracket notation Related uniform tessellation(s) Coxeter-Dynkin diagram
Pn+1 [3[n]] Simplectic honeycomb CDel node.pngCDel split1.pngCDel nodes.pngCDel 3ab.png...CDel 3ab.pngCDel nodes.pngCDel 3ab.pngCDel branch.png

or
CDel branch.pngCDel 3ab.pngCDel nodes.pngCDel 3ab.png...CDel 3ab.pngCDel nodes.pngCDel 3ab.pngCDel branch.png

Sn+1 [4,3n-3,31,1] Demihypercubic honeycomb CDel node.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.png...CDel 3.pngCDel node.pngCDel split1.pngCDel nodes.png
Rn+1 [4,3n-2,4] Hypercubic honeycomb CDel node.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.png...CDel 3.pngCDel node.pngCDel 4.pngCDel node.png
Qn+1 [ 31,1,3n-4,31,1] Demihypercubic honeycomb CDel nodes.pngCDel split2.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.png...CDel 3.pngCDel node.pngCDel split1.pngCDel nodes.png
T7 [32,2,2] 222 CDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3ab.pngCDel nodes.pngCDel 3a.pngCDel nodea.png or CDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel split2.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
T8 [33,3,1] 331, 133 CDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.png or CDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel split2.pngCDel node.pngCDel 3.pngCDel node.png
T9 [35,2,1] 521, 251, 152 CDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.png
U5 [3,4,3,3] 16-cell honeycomb

24-cell honeycomb

CDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
V3 [6,3] Hexagonal tiling and

Triangular tiling

CDel node.pngCDel 6.pngCDel node.pngCDel 3.pngCDel node.png
W2 [∞] apeirogon CDel node.pngCDel infin.pngCDel node.png

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

Υπερβολικές Κόξετερ ομάδες[Επεξεργασία | επεξεργασία κώδικα]

Υπάρχουν απείρως πολλες υπερβολικές Κόξετερ ομάδες που περιγράφουν ανακλαστικές ομάδες σε υπερβολικό χώρο, ιδίως οι υπερβολικές τριγωνικές ομάδες.

Μερική διάταξη[Επεξεργασία | επεξεργασία κώδικα]

Μια επιλογή από ανακλαστικούς γεννήτορες δημιουργεί μια συνάρτηση μήκος σε μια Κόξετερ ομάδα, δηλαδή τον ελάχιστο αριθμό χρήσεων από γεννήτριες που απαιτείται για να εκφράσω μια ομάδα στοιχείο, αυτό ακριβώς είναι το μήκος της μετρικής λέξης στο Cayley γράφημα. Μια έκφραση για το v χρησιμοποιώντας το l(v) των γεννητριών είναι μειωμένη λέξη. Για παράδειγμα, η μετάθεση (13) S3 έχει δύο μειωμένη λέξεις, (12)(23)(12) και (23)(12)(23). Η συνάρτηση ορίζει ένα χάρτη γενικεύοντας την απεικόνιση του προσήμου για τις συμμετρικές ομάδες.

Χρησιμοποιώντας μειωμένη λέξη μπορεί κανείς να ορίσει τρεις μερικές διατάξεις στην ομάδα Coxeter, η (σωστή) αδύναμη διάταξη, την απόλυτη διάταξη και τη Bruhat διάταξη (το όνομά της από τον Φρανσουά Bruhat). Ένα στοιχείο v υπερβαίνει ένα στοιχείο u κατά τη Bruhat διάταξη, ώστε αν κάποια (ή αντίστοιχα, οποιαδήποτε) μειωμένη λέξη για το v περιέχει μειωμένη λέξη για το u ως δευτερεύουσα συμβολοσειρά, οπου κάποια γράμματα (σε οποιαδήποτε θέση) απορρίπτονται. Στην αδύναμη διάταξη, v ≥ u αν κάποια μειωμένη λέξη για το v περιέχει μειωμένη λέξη για το u ως ένα αρχικό τμήμα. Πράγματι, το μήκος λέξης  διαβαθμισμένα μερικώς διατεταγμένα σύνολα με αυτό τον τρόπο. Τα διαγράμματα Hasse που αντιστοιχούν σε αυτές τις εντολές είναι αντικείμενα μελέτης και σχετίζονται με το Cayley γράφημα που καθορίζεται από τις γεννήτριες. Η απόλυτη τάξη ορίζεται κατ ' αναλογία προς την αδύναμη διάταξη, αλλά με το να παράγει το σύνολο/αλφάβητο που αποτελείται από όλα τα συζυγή των Κόξετερ γεννητριών.

Για παράδειγμα, η μετάθεση (1 2 3) S3 έχει μόνο μία μειωμένη λέξη, (12)(23), έτσι ώστε να καλύπτει (12) και (23) στη Bruhat διάταξη, αλλά καλύπτει μόνο την (12) στην αδύναμη διάταξη.

Ομολογία[Επεξεργασία | επεξεργασία κώδικα]

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

Ο Schur πολλαπλασιαστής M(W) (σε σχέση με τη δεύτερη ομολογία) υπολογίστηκε από τους (Ihara & Yokonuma 1965) για πεπερασμένες ανακλαστικές ομάδες και από τον (Yokonuma 1965) για συναφής ανακλαστικές ομάδες, με ένα πιο ενοποιημένο λογαριασμό που δίνεται από τον (Howlett 1988). Σε όλες τις περιπτώσεις, ο Schur πολλαπλασιαστής είναι, επίσης, μια στοιχειώδης αβελιανή 2-ομάδα. Για κάθε άπειρη οικογένεια {Wn} είναι πεπερασμένη ή συναφή Weyl ομάδα, η τάξη των M(W) σταθεροποιείται καθώς το n πηγαίνει στο άπειρο.

Δείτε επίσης[Επεξεργασία | επεξεργασία κώδικα]

  • Artin ομάδα
  • Ομάδα "τρίγωνο"
  • Στοιχείο Κόξετερ
  • Κόξετερ αριθμός
  • Σύνθετη ανακλαστική ομάδα
  • Chevalley–Σέπαρντ–Τοντ θεώρημα
  • Κόξετερ-διάγραμμα Dynkin
  • Hecke άλγεβρα, μια κβαντική παραμόρφωση της ομάδας άλγεβρα
  • Kazhdan–Lusztig πολυώνυμο
  • Μεγαλύτερο στοιχείο Κόξετερ ομάδας
  • Supersoluble ρύθμιση

References[Επεξεργασία | επεξεργασία κώδικα]

Περαιτέρω ανάγνωση[Επεξεργασία | επεξεργασία κώδικα]

Εξωτερικοί σύνδεσμοι[Επεξεργασία | επεξεργασία κώδικα]