Συμμετρική Ομάδα

Συμμετρική Ομάς

Symmetry Group

Αλγεβρική Ομάδα Ομαδοθεωρία

"Θεαματική" Απεικόνιση της Ομάδας E8

Συμμετρία Τρίγωνο

- Μία Αλγεβρική Ομάδα.

Ετυμολογία

Η ονομασία "ομάδα" σχετίζεται ετυμολογικά με την λέξη "ομού".

Εισαγωγή

In abstract algebra, the symmetric group S_n on a finite set of n symbols is the group whose elements are all the permutation operations that can be performed on n distinct symbols, and whose group operation is the composition of such permutation operations, which are defined as bijective functions from the set of symbols to itself.

Low degree groups

The low-degree symmetric groups have simpler and exceptional structure, and often must be treated separately.

S₀ and S₁

The symmetric groups on the empty set and the singleton set are trivial, which corresponds to 1=0! = 1! = 1. In this case the alternating group agrees with the symmetric group, rather than being an index 2 subgroup, and the sign map is trivial. In the case of S₀, its only member is the Empty function.

S₂

This group consists of exactly two elements: the identity and the permutation swapping the two points. It is a cyclic group and so abelian. In Galois theory, this corresponds to the fact that the quadratic formula gives a direct solution to the general quadratic polynomial after extracting only a single root. In invariant theory, the representation theory of the symmetric group on two points is quite simple and is seen as writing a function of two variables as a sum of its symmetric and anti-symmetric parts: Setting f_s(x,y) = f(x,y) + f(y,x), and f_a(x,y) = f(x,y) − f(y,x), one gets that 2·f = f_s + f_a. This process is known as symmetrization.

S₃

S₃ is the first nonabelian symmetric group.

This group is isomorphic to the dihedral group of order 6, the group of reflection and rotation symmetries of an equilateral triangle, since these symmetries permute the three vertices of the triangle.

Cycles of length two correspond to reflections, and cycles of length three are rotations.

In Galois theory, the sign map from S₃ to S₂ corresponds to the resolving quadratic for a cubic polynomial, as discovered by Gerolamo Cardano, while the A₃ kernel corresponds to the use of the discrete Fourier transform of order 3 in the solution, in the form of Lagrange resolvents.

S₄

The Symmetric group S₄ is isomorphic to the group of proper rotations about opposite faces, opposite diagonals and opposite edges, Rencontres numbers 9, 8 and 6 permutations, of the cube. Beyond the group A₄, S₄ has a Klein four-group V as a proper normal subgroup, namely the even transpositions {(1), (1 2)(3 4), (1 3)(2 4), (1 4)(2 3)}, with quotient S₃.

In Galois theory, this map corresponds to the resolving cubic to a quartic polynomial, which allows the quartic to be solved by radicals, as established by Lodovico Ferrari. The Klein group can be understood in terms of the Lagrange resolvents of the quartic. The map from S₄ to S₃ also yields a 2-dimensional irreducible representation, which is an irreducible representation of a symmetric group of degree n of dimension below n − 1, which only occurs for 1=n = 4.

S₅

S₅ is the first non-solvable symmetric group.

Along with the special linear group SL(2, 5) and the icosahedral group A₅ × S₂, S₅ is one of the three non-solvable groups of order 120, up to isomorphism. S₅ is the Galois group of the general quintic equation, and the fact that S₅ is not a solvable group translates into the non-existence of a general formula to solve quintic polynomials by radicals.

There is an exotic inclusion map S₅ → S₆ as a transitive subgroup; the obvious inclusion map S_n → S_n+1 fixes a point and thus is not transitive. This yields the outer automorphism of S₆, discussed below, and corresponds to the resolvent sextic of a quintic.

S₆

Unlike all other symmetric groups, S₆, has an outer automorphism. Using the language of Galois theory, this can also be understood in terms of Lagrange resolvents. The resolvent of a quintic is of degree 6—this corresponds to an exotic inclusion map S₅ → S₆ as a transitive subgroup (the obvious inclusion map S_n → S_n+1 fixes a point and thus is not transitive) and, while this map does not make the general quintic solvable, it yields the exotic outer automorphism of S₆—see automorphisms of the symmetric and alternating groups for details.

Note that while A₆ and A₇ have an exceptional Schur multiplier (a triple cover) and that these extend to triple covers of S₆ and S₇, these do not correspond to exceptional Schur multipliers of the symmetric group.

Μητραϊκή Αναπαράσταση της S3

$\begin{array}{rcccll} e &=& \begin{pmatrix} 1 & 2 & 3 \\ 1 & 2 & 3 \end{pmatrix}&=& (1)&\qquad \mathrm{ord}\left(e\right)=1\\ \\ d &=& \begin{pmatrix} 1 & 2 & 3 \\ 2 & 3 & 1 \end{pmatrix}&=&(1~2~3)&\qquad \mathrm{ord}\left(d\right)=3\\ \\ d^2 &=& \begin{pmatrix} 1 & 2 & 3 \\ 3 & 1 & 2 \end{pmatrix}&=&(1~3~2)&\qquad \mathrm{ord}\left(d^2\right)=3\\ \\ s_1 &=& \begin{pmatrix} 1 & 2 & 3 \\ 1 & 3 & 2 \end{pmatrix}&=&(2~3)&\qquad \mathrm{ord}\left(s_1\right)=2\\ \\ s_2 &=& \begin{pmatrix} 1 & 2 & 3 \\ 3 & 2 & 1 \end{pmatrix}&=&(1~3)&\qquad \mathrm{ord}\left(s_2\right)=2\\ \\ s_3 &=& \begin{pmatrix} 1 & 2 & 3 \\ 2 & 1 & 3 \end{pmatrix}&=&(1~2)&\qquad \mathrm{ord}\left(s_3\right)=2 \end{array}$

$GL(2,\mathbb{F}_2) =\left\{ \begin{bmatrix} 1 &0 \\ 0 & 1 \end{bmatrix}, \begin{bmatrix} 1 &1 \\ 0 & 1 \end{bmatrix}, \begin{bmatrix} 1 &0 \\ 1 & 1 \end{bmatrix}, \begin{bmatrix} 0 &1 \\ 1 & 0 \end{bmatrix}, \begin{bmatrix} 1 &1 \\ 1 & 0 \end{bmatrix}, \begin{bmatrix} 0 &1 \\ 1 & 1 \end{bmatrix} \right\}$

is isomorphic with $S_3$.

Εσωτερική Αρθρογραφία

• Ομαδοθεωρία
• Μαθηματική Μήτρα
• Προσθετική Ομάδα
• Πολλαπλασιαστική Ομάδα
• Συμμετρική Ομάδα S4
• Συμμετρική Ομάδα S3
• Συμμετρική Ομάδα S2
• Εναλλάσσουσα Ομάδα

Ιστογραφία

• Ομώνυμο άρθρο στην Βικιπαίδεια
• Ομώνυμο άρθρο στην Livepedia
• physics.upatras.gr
• opinionator.blogs.nytimes.com
• "Introduction to Group Theory for Physicists", Marina von Steinkirch

Κίνδυνοι Χρήσης

Αν και θα βρείτε εξακριβωμένες πληροφορίες σε αυτήν την εγκυκλοπαίδεια ωστόσο, παρακαλούμε να λάβετε σοβαρά υπ' όψη ότι η "Sciencepedia" δεν μπορεί να εγγυηθεί, από καμιά άποψη, την εγκυρότητα των πληροφοριών που περιλαμβάνει. "Οι πληροφορίες αυτές μπορεί πρόσφατα να έχουν αλλοιωθεί, βανδαλισθεί ή μεταβληθεί από κάποιο άτομο, η άποψη του οποίου δεν συνάδει με το "επίπεδο γνώσης" του ιδιαίτερου γνωστικού τομέα που σας ενδιαφέρει." Πρέπει να λάβετε υπ' όψη ότι όλα τα άρθρα μπορεί να είναι ακριβή, γενικώς, και για μακρά χρονική περίοδο, αλλά να υποστούν κάποιο βανδαλισμό ή ακατάλληλη επεξεργασία, ελάχιστο χρονικό διάστημα, πριν τα δείτε. Επίσης, Οι διάφοροι "Εξωτερικοί Σύνδεσμοι (Links)" (όχι μόνον, της Sciencepedia αλλά και κάθε διαδικτυακού ιστότοπου (ή αλλιώς site)), αν και άκρως απαραίτητοι, είναι αδύνατον να ελεγχθούν (λόγω της ρευστής φύσης του Web), και επομένως είναι ενδεχόμενο να οδηγήσουν σε παραπλανητικό, κακόβουλο ή άσεμνο περιεχόμενο. Ο αναγνώστης πρέπει να είναι εξαιρετικά προσεκτικός όταν τους χρησιμοποιεί.

- Μην κάνετε χρήση του περιεχομένου της παρούσας εγκυκλοπαίδειας
αν διαφωνείτε με όσα αναγράφονται σε αυτήν

---

>>Διαμαρτυρία προς την wikia<<

- Όχι, στις διαφημίσεις που περιέχουν απαράδεκτο περιεχόμενο (άσεμνες εικόνες, ροζ αγγελίες κλπ.)

---