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 "Gruppe, Ring, Körper" - Ideale
Ideale < Gruppe, Ring, Körper < Algebra < Algebra+Zahlentheo. < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Gruppe, Ring, Körper"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Ideale: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 00:18 So 22.10.2017
Autor: questionpeter

Aufgabe
Seien [mm] I:=n\IZ [/mm] und [mm] J:=m\IZ [/mm] zwei von Null verschiedene Ideale in [mm] \IZ. [/mm] Zeige, dass die ganze Zahl n/ggT(n,m) das Ideale (I:J) erzeugt.

Hallo zusammen,


ich habe folgendes gemacht:

Die Division ist folgend Definiert

[mm] (I:J)=\lbrace x\in\IZ| x\cdot J\subseteq I\rbrace [/mm]

und [mm] n\IZ:=\lbrace n\cdot [/mm] a [mm] |a\in\IZ\rbrace =\langle n\rangle [/mm] und [mm] n\IZ:=\lbrace m\cdot [/mm] a| [mm] a\in\IZ\rbrace=\langle m\rangle [/mm]

Also für
[mm] "\subseteq": [/mm] Sei [mm] x\in [/mm] (I:J) [mm] \Rightarrow xJ\subseteq [/mm] I,

[mm] \Rightarrow n=x\cdot [/mm] m
[mm] \Rightarrow [/mm] m|n und somit ist [mm] x=\bruch{n}{m} [/mm] und m=ggT(n,m)

somit ist [mm] x\in \langle \bruch{n}{ggT(n,m)}\rangle [/mm]

stimmt diese richtung?


        
Bezug
Ideale: Antwort
Status: (Antwort) fertig Status 
Datum: 08:38 Mo 23.10.2017
Autor: tobit09

Hallo questionpeter!


> Also für
>  [mm]"\subseteq":[/mm] Sei [mm]x\in[/mm] (I:J) [mm]\Rightarrow xJ\subseteq[/mm] I,
>
> [mm]\Rightarrow n=x\cdot[/mm] m
>  [mm]\Rightarrow[/mm] m|n und somit ist [mm]x=\bruch{n}{m}[/mm] und
> m=ggT(n,m)
>  
> somit ist [mm]x\in \langle \bruch{n}{ggT(n,m)}\rangle[/mm]
>  
> stimmt diese richtung?

Die Schlussfolgerung von [mm] $xJ\subseteq [/mm] I$ auf [mm] $n=x\cdot [/mm] m$ ist i.A. falsch, der Rest folgerichtig.


Die Bedingung [mm] $xJ\subseteq [/mm] I$ impliziert wegen [mm] $xm\in [/mm] J$ insbesondere [mm] $xm\in I=n\IZ$. [/mm]
Damit existiert ein [mm] $k\in\mathbb{Z}$ [/mm] mit $xm=nk$.


Viele Grüße
Tobias

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


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