www.vorhilfe.de
- Förderverein -
Der Förderverein.

Gemeinnütziger Verein zur Finanzierung des Projekts Vorhilfe.de.
Hallo Gast!einloggen | registrieren ]
Startseite · Mitglieder · Impressum
Forenbaum
^ Forenbaum
Status VH e.V.
  Status Vereinsforum

Gezeigt werden alle Foren bis zur Tiefe 2

Navigation
 Startseite...
 Suchen
 Impressum
Das Projekt
Server und Internetanbindung werden durch Spenden finanziert.
Organisiert wird das Projekt von unserem Koordinatorenteam.
Hunderte Mitglieder helfen ehrenamtlich in unseren moderierten Foren.
Anbieter der Seite ist der gemeinnützige Verein "Vorhilfe.de e.V.".
Partnerseiten
Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
Forum "Algebra" - Aut(Sym(X))
Aut(Sym(X)) < Algebra < Algebra+Zahlentheo. < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Algebra"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Aut(Sym(X)): Frage (überfällig)
Status: (Frage) überfällig Status 
Datum: 15:11 Do 27.11.2014
Autor: UniversellesObjekt

Hallo,

Als ich letztens diese Frage beantwortet habe, hat sich mir die Frage gestellt, wie die Automorphismen unendlicher symmetrischer Gruppen aussehen? Gilt [mm] $\operatorname {Aut}\operatorname [/mm] {Sym} [mm] X=\operatorname {Inn}\operatorname [/mm] {Sym} [mm] X\cong\operatorname [/mm] {Sym} X$ immer wenn [mm] $\operatorname [/mm] {card} [mm] X\not=6$? [/mm] Hat jemand eine Referenz?

Aus Gründen der Vollständigkeit noch der Beweis für [mm] $\operatorname {Inn}(S_n)\cong S_n [/mm] $ für $ [mm] n\not=2$. [/mm] Für $ n=0,1,3,4$ kann man es einfach nachrechnen, für größere $ n $ betrachten wir den offensichtlichen surnektivdn Homomorphismus [mm] $S_n \longrightarrow\operatorname {Inn}(S_n) [/mm] $. Dessen Kern ist das Zentrum von $ [mm] S_n [/mm] $ und ist ein Normalteiler, also [mm] $\ker=0, S_n [/mm] $ oder $ [mm] A_n [/mm] $ für $ [mm] n\ge5$. $\operatorname [/mm] {Inn} G $ zyklisch, so ist $ G $ abelsch, also bleibt nur die Wahl [mm] $\ker=0$, [/mm] also ist unser Homomorphismus ein Isomorphismus. Für unendliche symmetrische Gruppen sind die Normalteiler nicht so leicht zu klassifizieren, dort funktioniert der Beweis daher nicht. Ob das Resultat gilt, weiß ich nicht, vermutlich eher nicht.

Liebe Grüße,
UniversellesObjekt

        
Bezug
Aut(Sym(X)): Fälligkeit abgelaufen
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 15:20 Mi 03.12.2014
Autor: matux

$MATUXTEXT(ueberfaellige_frage)
Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Algebra"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


^ Seitenanfang ^
ev.vorhilfe.de
[ Startseite | Mitglieder | Impressum ]