Held group

Στην περιοχή της σύγχρονης άλγεβρας γνωστή και ως θεωρία ομάδων, η ομάδα Held είναι σποραδική απλή ομάδα της τάξης

   2¹⁰Πρότυπο:·3³Πρότυπο:·5²Πρότυπο:·7³Πρότυπο:·17 = 4030387200

≈ 4×10⁹.

Ιστορία

Αυτή είναι μια από τις 26 σποραδικές ομάδες και βρέθηκε από τον Dieter Held (1969a, 1969b) κατά τη διάρκεια  της έρευνας απλών ομάδων που περιέχουν μια συνάρτηση με κανονικοποιητή ισόμορφο με μια  Mathieu ομάδα M₂₄. Μια δεύτερη ομάδα είναι η γραμμική ομάδα L₅(2). Η ομάδα είναι η τρίτη πιθανή, και η κατασκευή της ολοκληρώθηκε από τους Τζον Μακέι και Graham Higman.

Η εξωτερική ομάδα αυτομορφισμών έχει τάξη 2 και ο πολλαπλασιαστής Schur είναι τετριμμένος.

Αναπαραστάσεις

Το μικρότερο συγκρότημα που εμφανίζεται έχει διάσταση 51 * υπάρχουν δύο τέτοιες αναπαραστάσεις που μάχεται η μία την άλλη.

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

Η μικρότερο αναπαράσταση μετάθεσης είναι βαθμίδας δράσης 5 για 2058 σημεία με σημείο σταθεροποιητή Sp₄(4):2.

Η ομάδα αυτομορφισμών He:2 της ομάδας Held είναι μια υποομάδα της Fischer ομάδα Fi24.

Generalized Monstrous Moonshine

Οι Conway και  Norton πρότειναν το 1979 στο έγγραφο τους ότι η monstrous moonshine  δεν περιορίζεται στο μόνο στο monster , αλλά ότι παρόμοια φαινόμενα μπορούν να βρεθούν και τις άλλες ομάδες. Η Βασίλισσα Larissa και άλλοι στη συνέχεια ανακάλυψαν ότι μπορεί κανείς να κατασκευάσει επεκτάσεις Hauptmoduln κάνοντας απλούς συνδυασμούς της διάστασης των σποραδικών ομάδων. Για τον He, η σχετική McKay-Thompson σειρά $T_{7A}(\tau )$ , όπου μπορεί κανείς να ορίσει το σταθερό όρο a(0) = 10 ( A007264),

$\begin{array}{cc}{j}_{7A}(\tau )& =T_{7A}(\tau )+10\\ & =\left(\right(\frac{\eta (\tau )}{\eta (7\tau )}{)}^2+7(\frac{\eta (7\tau )}{\eta (\tau )}{)}^2{)}^2\\ & =\frac{1}{q}+10+51q+204q^2+681q^3+1956q^4+5135q^5+\dots \end{array}$

και η(τ) είναι η Dedekind eta συνάρτηση.

Παρουσίαση

Μπορεί να ορισθεί σύμφωνα με τις γεννήτριες α και β οι σχέσεις

$a^2=b^7=(ab{)}^{17}=[a,b{]}^6={[a,b^3]}^5=[a,baba{b}^{-1}abab]=(ab{)}^{4}a{b}^{2}a{b}^{-3}ababa{b}^{-1}a{b}^{3}a{b}^{-2}a{b}^2=1.$

Μέγιστη υποομάδες

Πρότυπο:Harvard citation text βρήκε το 11 conjugacy τάξεις της μέγιστης υποομάδες της Είναι ως εξής:

• S₄(4):2
• 2².L₃(4).S₃
• 2^{και 6}:3.S₆
• 2^{και 6}:3.S₆
• 2¹⁺⁶.L₃(2)
• 7²:2.L₂(7)
• 3.S₇
• 7¹⁺²:(3 × S₃)
• S₄ × L₃(2)
• 7:3 × L₃(2)
• 5²:4Α₄

Αναφορές

• Πρότυπο:Citation
• Πρότυπο:Citation
• Πρότυπο:Citation
• Πρότυπο:Citation

Εξωτερικοί σύνδεσμοι

• MathWorld: ομάδα
• Άτλας των Πεπερασμένων Ομάδα Αναπαραστάσεις: μια ομάδα\