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: 11:10 Di 29.11.2016
Autor: studiseb

Aufgabe
Welche der folgenden Mengen sind Ideale?

[mm] M_1:= \IQ \subset \IC [/mm]

[mm] M_2:=\{a\in R |a^n=0 \mbox{ für ein } n \in \IN\}, [/mm] für einen kommutativen Ring R

[mm] M_3:= \IZ[X^2]\subset\IZ[X] [/mm]

Moin, ich habe bei obigen Aufgaben Schwierigkeiten und vielleicht könnt Ihr mir da weiterhelfen. Insb. bei [mm] M_2 [/mm] und [mm] M_3 [/mm] kann ich mir die Mengen nicht so recht vorstellen.

Also für ein Ideal I ist zu zeigen:
(1) (I,+) ist eine Untergruppe von Ring (R,+,*)
      a) 0 [mm] \in [/mm] I
      b) Abgeschlossenheit
      c) additiv Inverses
      d) Assoziativität (brauch ich nicht zu zeigen, da geerbt aus dem Ring)
(2) a [mm] \in [/mm] I [mm] \rightarrow a*r\in [/mm] I für alle r [mm] \in [/mm] Ring


[mm] M_1 [/mm] ist kein Ideal, denn ich kann einen Widerspruch zu (2) zeigen,
z.B. sei [mm] a\in\IQ [/mm] und [mm] r\in\IC [/mm] also kann [mm] r=\sqrt2 [/mm] sein, dann gibt [mm] a*r=a*\sqrt2\notin\IQ [/mm] Kann ich das so machen?

Und wie kann ich mir die Mengen [mm] M_2 [/mm] bzw. [mm] M_3 [/mm] vorstellen bzw. die Idealaxiome zeigen?

Besten Dank für Eure Anregungen und Hilfen.
Grüße Seb

        
Bezug
Ideale?!: Antwort
Status: (Antwort) fertig Status 
Datum: 12:09 Di 29.11.2016
Autor: hippias


> Welche der folgenden Mengen sind Ideale?
>  
> [mm]M_1:= \IQ \subset \IC[/mm]
>  
> [mm]M_2:=\{a\in R |a^n=0 \mbox{ für ein } n \in \IN\},[/mm] für
> einen kommutativen Ring R
>  
> [mm]M_3:= \IZ[X^2]\subset\IZ[X][/mm]
>  Moin, ich habe bei obigen
> Aufgaben Schwierigkeiten und vielleicht könnt Ihr mir da
> weiterhelfen. Insb. bei [mm]M_2[/mm] und [mm]M_3[/mm] kann ich mir die Mengen
> nicht so recht vorstellen.
>  
> Also für ein Ideal I ist zu zeigen:
>  (1) (I,+) ist eine Untergruppe von Ring (R,+,*)
>        a) 0 [mm]\in[/mm] I
>        b) Abgeschlossenheit
>        c) additiv Inverses
>        d) Assoziativität (brauch ich nicht zu zeigen, da
> geerbt aus dem Ring)
>  (2) a [mm]\in[/mm] I [mm]\rightarrow a*r\in[/mm] I für alle r [mm]\in[/mm] Ring
>  
>
> [mm]M_1[/mm] ist kein Ideal, denn ich kann einen Widerspruch zu (2)
> zeigen,
>  z.B. sei [mm]a\in\IQ[/mm] und [mm]r\in\IC[/mm] also kann [mm]r=\sqrt2[/mm] sein, dann
> gibt [mm]a*r=a*\sqrt2\notin\IQ[/mm] Kann ich das so machen?

Streng genommen, nein: denn [mm] $0\cdot \sqrt{2}\in \IQ$. [/mm] Das kriegst Du aber in Ordnung gebracht.

>  
> Und wie kann ich mir die Mengen [mm]M_2[/mm] bzw. [mm]M_3[/mm] vorstellen
> bzw. die Idealaxiome zeigen?

Ebenso. Ist z.B. [mm] $a^{10}= [/mm] 0$, gibt es dann ein $n$ so dass [mm] $(ra)^{n}=0$? [/mm]

>  
> Besten Dank für Eure Anregungen und Hilfen.
>  Grüße Seb


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


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