formulasearchengine - User contributions [en]

WKB approximation

2015-01-12T10:11:57Z

141.89.116.54: /* Application to the Schrödinger equation */ removed imaginary unit from amplitude eqn. (2nd order approx, when V>E)

Gabrielle Straub is what someone can call me although it's not the very feminine of names. Guam has always been my home. Filing gives been my profession blood pressure levels . time and I'm ordering pretty good financially. Fish keeping is what [http://www.Tumblr.com/tagged/I+follow I follow] every week. See is actually new on my web presence here: http://circuspartypanama.com my blog post: clash of clans hack ([http://circuspartypanama.com http://circuspartypanama.com])

Model category

2014-10-13T08:48:40Z

141.89.158.245: /* Some constructions */

She is known by the title of Myrtle Shryock. He is really fond of performing ceramics but he is having difficulties to discover time for it. Years ago we moved to North Dakota and I adore each working day living here. Supervising is my occupation. Also visit my website; [http://www.animecontent.com/blog/436250 std testing at home]

Minakshisundaram–Pleijel zeta function

2014-10-06T13:55:55Z

141.89.116.100: /* Definition */

Hello and welcome. My title is Numbers Wunder. Years in the past he moved to North Dakota and his family enjoys it. For years he's been operating as a receptionist. It's not a typical factor but what she likes performing is base jumping and now she is attempting to make money with it. Also visit my web site [http://www.siccus.net/blog/15356 at home std test]

Fundamental solution

2014-01-28T11:52:56Z

141.89.159.194:

The '''Syriac Sinaitic''' (syrs), known also as the '''Sinaitic Palimpsest''', of [[Saint Catherine's Monastery]] is a late 4th century [[manuscript]] of 358 pages, containing a translation of the four canonical [[gospel]]s of the [[New Testament]] into [[Syriac language|Syriac]], which have been overwritten by a ''vita'' (biography) of female [[saint]]s and [[martyr]]s with a date corresponding to AD 778. This [[palimpsest]] is the oldest copy of the gospels in Syriac, one of two surviving manuscripts (the other being the [[Curetonian Gospels]]) that are conventionally dated to before the [[Peshitta]], the standard Syriac translation of the Bible.

==Text==
Both syrs and syrcur contain similar renderings of the gospel text, exhibiting conformity with the Greek. Even so, syrs retains some readings from even earlier lost Syriac gospels and from the 2nd century [[Greek language|Greek]] [[manuscripts]], which brought the four gospels into harmony with one another through selective readings and emendations.<ref>See [[Gospel harmony]].</ref>

The importance of such early, least conforming texts is emphasized by the revision of the Peshitta that was made about 508, ordered by bishop [[Philoxenus of Mabbog]]. His revision, it is said, skilfully moved the Peshitta nearer to the Greek text; "it is very remarkable that his own frequent gospel quotations preserved in his writings show that he used an Old Syriac set of the four gospels".<ref>[http://www.ashu39.dsl.pipex.com/ChristianMysteries/syriac_versions.html Steven Ring: ''Ancient Syriac New Testament Versions''.]</ref>

==History==
The palimpsest was identified in the library at Saint Catherine's Monastery in February 1892 by [[Agnes Smith Lewis]] and her sister [[Margaret Dunlop Gibson]], who returned with a team of scholars that included [[J. Rendel Harris]], to photograph and transcribe the work in its entirety.<ref>[http://www.metamind.net/sisterbio.html A. S. Lewis and her sister M. D. Gibson and the discovery of the Sinaitic Palimpsest].</ref>

The German theologian [[Adalbert Merx]] devoted much of his later research to the elucidation of the Sinaitic Palimpsest, the results being embodied in ''Die vier kanonischen Evangelien nach dem ältesten bekannten Texte'' (1897-1905).

The Sinaitic Palimpsest immediately became a central document in tracing the history of the New Testament. The palimpsest's importance lies especially in making the Greek New Testament manuscripts understandable to [[Aramaic language|Aramaic]] speaking communities during that period.

== Notable readings ==

The palimpsest lacks the [[Mark 16|last 12 verses of Mark]], [[Christ's agony at Gethsemane|Christ's agony]] (Luke 22:43-44), the [[Jesus and the woman taken in adultery|Pericope Adulteræ]] (John 7:53-8:11), and the reconciliation of Pilate with Herod (Luke 23:10-12).<ref>H. Schumacher, ''A Handbook of Scripture Study'' (B. Herder Book Co.: London 1923), p. 39.</ref>

In Matthew 4:10, it contains a singular reading reflecting the Greek ὕπαγε ὀπίσω σου (''get you behind'' or ''get behind you'').

Matthew 12:47 is omitted, as in א*, B, [[Codex Regius (New Testament)|L]], [[Codex Tischendorfianus IV|Γ]], 1009, [[Lectionary 12|'''ℓ''' ''12'']], ff1, k, syrc, copsa.<ref>NA26, p. 46.</ref>

In Matthew 14:12, it reflects πτωμα (''corpse'') with א B C D L Θ ''f''1 ''f''13 [[Minuscule 33|33]] 565 700 892 1241 1424 e k '''ℓ''' ''844'' '''ℓ''' ''2211'' syrc, p copbo

In Matthew 16:12, it reflects της ζυμης (''leaven'') with D, Θ, ''f''13, 565, a, b, ff2

Matthew 21:44 is omitted, as in [[Papyrus 104|<math>\mathfrak{P}</math>104]], D, 33, ita.b.d.e, ff1, ff2, r1, [[Irenaeus]]lat, [[Origen]], [[Eusebius of Caesarea|Eusebius]]

In Matthew 27:9, text reflecting Ιερεμιου (''Jeremiah'') is omitted, as in [[Codex Beratinus|Φ]] 33 it[[Codex Vercellensis|a]] it[[Codex Veronensis|b]] syrp copbo

In Matthew 27:16, it reflects Ἰησοῦν τὸν Βαραββᾶν (''Jesus the Barabbas'') with [[Codex Koridethi|Θ]] ''f''1 700* arm geo2

In Mark 2:26, the phrase ''when Abiatar was high priest'' is omitted, as in D, W, 1009, 1546, ita.b.d.e.ff2.i.r1.t

In Mark 10:2, the phrase ''the Pharisees came'' is omitted, as in D, ita.b.d.k.r1, (syrcur)

In Mark 10:7, the phrase ''and be joined to his wife'' is omitted, as in [[Codex Sinaiticus|א]], [[Codex Vaticanus Graecus 1209|B]], [[Codex Athous Lavrensis|Ψ]], [[Minuscule 892|892]]*, [[Minuscule 2427|2427]], [[Lectionary 48|'''ℓ''' ''48'']], goth.<ref>UBS3, p. 164.</ref>

In Luke 4:17, it reflects ἀνοίξας (''opened'') with A, B, L, W, Ξ, 33, 579, 892, 1195, 1241, [[Lectionary 547|'''ℓ''' ''547'']], syrh, pal, copsa, bo

In Luke 9:35, it reflects ἐκλελεγμένος (''Elect One'') with [[Papyrus 45|<math>\mathfrak{P}</math>45]] [[Papyrus 75|<math>\mathfrak{P}</math>75]] א B L Ξ 892 1241 ita.aur.ff2.l vgst copmss

In Luke 10:41b-42a, the phrase ''you are worried and being troubled about many things, but only one thing is needed'' is omitted, as in ita.b.d.e.ff2.i.l.r1 [[Ambrose]]

In Luke 23:34, the phrase ''And Jesus said: Father forgive them, they know not what they do'' is omitted, agreeing with [[Papyrus 75|<math>\mathfrak{P}</math>75]], [[Codex Sinaiticus|א1]], [[Codex Vaticanus Graecus 1209|B]], [[Codex Bezae|D*]], [[Codex Washingtonianus|W]], [[Codex Koridethi|Θ]], [[Uncial 070|0124]], 1241, [[Codex Vercellensis|a]], Bezaelat, copsa, copbo.<ref>UBS4, p. 311.</ref>

Luke 24:40 is omitted, as in D ita.b.d.e.ff2.l.r1, syrcur

In Luke 24:52, the phrase ''after worshiping him'' is omitted, as in D ita.b.d.e.ff2.geo2.l (syrcur)

In Luke 24:53, it reflects εὐλογοῦντες (''blessing'') with <math>\mathfrak{P}</math>75 א B C* L

In John 1:34, it reflects ὁ ἐκλεκτός (''the Elect One'') with [[Papyrus 5|<math>\mathfrak{P}</math>5]] [[Papyrus 106|<math>\mathfrak{P}</math>106]]vid א* itb.e.ff2* syrcur

In John 6:23, the phrase ''the Lord having given thanks'' is omitted, as in D [[Uncial 091|091]] ita.e syrcur

In John 6:42, the phrase ''and his mother'' is omitted, as in א* W itb syrcur

In John 6:46, it contains a singular reading reflecting the Greek θεον πατερα (''God the Father'').

In John 6:47, it reflects ὁ πιστεύων εις θεον ἔχει ζωὴν αἰώνιον (''he who is believing '''in God''' has life everlasting'') in agreement only with syrcur.

In John 6:51, it reflects του εμου ἄρτου (''my bread'') with א ita.e.r1

In John 6:64, the text ''who they are who are not believing, and'' is omitted, as in [[Papyrus 66|<math>\mathfrak{P}</math>66*]] ite syrcur

In John 7:32, the phrase ''the chief priests and the Pharisees'' is omitted, as in [[Minuscule 118|118]] itb.e

In John 8:16, text reflecting πατήρ (''father'') is omitted, as in א* D 1655* itd syrcur

In John 8:53, the phrase ''our father'' is omitted, as in D W ita.b.c.d.e.ff2.j.l coppbo

In John 9:18, the phrase ''had been blind and had received sight'' is omitted, as in <math>\mathfrak{P}</math>66* ''f''1 565 itmss copbo

In John 9:35, it reflects υἱὸν τοῦ ἀνθρώπου (''Son of Man'') with <math>\mathfrak{P}</math>66 <math>\mathfrak{P}</math>75 א B D W copmss

In John 11:25, the phrase ''and the life'' is omitted, as in <math>\mathfrak{P}</math>45 itl [[Diatessaron]]syr [[Cyprian]]

In John 11:39, the phrase ''the sister of the deceased'' is omitted, as in [[Codex Koridethi|Θ]] itaur.b.c.e.ff2.l ac2

In John 11:51, the phrase ''of that year'' is omitted, as in <math>\mathfrak{P}</math>45 ite.l

John 12:8 is omitted, as in D itd

In John 13:32, the phrase ''If God has been glorified in him'' is omitted, as in <math>\mathfrak{P}</math>66 א* B C* D L W 579 it vgmss syrh ac2 mf cobomss

In John 14:1, the phrase ''And he said to his disciples'' starts the passage, as in D ita.aur.c

John 14:14 in omitted, as in X [[Codex Tischendorfianus III|Λ]]* [[Uncial 0141|0141]] ''f''1 [[Minuscule 565|565]] itb vgms arm

John 16:3 is omitted.

In John 16:28, the phrase ''I came forth from the Father'' is omitted, as in D W itb.d.ff2 ac2 coppbo

In John 17:14, the phrase ''just as I am not of the world'' is omitted, as in <math>\mathfrak{P}</math>66* D ''f''13 it

In John 18:5, the phrase ''the one betraying him'' is omitted, as in <math>\mathfrak{P}</math>66*vid

In John 18:13-24, the verse order is 13, 24, 14-15, 19–23, 16–18

In John 20:1, the text reads ''from the opening of the tomb'' with א W ''f''1 22 565 579 itd.f.r1 vgms copbo coppbo

John 20:13 contains an interpolation (in bold): ''Woman, why are you weeping? '''Who are you seeking?''''' This reading is supported by A* D 579 1424

John 20:26 contains a singular reading (in bold): ''And after eight days, '''on the first day of the Sabbath (week?)'''''

In John 21:4, the passage concludes with ''yet, they knew not'' as with <math>\mathfrak{P}</math>66 א L Ψ 33 844 lat

In John 21:13, it reflects ευχαριστησας εδωκεν αὐτοῖς (''upon giving thanks, he gave it to them'') as with D itf.r1 vgmss

==See also==
* [[Aramaic primacy]]
* [[Codex Sinaiticus]]

==References==
{{reflist|2}}

==External links==
* Agnes Smith Lewis, [http://www.archive.org/stream/catalogueofsyria00sainrich#page/n13/mode/2up ''Catalogue of the Syriac mss. in the Convent of S. Catharine on Mount Sinai''] (1894)
* [http://www.ashu39.dsl.pipex.com/ChristianMysteries/syriac_versions.html "Ancient Syriac New Testament Versions"]: summary of how these ancient Syriac versions of the gospel are related and the context of their creation
* [http://www.metamind.net/burkittbio.html Dr Francis Crawford Burkitt and the Sinaitic Palimpsest]

[[Category:4th-century biblical manuscripts]]
[[Category:Syriac manuscripts]]

Surface second harmonic generation

2013-09-11T16:27:11Z

141.89.199.70: /* Calculation of molecular orientation */

In [[group theory]], a branch of [[mathematics]], the [[automorphism]]s and [[outer automorphism]]s of the [[symmetric group]]s and [[alternating group]]s are both standard examples of these automorphisms, and objects of study in their own right, particularly the exceptional outer automorphism of ''S''6, the symmetric group on 6 elements.

== Summary ==
{| align="right" cellspacing="2"
|----- bgcolor="#A0E0A0"
| ''n''
| <math>\operatorname{Aut}(S_n)</math>
| <math>\operatorname{Out}(S_n)</math>
|-----
| <math>n\neq 2,6</math>
| <math>S_n</math>
| 1
|-----
| <math>n=2</math>
| 1
| 1
|-----
| <math>n=6</math>
| <math>S_6 \rtimes C_2</math><ref name=JR>{{citation
|title=Outer Automorphisms of ''S''6
|first1=Gerald |last1=Janusz
|first2=Joseph |last2=Rotman
|journal=[[The American Mathematical Monthly]]
|volume=89
|number=6
|date=June–July 1982
|pages=407–410
|jstor=2321657
}}</ref>
| <math>C_2</math>
|}

{| align="right" cellspacing="2"
|----- bgcolor="#A0E0A0"
| ''n''
| <math>\operatorname{Aut}(A_n)</math>
| <math>\operatorname{Out}(A_n)</math>
|-----
| <math>n\geq 4, n\neq 6</math>
| <math>S_n</math>
| <math>C_2</math>
|-----
| <math>n=1,2</math>
| 1
| 1
|-----
| <math>n=3</math>
| <math>C_2</math>
| <math>C_2</math>
|-----
| <math>n=6</math>
| <math>S_6 \rtimes C_2</math>
| [[Klein four-group|<math>V=C_2 \times C_2</math>]]
|}

===Generic case===
* <math>n\neq 2,6</math>: <math>\operatorname{Aut}(S_n) = S_n</math>, and thus <math>\operatorname{Out}(S_n) = 1</math>.
:Formally, <math>S_n</math> is [[complete group|complete]] and the natural map <math>S_n \to \operatorname{Aut}(S_n)</math> is an isomorphism.
* <math>n\neq 2,6</math>: <math>\operatorname{Out}(A_n)=S_n/A_n=C_2</math>, and the outer automorphism is conjugation by an [[Even and odd permutations|odd permutation]].
* <math>n\neq 2,3,6</math>: <math>\operatorname{Aut}(A_n)=\operatorname{Aut}(S_n)=S_n</math>
:Formally, the natural maps <math>S_n \to \operatorname{Aut}(S_n) \to \operatorname{Aut}(A_n)</math> are isomorphisms.

===Exceptional cases===
* <math>n=1,2</math>: trivial:
:: <math>\operatorname{Aut}(S_1)=\operatorname{Out}(S_1)=\operatorname{Aut}(A_1)=\operatorname{Out}(A_1)=1</math>
:: <math>\operatorname{Aut}(S_2)=\operatorname{Out}(S_2)=\operatorname{Aut}(A_2)=\operatorname{Out}(A_2)=1</math>
* <math>n=3</math>: <math>\operatorname{Aut}(A_3)=\operatorname{Out}(A_3)=S_3/A_3=C_2</math>
* <math>n=6</math>: <math>\operatorname{Out}(S_6)=C_2</math>, and <math>\operatorname{Aut}(S_6)=S_6 \rtimes C_2</math> is a [[semidirect product]].
* <math>n=6</math>: <math>\operatorname{Out}(A_6)=C_2 \times C_2</math>, and <math>\operatorname{Aut}(A_6)=\operatorname{Aut}(S_6)=S_6 \rtimes C_2.</math>

== The exceptional outer automorphism of ''S''6 ==
Among symmetric groups, only ''S''6 has a (non-trivial) outer automorphism,
which one can call ''[[exceptional object|exceptional]]'' (in analogy with [[exceptional Lie algebra]]s) or ''exotic''. In fact, Out(''S''6) = ''C''2.<ref>[[Tsit-Yuen Lam|Lam, T. Y.]], & Leep, D. B. (1993). "Combinatorial structure on the automorphism group of ''S''6". ''[[Expositiones Mathematicae]]'', 11(4), 289–308.</ref>

This was discovered by [[Otto Hölder]] in 1895.<ref>[[Tsit-Yuen Lam|Lam, T. Y.]], & Leep, D. B. (1993). "Combinatorial structure on the automorphism group of ''S''6". ''[[Expositiones Mathematicae]]'', 11(4), 289–308.</ref><ref>[[Otto Hölder]] (1895), "Bildung zusammengesetzter Gruppen", ''[[Mathematische Annalen]]'', 46, 321–422.</ref>

This also yields another outer automorphism of ''A''6, and this is the only exceptional outer automorphism of a finite simple group:<ref>ATLAS p. xvi</ref> for the infinite families of simple groups, there are formulas for the number of outer automorphisms, and the simple group of order 360, thought of as ''A''6, would be expected to have two outer automorphisms, not four.
However, when ''A''6 is viewed as PSL(2, 9) the outer automorphism group has the expected order. (For [[sporadic group]]s (not falling in an infinite family), the notion of exceptional outer automorphism is ill-defined, as there is no general formula.)

=== Construction ===
There are numerous constructions, listed in {{Harv|Janusz|Rotman|1982}}.

Note that as an outer automorphism, it's a ''class'' of automorphisms, well-determined only up to an inner automorphism, hence there is not a natural one to write down.

One method is:
* Construct an exotic map (embedding) ''S''5 → ''S''6
* ''S''6 acts by conjugation on the six conjugates of this subgroup;
:yielding a map ''S''6 → ''S''''X'', where ''X'' is the set of conjugates. Identifying ''X'' with the numbers 1, ..., 6 (which depends on a choice of numbering of the conjugates, i.e., up to an element of ''S''6 (an inner automorphism)) yields an outer automorphism ''S''6 → ''S''6.
* This map is an outer automorphism, since a transposition doesn't map to a transposition, but inner automorphisms preserve cycle structure.

Throughout the following, one can work with the multiplication action on cosets or the conjugation action on conjugates.

To see that ''S''6 has an outer automorphism, recall that homomorphisms
from a group ''G'' to a symmetric group ''S''''n'' are essentially the same as actions
of ''G'' on a set of ''n'' elements, and the subgroup fixing a point is then a subgroup of [[Index of a subgroup|index]] at most ''n'' in ''G''. Conversely if we have a subgroup of index ''n'' in ''G'', the action on the cosets gives a transitive action of ''G'' on ''n'' points, and therefore a homomorphism to ''S''''n''.

=== Exotic map ''S''5 → ''S''6 ===
{{anchor|Exotic map}}
There is a subgroup (indeed, 6 conjugate subgroups) of ''S''6 which are abstractly isomorphic to ''S''5, and transitive as subgroups of ''S''6.

==== Sylow 5-subgroups ====
Janusz and Rotman construct it thus:
* ''S''5 acts transitively by conjugation on its 6 [[Sylow subgroup|Sylow 5-subgroups]], yielding an embedding ''S''5 → ''S''6 as a transitive subgroup of order 120. (The obvious map ''S''''n'' → ''S''''n''+1 fixes a point and thus isn't transitive.)
This follows from inspection of 5-cycles: each 5-cycle generates a group of order 5 (thus a Sylow subgroup), there are 5!/5 = 120/5 = 24  5-cycles, yielding 6 subgroups (as each subgroup also includes the identity), and ''S''''n'' acts transitively by conjugation on cycles of a given class, hence transitively by conjugation on these subgroups.

One can also use the Sylow theorems, which imply transitivity.

==== PGL(2,5) ====
The [[projective linear group]] of dimension two over the [[finite field]] with five elements, PGL(2, 5), acts on the [[projective line]] over the field with five elements, '''P'''1('''F'''5), which has six elements. Further, this action is [[faithful group action|faithful]] and 3-[[transitive group action|transitive]], as is always the case for the action of the projective linear group on the projective line. This yields a map PGL(2, 5) → ''S''6 as a transitive subgroup. Identifying PGL(2, 5) with ''S''5 and the projective special linear group PSL(2, 5) with ''A''5 yields the desired exotic maps ''S''5 → ''S''6 and ''A''5 → ''A''6.<ref>{{citation
|title=Small finite sets
|work=[http://sbseminar.wordpress.com/ Secret Blogging Seminar]
|date=2007-10-27
|first=Scott
|last=Carnahan
|url=http://sbseminar.wordpress.com/2007/10/27/small-finite-sets/
|postscript=, notes on a talk by [[Jean-Pierre Serre]].
}}</ref>

Following the same philosophy, one can realize the outer automorphism as the following two inequivalent actions of ''S''6 on a set with six elements:<ref>{{citation
|title=The Outer Automorphism of ''S''6
|work=[http://sbseminar.wordpress.com/ Secret Blogging Seminar]
|date=2007-10-28
|first=Noah
|last=Snyder
|url=http://sbseminar.wordpress.com/2007/10/28/the-outer-automorphism-of-s_6/
}}</ref>
* the usual action as a permutation group;
* the six inequivalent structures as the projective line '''P'''1('''F'''5) – the line has 6 points, and the projective linear group acts 3-transitively, so fixing 3 of the points, there are 3! = 6 different ways to arrange the remaining 3 points, which yields the desired alternative action.

==== Frobenius group ====
Another way:
To construct an outer automorphism of ''S''6, we need to construct
an "unusual" subgroup of index 6 in ''S''6, in other words one that is not one of the six obvious ''S''5 subgroups fixing a point (which just correspond to inner automorphisms of ''S''6).

The [[Frobenius group]] of [[affine transformation]]s of [[finite field|'''F'''5]] (maps ''x'' <math>\mapsto</math> ''ax'' + ''b'' where ''a'' ≠ 0) has order 20 = (5 − 1) · 5 and acts on the field with 5 elements, hence is a subgroup of ''S''5.
(Indeed, it is the normalizer of a Sylow 5-group mentioned above, thought of as the order-5 group of translations of '''F'''5.)

''S''5 acts transitively on the coset space, which is a set of 120/20 = 6 elements (or by conjugation, which yields the action above).

=== Other constructions ===
[[Ernst Witt]] found a copy of Aut(''S''6) in the [[Mathieu group]] M12 (a subgroup ''T'' isomorphic to ''S''6 and an element ''σ'' that normalizes ''T'' and acts by outer automorphism). Similarly to ''S''6 acting on a set of 6 elements in 2 different ways (having an outer automorphism), M12 acts on a set of 12 elements in 2 different ways (has an outer automorphism), though since ''M''12 is itself exceptional, one does not consider this outer automorphism to be exceptional itself.

The full automorphism group of ''A''6 appears naturally as a maximal subgroup of the Mathieu group M12 in 2 ways, as either a subgroup fixing a division of the 12 points into a pair of 6-element sets, or as a subgroup fixing a subset of 2 points.

Another way to see that ''S''6 has a nontrivial outer automorphism is to use the fact that ''A''6 is isomorphic to PSL2(9), whose automorphism group is the [[projective semilinear group]] PΓL2(9), in which PSL2(9) is index 4, yielding an outer automorphism group of order 4. The most visual way to see this automorphism is to give an interpretation via algebraic geometry over finite fields, as follows. Consider the action of ''S''6 on affine 6-space over the field k with 3 elements. This action preserves several things: the hyperplane H on which the coordinates sum to 0, the line L in H where all coordinates coincide, and the quadratic form q given by the sum of the squares of all 6 coordinates. The restriction of q to H has defect line L, so there is an induced quadratic form Q on the 4-dimensional H/L that one checks is non-degenerate and non-split. The zero scheme of Q in H/L defines a smooth quadric surface X in the associated projective 3-space over k. Over an algebraic closure of k, X is a product of two projective lines, so by a descent argument X is the Weil restriction to k of the projective line over a quadratic étale algebra K. Since Q is not split over k, an auxiliary argument with special orthogonal groups over k forces K to be a field (rather than a product of two copies of k). The natural ''S''6-action on everything in sight defines a map from ''S''6 to the k-automorphism group of X, which is the semi-direct product G of PGL2(K) = PGL2(9) against
the Galois involution. This map carries the simple group ''A''6 nontrivially into (hence onto) the subgroup PSL2(9) of index 4 in the semi-direct product G, so ''S''6 is thereby identified as an index-2 subgroup of G (namely, the unique such subgroup distinct from PGL2(9) that also does not contain the Galois involution). Conjugation by any element of G outside of ''S''6defines the nontrivial outer automorphism of ''S''6.

=== Structure of outer automorphism ===
On cycles, it exchanges permutations of type (12) with (12)(34)(56) (class 21 with class 23), and of type (123) with (145)(263) (class 31 with class 32).

On ''A''6, it interchanges the 3-cycles (like (123)) with elements of class 32 (like (123)(456)).

== No other outer automorphisms ==
To see that none of the other symmetric groups have outer automorphisms, it is easiest to proceed in two steps:
# First, show that any automorphism that preserves the [[conjugacy class]] of transpositions is an inner automorphism. (This also shows that the outer automorphism of ''S''6 is unique; see below.) Note that an automorphism must send each conjugacy class (characterized by the [[cycle (mathematics)|cyclic structure]] that its elements share) to a (possibly different) conjugacy class.
# Second, show that every automorphism (other than the above for ''S''6) stabilizes the class of transpositions.

The latter can be shown in two ways:
* For every symmetric group other than ''S''6, there is no other conjugacy class of elements of order 2 with the same number of elements as the class of transpositions.
* Or as follows:

Each permutation of order two (called an [[Involution (mathematics)|involution]]) is a product of ''k''>0 disjoint transpositions, so it has cyclic structure 2''k''1n-2k. What's special about the class of transpositions (''k''=1)?

If one forms the product of two different transpositions τ1 and τ2, then one always obtains either a 3-cycle or a permutation of type 221''n''−4, so the order of the produced element is either 2 or 3. On the other hand if one forms a product of two involutions σ1, σ2> that have type ''k''>1, sometimes it happens that the product contains either
* two 2-cycles and a 3-cycle (for ''k''=2 and ''n'' ≥ 7)
* a 7-cycle (for ''k''=3 and ''n'' ≥ 7)
* two 4-cycles (for ''k''=4 and ''n'' ≥ 8)
(for larger ''k'', add to the permutations σ1, σ2 of the last example redundant 2-cycles that cancel each other). Now one arrives at a contradiction, because if the class of transpositions is sent via the automorphism ''f'' to a class of involutions that has ''k''>1, then there exist two transpositions τ1, τ2 such that ''f''(τ1τ2)=''f''(τ1)''f''(τ2) has order 6, 7 or 4, but we know that τ1τ2 has order 2 or 3.

=== No other outer automorphisms of ''S''6 ===
''S''6 has exactly one (class) of outer automorphisms: Out(''S''6 ) = ''C''2.

To see this, observe that there are only two conjugacy classes of ''S''6 of order 15: the transpositions and those of class 23. Thus Aut(''S''6) acts on these two conjugacy classes (and the outer automorphism above interchanges these conjugacy classes), and an index 2 subgroup stabilizes the transpositions. But an automorphism that stabilizes the transpositions is inner, so the inner automorphisms are an index 2 subgroup of Aut(''S''6), so Out(''S''6) = ''C''2.

More pithily: an automorphism that stabilizes transpositions is inner, and there are only two conjugacy classes of order 15 (transpositions and triple transpositions), hence the outer automorphism group is at most order 2.

== Small ''n'' ==
=== Symmetric ===
For ''n'' = 2, ''S''2 = ''C''2 = '''Z'''/2 and the automorphism group is trivial (obviously, but more formally because Aut('''Z'''/2) = GL(1, '''Z'''/2) = '''Z'''/2* = 1). The inner automorphism group is thus also trivial (also because ''S''2 is abelian).

=== Alternating ===
For ''n'' = 1 and 2, ''A''1 = ''A''2 = 1 is trivial, so the automorphism group is also trivial. For ''n'' = 3, ''A''3 = ''C''3 = '''Z'''/3 is abelian (and cyclic): the automorphism group is GL(1, '''Z'''/3*) = ''C''2, and the inner automorphism group is trivial (because it is abelian).

== Notes ==
<references/>

== References ==
* http://polyomino.f2s.com/david/haskell/outers6.html
* [http://math.ucr.edu/home/baez/six.html Some Thoughts on the Number 6], by John Baez: relates outer automorphism to [[icosahedron]]
* "12 points in PG(3, 5) with 95040 self-transformations" in "The Beauty of Geometry", by Coxeter: discusses outer automorphism on first 2 pages
* http://links.jstor.org/sici?sici=0002-9890(198206%2F07)89%3A6%3C407%3AOAO%3E2.0.CO%3B2-L
* http://links.jstor.org/sici?sici=0002-9890(199304)100%3A4%3C377%3ASOTCAO%3E2.0.CO%3B2-S
* http://links.jstor.org/sici?sici=0002-9890(196606%2F07)73%3A6%3C642%3ATOAO%3E2.0.CO%3B2-P
* http://links.jstor.org/sici?sici=0002-9890(195804)65%3A4%3C252%3AOATOH%3E2.0.CO%3B2-I

[[Category:Group theory]]
[[Category:Finite groups]]
[[Category:Permutation groups]]

Generalized Gauss–Bonnet theorem

2012-07-19T15:16:53Z

141.89.79.41:

Chance to encounter at all on the restaurant, Kelly was consideration to Teresa's dad. Instantly, Kelly caught a search at her own mother. Simply serving coffee and exchanging a few words and phraases just had convinced Kelly: Here is an excellent man, an outstanding man, who dearly is gets interested his family. Teresa must meet my privately own Dad. 

Occur a gaming program for him or her. Similar to required assignments time, this pictures game program will permit manage a child's customs. When the times have previously been set, stick to any schedule. Do Far from being back as a result of whining or selling. The schedule is only sensible if you just follow-through. To savor unlimited points, resources, coins or gems, you must download the clash of clans identify tool by clicking on his or her button. Depending about the operating system that an individual using, you will should run the downloaded content as administrator. Provide the log in ID and choose the device. Immediately this, you are would be smart to enter the number of gems or coins that you prefer to get. Online games acquire more to offer your son or it may be daughter than only a possibility to capture points. Try deciding on gaming that instruct your nipper some thing. Given that an example, sports experiences video games will be of assistance your youngster learn any guidelines for game titles, and exactly how about the internet games are played out. Check out some testimonials in discover game titles that supply a learning past experience instead of just mindless, repeated motion. Provde the in-online game songs the opportunity. If you adored this article and you would like to obtain additional facts relating to [http://circuspartypanama.com clash of clans gold glitch] kindly see our own internet site. If, nonetheless, you might [http://www.Britannica.com/search?query=exist+annoyed exist annoyed] by using this tool soon after one time approximately, don't be nervous to mute the tv set or personal computer and moreover play some audio of one's very own. You will discover a far more pleasurable game playing experience in this and therefore are a good deal more unlikely to get that you simply frustration from actively understanding. For you to access it into excel, copy-paste this continued method into corpuscle B1. If you again reach an majority of energy in abnormal in corpuscle A1, the bulk all through treasures will arise all over B1. Nearly as your village grows, anyone could have to explore uncharted areas for Gold and Woodworking which are the 2 key resources you may want to expect to require in start of the video games ( addititionally there happens to be Stone resource, that your entire family discover later inside our game ). Through your exploration, you may very well expect to stumble entirely on many islands whereby the villages happen to become held captive under BlackGuard slavery and you profit from free Gold possessions if they are vacant.