www.vorhilfe.de
Vorhilfe

Kostenlose Kommunikationsplattform für gegenseitige Hilfestellungen.
Hallo Gast!einloggen | registrieren ]
Startseite · Forum · Wissen · Kurse · Mitglieder · Team · Impressum
Forenbaum
^ Forenbaum
Status Vorhilfe
  Status Geisteswiss.
    Status Erdkunde
    Status Geschichte
    Status Jura
    Status Musik/Kunst
    Status Pädagogik
    Status Philosophie
    Status Politik/Wirtschaft
    Status Psychologie
    Status Religion
    Status Sozialwissenschaften
  Status Informatik
    Status Schule
    Status Hochschule
    Status Info-Training
    Status Wettbewerbe
    Status Praxis
    Status Internes IR
  Status Ingenieurwiss.
    Status Bauingenieurwesen
    Status Elektrotechnik
    Status Maschinenbau
    Status Materialwissenschaft
    Status Regelungstechnik
    Status Signaltheorie
    Status Sonstiges
    Status Technik
  Status Mathe
    Status Schulmathe
    Status Hochschulmathe
    Status Mathe-Vorkurse
    Status Mathe-Software
  Status Naturwiss.
    Status Astronomie
    Status Biologie
    Status Chemie
    Status Geowissenschaften
    Status Medizin
    Status Physik
    Status Sport
  Status Sonstiges / Diverses
  Status Sprachen
    Status Deutsch
    Status Englisch
    Status Französisch
    Status Griechisch
    Status Latein
    Status Russisch
    Status Spanisch
    Status Vorkurse
    Status Sonstiges (Sprachen)
  Status Neuerdings
  Status Internes VH
    Status Café VH
    Status Verbesserungen
    Status Benutzerbetreuung
    Status Plenum
    Status Datenbank-Forum
    Status Test-Forum
    Status Fragwürdige Inhalte
    Status VH e.V.

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
Dt. Schulen im Ausland: Mathe-Seiten:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
Forum "Gruppe, Ring, Körper" - Beweis zu zyklischen Gruppen
Beweis zu zyklischen Gruppen < Gruppe, Ring, Körper < Algebra < Algebra+Zahlentheo. < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Gruppe, Ring, Körper"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Beweis zu zyklischen Gruppen: a*Z mod b Umformung
Status: (Frage) beantwortet Status 
Datum: 12:46 Do 27.03.2014
Autor: havoc1

Aufgabe
Seien a und b zwei ganze Zahlen und c=ggT(a, b)
Dann gilt: [mm] a*\IZ [/mm] mod [mm] b=c*\IZ [/mm] mod b

Hallo,

ich habe dazu einen Beweis gelesen. Dabei wird angenommen:
a=c*m Wobei m teilerfremd zu b sein soll.
Ich frage mich nun wieso man dies annehmen kann, also ich sehe nicht, dass die Aussage für "d und b haben einen gemeinsamen Teiler" trivial wird.
Hätte jemand einen Tipp für mich?

        
Bezug
Beweis zu zyklischen Gruppen: Antwort
Status: (Antwort) fertig Status 
Datum: 13:23 Do 27.03.2014
Autor: hippias


> Seien a und b zwei ganze Zahlen und c=ggT(a, b)
>  Dann gilt: [mm]a*\IZ[/mm] mod [mm]b=c*\IZ[/mm] mod b

Was diese Behauptung bedeuten sollist mir vollkommen unklar.

>  Hallo,
>  
> ich habe dazu einen Beweis gelesen. Dabei wird angenommen:
>  a=c*m Wobei m teilerfremd zu b sein soll.

Das ist im allgemeinen nicht moeglich: z.B. $a= 4$, $b=6$; dann ist $c=2$ und $m=2$. Jedoch ist $m$ nicht teilerfremd zu $b$.

>  Ich frage mich nun wieso man dies annehmen kann,

s.o.

> also ich
> sehe nicht, dass die Aussage für "d und b haben einen
> gemeinsamen Teiler" trivial wird.

Was ist denn $d$? Und wieso sollte denn die Annahme

>  a=c*m Wobei m teilerfremd zu b sein soll.

implizieren, dass

> die Aussage für "d und b haben einen
> gemeinsamen Teiler" trivial wird. ?

Fuer mich ergibt das keinen Sinn.

>  Hätte jemand einen Tipp für mich?


Bezug
                
Bezug
Beweis zu zyklischen Gruppen: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 13:28 Do 27.03.2014
Autor: havoc1

Aufgabe
Seien a und b ganze Zahlen und c:=ggT(a, b)
Dann gilt:
[mm] a*\IZ/b*\IZ=c*\IZ/b*\IZ [/mm]

Ich meine statt d natürlich c.
Nun zur Bedeutung. Die Sache habe ich unglücklich (falsch) formuliert.

[mm] a*\IZ [/mm] mod b:= [mm] a*\IZ/b*\IZ [/mm]

Ich hoffe alle Unklarheiten sind damit ausgeräumt! Oben noch einmal die korrigierte Ausgangslage.

Bezug
                        
Bezug
Beweis zu zyklischen Gruppen: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 13:37 Do 27.03.2014
Autor: hippias

Ich kann nicht sagen, dass mir dadurch irgendetwas klarer geworden waere: was soll denn [mm] $a\cdot\IZ/b\cdot \IZ$ [/mm] sein: eine Menge von Bruechen, so eine Art Restklasse...? Aber das kann ja auch mein Fehler sein. An dem Gegenbeispiel, das ich zur behaupteten Existenz dieses $m$ gepostet habe, aendert das aber nichts.

Mein Tipp waere, dass Du nocheinmal ganz genau Behauptung und Beweis nachliest.

Bezug
                                
Bezug
Beweis zu zyklischen Gruppen: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 13:49 Do 27.03.2014
Autor: havoc1

Naja, dein Gegenbeispiel stimmt, ja. Aber ich denke das die Behauptung dadurch trivial wird.
Was meine ich nun mit [mm] a*\IZ/b*\IZ. [/mm]
Also [mm] \IZ/b*\IZ [/mm] Meint die Restklasse modulo b. Und [mm] a*\IZ/b*\IZ [/mm] die Restklassen modulo b bezüglich aller Vielfachen von a.
Also gerade das Bild von f:
f: [mm] \IZ/b*\IZ [/mm] -> [mm] \IZ/b*\IZ, [/mm] q mod b |-> a*q mod b.

Sorry das ich das nicht erläutert habe, ich dachte nicht, dass diese Formulierung so speziell ist.


Bezug
                                        
Bezug
Beweis zu zyklischen Gruppen: Antwort
Status: (Antwort) fertig Status 
Datum: 14:10 Do 27.03.2014
Autor: hippias


> Naja, dein Gegenbeispiel stimmt, ja. Aber ich denke das die
> Behauptung dadurch trivial wird.

Verstehe ich nicht.

>  Was meine ich nun mit [mm]a*\IZ/b*\IZ.[/mm]
>  Also [mm]\IZ/b*\IZ[/mm] Meint die Restklasse modulo b.

Du sollstest Dir dringend die Definition einer Restklasse modulo einer ganzen ansehen! [mm] $\IZ/b*\IZ$ [/mm] als  

> die Restklasse modulo b

zu bezeichnen ist schlicht unsinnig.

> Und
> [mm]a*\IZ/b*\IZ[/mm] die Restklassen modulo b bezüglich aller
> Vielfachen von a.

s.o.

>  Also gerade das Bild von f:
>  f: [mm]\IZ/b*\IZ[/mm] -> [mm]\IZ/b*\IZ,[/mm] q mod b |-> a*q mod b.

>  
> Sorry das ich das nicht erläutert habe, ich dachte nicht,
> dass diese Formulierung so speziell ist.
>  

s.o.

Bezug
                                                
Bezug
Beweis zu zyklischen Gruppen: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 14:20 Do 27.03.2014
Autor: havoc1


> > Naja, dein Gegenbeispiel stimmt, ja. Aber ich denke das die
> > Behauptung dadurch trivial wird.
>  Verstehe ich nicht.

Verstehst du das nicht, weil die Aufgabenstellung noch uneindeutig ist?
Falls es das nicht ist, ich meine damit, dass für den Fall, dass
a=c*m und "m und b haben einen gemeinsamen Teiler", ist die Aussage
[mm]a*\IZ/b*\IZ=c*\IZ/b*\IZ[/mm] trivial. (Und ich vermute, das ich das gerade irgendwie nicht sehe...)


>  >  Was meine ich nun mit [mm]a*\IZ/b*\IZ.[/mm]
>  >  Also [mm]\IZ/b*\IZ[/mm] Meint die Restklasse modulo b.
> Du sollstest Dir dringend die Definition einer Restklasse
> modulo einer ganzen ansehen! [mm]\IZ/b*\IZ[/mm] als  
> > die Restklasse modulo b
>  zu bezeichnen ist schlicht unsinnig.

Ja das ist wahr, es ist die Menge aller dieser Restklassen.

Bezug
                                                        
Bezug
Beweis zu zyklischen Gruppen: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 15:06 Fr 28.03.2014
Autor: MaslanyFanclub

Hallo,

mal als Zweit-/Drittmeinung:

> > > Naja, dein Gegenbeispiel stimmt, ja. Aber ich denke das die
> > > Behauptung dadurch trivial wird.
>  >  Verstehe ich nicht.
>  
> Verstehst du das nicht, weil die Aufgabenstellung noch
> uneindeutig ist?
> Falls es das nicht ist, ich meine damit, dass für den
> Fall, dass
>  a=c*m und "m und b haben einen gemeinsamen Teiler", ist
> die Aussage
>  [mm]a*\IZ/b*\IZ=c*\IZ/b*\IZ[/mm] trivial. (Und ich vermute, das ich
> das gerade irgendwie nicht sehe...)

Ich versteh das auch nicht. Hippias hat doch bereits ein Gegnbsp. zu dieser Aussage geschrieben, d.h. sie ist falsch nicht trivial. Und wenn etwas wirklich trivial ist, dann kann man es auch schnell beweisen.

>
> >  >  Was meine ich nun mit [mm]a*\IZ/b*\IZ.[/mm]

>  >  >  Also [mm]\IZ/b*\IZ[/mm] Meint die Restklasse modulo b.
> > Du sollstest Dir dringend die Definition einer Restklasse
> > modulo einer ganzen ansehen! [mm]\IZ/b*\IZ[/mm] als  
> > > die Restklasse modulo b
>  >  zu bezeichnen ist schlicht unsinnig.
>  
> Ja das ist wahr, es ist die Menge aller dieser Restklassen.


Bezug
                                                        
Bezug
Beweis zu zyklischen Gruppen: Antwort
Status: (Antwort) fertig Status 
Datum: 08:49 Sa 29.03.2014
Autor: hippias


> > > Naja, dein Gegenbeispiel stimmt, ja. Aber ich denke das die
> > > Behauptung dadurch trivial wird.
>  >  Verstehe ich nicht.
>  
> Verstehst du das nicht, weil die Aufgabenstellung noch
> uneindeutig ist?
> Falls es das nicht ist, ich meine damit, dass für den
> Fall, dass
>  a=c*m und "m und b haben einen gemeinsamen Teiler", ist
> die Aussage
>  [mm]a*\IZ/b*\IZ=c*\IZ/b*\IZ[/mm] trivial. (Und ich vermute, das ich
> das gerade irgendwie nicht sehe...)

Nein, ich fand die Argumentationskette unverstaendlich.

Aber: mittlerweile habe ich die Aussage der Behauptung begriffen. Mein Beweis ginge so: Wegen [mm] $c\vert [/mm] a$ ist offensichtlich [mm] $a\cdot\IZ/b\IZ\subseteq c\cdot\IZ/b\IZ$. [/mm] Fuer die umgekehrte Inklusion nutze ich die Darstellung $c= ar+bs$, [mm] $r,s\in \IZ$. [/mm]

>  
>
> >  >  Was meine ich nun mit [mm]a*\IZ/b*\IZ.[/mm]

>  >  >  Also [mm]\IZ/b*\IZ[/mm] Meint die Restklasse modulo b.
> > Du sollstest Dir dringend die Definition einer Restklasse
> > modulo einer ganzen ansehen! [mm]\IZ/b*\IZ[/mm] als  
> > > die Restklasse modulo b
>  >  zu bezeichnen ist schlicht unsinnig.
>  
> Ja das ist wahr, es ist die Menge aller dieser Restklassen.


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


^ Seitenanfang ^
www.vorhilfe.de