www.matheraum.de
Das Matheforum.
Das Matheforum des MatheRaum.

Für Schüler, Studenten, Lehrer, Mathematik-Interessierte.
Hallo Gast!einloggen | registrieren ]
Startseite · Forum · Wissen · Kurse · Mitglieder · Team · Impressum
Forenbaum
^ Forenbaum
Status Mathe
  Status Schulmathe
    Status Primarstufe
    Status Mathe Klassen 5-7
    Status Mathe Klassen 8-10
    Status Oberstufenmathe
    Status Mathe-Wettbewerbe
    Status Sonstiges
  Status Hochschulmathe
    Status Uni-Analysis
    Status Uni-Lin. Algebra
    Status Algebra+Zahlentheo.
    Status Diskrete Mathematik
    Status Fachdidaktik
    Status Finanz+Versicherung
    Status Logik+Mengenlehre
    Status Numerik
    Status Uni-Stochastik
    Status Topologie+Geometrie
    Status Uni-Sonstiges
  Status Mathe-Vorkurse
    Status Organisatorisches
    Status Schule
    Status Universität
  Status Mathe-Software
    Status Derive
    Status DynaGeo
    Status FunkyPlot
    Status GeoGebra
    Status LaTeX
    Status Maple
    Status MathCad
    Status Mathematica
    Status Matlab
    Status Maxima
    Status MuPad
    Status Taschenrechner

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
Mathe-Seiten:Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
StartseiteMatheForenLineare Algebra SonstigesUntergruppe
Foren für weitere Schulfächer findest Du auf www.vorhilfe.de z.B. Philosophie • Religion • Kunst • Musik • Sport • Pädagogik
Forum "Lineare Algebra Sonstiges" - Untergruppe
Untergruppe < Sonstiges < Lineare Algebra < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Lineare Algebra Sonstiges"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Untergruppe: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 21:01 Di 08.11.2011
Autor: mathemaus2010

Aufgabe
Seien m , n [mm] \in [/mm] N \ {0} mit m<n. Zeigen Sie , dass die Menge {[k·m] [mm] \in [/mm] Zn |k [mm] \in [/mm] N} eine Untergruppe von (Zn,+) bildet.

Ich habe diese Frage in keinem anderen Forum gestellt.

Hallo =),

ich habe ein paar Verständnisprobleme bei dieser Aufgabe. Die Menge, die ich als Untergruppe zeigen soll, ist ja eine Äquivalenzklasse. Kann eine Äquivalenzklasse denn überhaupt eine Menge sein? Und dann soll das ganze ja noch eine Untergruppe sein, aber eine Untergruppe, genau wie eine Gruppe, muss ja auch eine Verknüpfung haben. Diese muss ja dann plus sein, oder? (wegen  (Zn,+) ) Wie würde dann die Schreibweise dieser Untergruppe sein? ({[k·m] [mm] \in [/mm] Zn |k [mm] \in [/mm] N} , +) ?


Dann zu der Aufgabe. Um die Untergruppe zu zeigen, muss ich doch eigentlich bloß zeigen, dass die Menge nicht leer ist, dass sie abgeschlossen.

Dadurch, dass eine Äuqivalenzklasse nicht leer sein kann, wobei ich nicht weiß weswegen, ist die Menge ja nicht leer.

Bei der Abgeschlossenheit muss ich 2 Elemente aus der Menge nehmen und zeigen, dass die Verknüpfung auch in der Menge ist, aber wie? Ich habe halt Probleme mit der Äuqivalenzklasse, da dazu keine Äquivalenzrelation definiert ist.

Ich würde mich über Hilfe und Ratschläge sehr freuen.

MfG

Mathemaus

        
Bezug
Untergruppe: Antwort
Status: (Antwort) fertig Status 
Datum: 21:15 Di 08.11.2011
Autor: donquijote


> Seien m , n [mm]\in[/mm]Eingabefehler: "{" und "}" müssen immer paarweise auftreten, es wurde aber ein Teil ohne Entsprechung gefunden (siehe rote Markierung)

N \ {0} mit m<n. Zeigen Sie , dass die

> Menge {[k·m] [mm]\in[/mm] Zn |k [mm]\in[/mm]Eingabefehler: "{" und "}" müssen immer paarweise auftreten, es wurde aber ein Teil ohne Entsprechung gefunden (siehe rote Markierung)

Eingabefehler: "{" und "}" müssen immer paarweise auftreten, es wurde aber ein Teil ohne Entsprechung gefunden (siehe rote Markierung)

N} eine Untergruppe von (Zn,+)

> bildet.
>  Ich habe diese Frage in keinem anderen Forum gestellt.
>  
> Hallo =),
>  
> ich habe ein paar Verständnisprobleme bei dieser Aufgabe.
> Die Menge, die ich als Untergruppe zeigen soll, ist ja eine
> Äquivalenzklasse. Kann eine Äquivalenzklasse denn
> überhaupt eine Menge sein? Und dann soll das ganze ja noch
> eine Untergruppe sein, aber eine Untergruppe, genau wie
> eine Gruppe, muss ja auch eine Verknüpfung haben. Diese
> muss ja dann plus sein, oder? (wegen  (Zn,+) ) Wie würde
> dann die Schreibweise dieser Untergruppe sein? ({[k·m] [mm]\in[/mm]
> Zn |k [mm]\in[/mm]Eingabefehler: "{" und "}" müssen immer paarweise auftreten, es wurde aber ein Teil ohne Entsprechung gefunden (siehe rote Markierung)

N} , +) ?
>

Die Menge selbst ist keine Äquivalenzklasse, sondern eine Teilmenge von Zn
Ihre Elemente sind als Elemente von Zn Äquivalenzklassen.

>
> Dann zu der Aufgabe. Um die Untergruppe zu zeigen, muss ich
> doch eigentlich bloß zeigen, dass die Menge nicht leer
> ist, dass sie abgeschlossen.
>
> Dadurch, dass eine Äuqivalenzklasse nicht leer sein kann,
> wobei ich nicht weiß weswegen, ist die Menge ja nicht
> leer.

Du musst zeigen, dass die Menge die 0 (genauer die Äquivalenzklasse von 0 in Zn) enthält

>  
> Bei der Abgeschlossenheit muss ich 2 Elemente aus der Menge
> nehmen und zeigen, dass die Verknüpfung auch in der Menge
> ist, aber wie? Ich habe halt Probleme mit der
> Äuqivalenzklasse, da dazu keine Äquivalenzrelation
> definiert ist.

Dazu solltest du natürlich wissen, wie die Addition in Zn definiert ist.

>
> Ich würde mich über Hilfe und Ratschläge sehr freuen.
>  
> MfG
>  
> Mathemaus

Ich würde in jedem Fall empfehlen, dir an einem Beispiel für konkrete Werte von n und m anzuschauen,wie die Menge aussieht.


Bezug
                
Bezug
Untergruppe: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 22:22 Di 08.11.2011
Autor: mathemaus2010

Ich habe  deinen Rat befolgt und mir 2 Werte für m und n genommen. Jedoch verstehe ich es noch immer nicht. Ich habe trotzdem keine Ahnung wie ich mir die Menge vorzustellen und die Aufgabe zu bewältigen habe.  

Es gibt doch 3 Eigenschaften, die ich zeigen muss, dass es eine Untergruppe ist, aber welche war noch mal die 3.? ^^



Bezug
                        
Bezug
Untergruppe: Antwort
Status: (Antwort) fertig Status 
Datum: 22:30 Di 08.11.2011
Autor: donquijote


> Ich habe  deinen Rat befolgt und mir 2 Werte für m und n
> genommen. Jedoch verstehe ich es noch immer nicht. Ich habe
> trotzdem keine Ahnung wie ich mir die Menge vorzustellen
> und die Aufgabe zu bewältigen habe.

Für n=5, m=3 erhältst du z.B die Äquivalenzklassen
[0], [3], [6]=[1], [9]=[4] und [12]=[2], also ganz [mm] \IZ_5 [/mm]

Und der Beweis ist gar nicht so schwer: Für die Abgeschlossenheit z.B. betrachtest du zwei Elemente
[k_1m] und [k_2m] und folgerst
[mm] [k_1m]+[k_2m]=[k_1m+k_2m]=[(k_1+k_2)m] [/mm]

>
> Es gibt doch 3 Eigenschaften, die ich zeigen muss, dass es
> eine Untergruppe ist, aber welche war noch mal die 3.? ^^
>
>  

Dass zu [k] auch das Inverse -[k] dazugehört.


Bezug
                                
Bezug
Untergruppe: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 22:33 Di 08.11.2011
Autor: mathemaus2010

Aber wie kannst du spezielle Äquivalenzklassen festlegen, wenn du für n und m spezielle Werte einsetzt, weil die Äquivalenzklasse ist doch k*m und du hast doch das k noch?

Bezug
                                        
Bezug
Untergruppe: Antwort
Status: (Antwort) fertig Status 
Datum: 22:37 Di 08.11.2011
Autor: donquijote


> Aber wie kannst du spezielle Äquivalenzklassen festlegen,
> wenn du für n und m spezielle Werte einsetzt, weil die
> Äquivalenzklasse ist doch k*m und du hast doch das k noch?

Deshalb habe ich ja in meinem Beispiel 5 Äquivalenzklassen für k=0, 1, 2, 3, 4 hingeschrieben. Und danach geht es mit k=5, 6, 7,... wieder von vorn los:
[15]=[0], [18]=[3],....
Und für den allgemeinen Beweis kannst du ja einfach [k*m] schreiben.

Bezug
                                
Bezug
Untergruppe: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 22:52 Di 08.11.2011
Autor: mathemaus2010

ah, danke =) jetzt habe ich es verstanden . du sagst , dass man zeigen muss, dass   [k] = -[k], aber muss ich hier nicht zeigen, dass [k*m] = -[k*m] ?



Bezug
                                        
Bezug
Untergruppe: Antwort
Status: (Antwort) fertig Status 
Datum: 23:10 Di 08.11.2011
Autor: donquijote


> ah, danke =) jetzt habe ich es verstanden . du sagst , dass
> man zeigen muss, dass   [k] = -[k], aber muss ich hier
> nicht zeigen, dass [k*m] = -[k*m] ?
>  
>  

Naja, ganz so stimmt es noch nicht. Zunächst musst du dir überlegen, wie das inverse Element in [mm] \IZ_n [/mm] aussieht.
Zu [mm] [x]\in\IZ_n [/mm] ist dies die Äquivalenzklasse von -x.
In der Aufgabe ist dann zu zeigen, dass zu [x]=[k*m] auch [-k*m] in der betrachteten Teilmenge M liegt.
Dazu betrachtest du k'=n-k und folgerst [mm] [(n-k)*m]=[n*m-k*m]=[-k*m]\in [/mm] M

Bezug
                                                
Bezug
Untergruppe: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 23:23 Di 08.11.2011
Autor: mathemaus2010

ich habe mal noch eine andere frage, wenn ich zeigen will, dass die menge nicht leer ist, kann ich dann sagen, dass k=0 sein soll und k*m, dann 0 ist und somit die äquivalenzklasse von 0 in Zn. dann habe ich aber nur für k=0 gezeigt, dass Zn nicht leer ist und nicht für alle anderen k (müsste ja dann eigentlich noch zeigen, dass (k+1)*m auch drin liegt, ne?)

danke, dass du dir so viel zeit nimmst mir zu helfen, ich weiß ich stell mich dumm an.

Bezug
                                                        
Bezug
Untergruppe: Antwort
Status: (Antwort) fertig Status 
Datum: 23:28 Di 08.11.2011
Autor: donquijote


> ich habe mal noch eine andere frage, wenn ich zeigen will,
> dass die menge nicht leer ist, kann ich dann sagen, dass
> k=0 sein soll und k*m, dann 0 ist und somit die
> äquivalenzklasse von 0 in Zn. dann habe ich aber nur für
> k=0 gezeigt, dass Zn nicht leer ist und nicht für alle
> anderen k (müsste ja dann eigentlich noch zeigen, dass
> (k+1)*m auch drin liegt, ne?)
>  
> danke, dass du dir so viel zeit nimmst mir zu helfen, ich
> weiß ich stell mich dumm an.

Wenn's um nichtleer geht, reicht ja ein Element, also nimmst du k=0 (soforn die 0 bei euch zu [mm] \IN [/mm] gehört).
Dann hast du praktischerweise auch gleich das neutrale Element der Gruppe.
Und ansonsten liegt für jedes [mm] k\in\IN [/mm] [m*k] per Definition in der betrachteten Menge, da gibt es nicht viel zu zeigen.

Bezug
                                                                
Bezug
Untergruppe: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 23:46 Di 08.11.2011
Autor: mathemaus2010

Danke für deine Hilfe =) ich versuch jetzt noch mir über deine vorgehensweise bei dem Inversen klar zu werden und dann hab ichs . jetzt weiß ich auch wie ich mir Zn genau vorzustellen habe, danke =)

Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Lineare Algebra Sonstiges"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


^ Seitenanfang ^
www.matheforum.net
[ Startseite | Forum | Wissen | Kurse | Mitglieder | Team | Impressum ]