www.vorkurse.de
Ein Projekt von vorhilfe.de
Die Online-Kurse der Vorhilfe

E-Learning leicht gemacht.
Hallo Gast!einloggen | registrieren ]
Startseite · Mitglieder · Teams · Forum · Wissen · Kurse · Impressum
Forenbaum
^ Forenbaum
Status Mathe-Vorkurse
  Status Organisatorisches
  Status Schule
    Status Wiederholung Algebra
    Status Einführung Analysis
    Status Einführung Analytisc
    Status VK 21: Mathematik 6.
    Status VK 37: Kurvendiskussionen
    Status VK Abivorbereitungen
  Status Universität
    Status Lerngruppe LinAlg
    Status VK 13 Analysis I FH
    Status Algebra 2006
    Status VK 22: Algebra 2007
    Status GruMiHH 06
    Status VK 58: Algebra 1
    Status VK 59: Lineare Algebra
    Status VK 60: Analysis
    Status Wahrscheinlichkeitst

Gezeigt werden alle Foren bis zur Tiefe 2

Navigation
 Startseite...
 Neuerdings beta neu
 Forum...
 vorwissen...
 vorkurse...
 Werkzeuge...
 Nachhilfevermittlung beta...
 Online-Spiele beta
 Suchen
 Verein...
 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 "Gruppe, Ring, Körper" - Gruppe
Gruppe < Gruppe, Ring, Körper < Algebra < Algebra+Zahlentheo. < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Gruppe, Ring, Körper"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Gruppe: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 00:09 Di 22.06.2010
Autor: T_sleeper

Aufgabe
Sei G eine Gruppe und sei [mm] H\subset [/mm] G eine nicht leere, endliche Menge.
H Gruppe [mm] \Leftrightarrow \forall a,b\in [/mm] H:ab [mm] \in [/mm] H.

Hallo,

irgendwie finde ich meine Lösung unschön:
[mm] \Rightarrow [/mm] ist trivial.
És gelte nun [mm] ab\in [/mm] H für alle a,b [mm] \in [/mm] H.
Betrachte [mm] A:=$\{h^{k}|k\in\mathbb{N}\}$\subset [/mm] H. Dann ist diese Menge endlich.
Sei [mm] h^m=h^n [/mm] für bel. nat. Zahlen n,m und o.B.d.A. m>n.  Dann folgt (weil die h insbesondere in der Gruppe G liegen) [mm] h^{m-n}=1 [/mm] und für den Fall m>n ist [mm] h^{m-n}\in [/mm] A, also [mm] 1\in [/mm] A, also [mm] 1\in [/mm] H.
Ist m-n=1, so würde folgen h=e, also ist hier h zu sich selbs invers.
Nun der Fall m-n>1. Dann ist [mm] h^{m-n-1} \in [/mm] A, also in H. Und es gilt nach obigem: [mm] h^{m-n-1}=1h^{-1}=h^{-1}, [/mm] also [mm] h^{-1}\in [/mm] H, und damit ist H eine Gruppe.

Ist das soweit richtig? Und kann man es vllt. noch etwas eleganter aufschreiben? Vielleicht sogar einfacher lösen?

        
Bezug
Gruppe: Antwort
Status: (Antwort) fertig Status 
Datum: 00:30 Di 22.06.2010
Autor: felixf

Moin

> Sei G eine Gruppe und sei [mm]H\subset[/mm] G eine nicht leere,
> endliche Menge.
>  H Gruppe [mm]\Leftrightarrow \forall a,b\in[/mm] H:ab [mm]\in[/mm] H.
>  Hallo,
>  
> irgendwie finde ich meine Lösung unschön:
>  [mm]\Rightarrow[/mm] ist trivial.
>  És gelte nun [mm]ab\in[/mm] H für alle a,b [mm]\in[/mm] H.
>  Betrachte A:=[mm]\{h^{k}|k\in\mathbb{N}\}[/mm][mm] \subset[/mm] H. Dann ist
> diese Menge endlich.
>  Sei [mm]h^m=h^n[/mm] für bel. nat. Zahlen n,m und o.B.d.A. m>n.  
> Dann folgt (weil die h insbesondere in der Gruppe G liegen)
> [mm]h^{m-n}=1[/mm] und für den Fall m>n ist [mm]h^{m-n}\in[/mm] A, also [mm]1\in[/mm]
> A, also [mm]1\in[/mm] H.
> Ist m-n=1, so würde folgen h=e, also ist hier h zu sich
> selbs invers.
>  Nun der Fall m-n>1. Dann ist [mm]h^{m-n-1} \in[/mm] A, also in H.
> Und es gilt nach obigem: [mm]h^{m-n-1}=1h^{-1}=h^{-1},[/mm] also
> [mm]h^{-1}\in[/mm] H, und damit ist H

... nach dem Untergruppenkriterium eine Untergruppe und somit auch ...

>eine Gruppe.

>  
> Ist das soweit richtig? Und kann man es vllt. noch etwas
> eleganter aufschreiben? Vielleicht sogar einfacher lösen?

Ich denke, das ist schon recht optimal so. Du koenntest hoechstens noch die Ordnung eines Elementes benutzen: da $G$ endlich ist, ist sie immer endlich, womit du automatisch ein Element $n [mm] \in \IN_{>0}$ [/mm] bekommst mit [mm] $h^n [/mm] = 1$, ohne es erst konstruieren zu muessen. Zumindest falls ihr die Ordnung schon hattet :)

LG Felix


Bezug
                
Bezug
Gruppe: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 01:33 Di 22.06.2010
Autor: T_sleeper


> Ich denke, das ist schon recht optimal so. Du koenntest
> hoechstens noch die Ordnung eines Elementes benutzen: da [mm]G[/mm]
> endlich ist, ist sie immer endlich, womit du automatisch
> ein Element [mm]n \in \IN_{>0}[/mm] bekommst mit [mm]h^n = 1[/mm], ohne es
> erst konstruieren zu muessen. Zumindest falls ihr die
> Ordnung schon hattet :)
>  
> LG Felix
>  

Naja G selbst soll ja nicht endlich sein, sondern nur die Menge H, weshalb ich dachte, dass ich mir eben nicht einfach dieses h nehmen könnte mit [mm] h^n=1. [/mm]  Oder geht das doch und wenn ja warum? Ich weiß im Prinzip ja, dass mein A zyklische Gruppe ist und das deshalb gilt, aber das weiß ich doch auch nur, wenn ich weiß, dass H eine Gruppe ist, was ich ja gerade zeigen will.


Bezug
                        
Bezug
Gruppe: Antwort
Status: (Antwort) fertig Status 
Datum: 07:41 Di 22.06.2010
Autor: fred97

Wir haben:   $ [mm] h^k \in [/mm] H$   für jedes k [mm] \in \IN. [/mm]

Dann muß es m,n [mm] \in \IN [/mm] geben mit

                m>n und [mm] $h^m=h^n$ [/mm]

FRED

Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Gruppe, Ring, Körper"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


^ Seitenanfang ^
www.vorkurse.de
[ Startseite | Mitglieder | Teams | Forum | Wissen | Kurse | Impressum ]