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

Teilkettenbedingung,faktoriell: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 13:47 Di 17.02.2015
Autor: sissile

Aufgabe
Folgere aus der Teilkettenbedingung: "Jede aufsteigende Folge [mm] (a_1) \subseteq (a_2) \subseteq [/mm] ... von Hauptidealen wird stationär, d.h. es existiert ein k [mm] \in \IN, [/mm] sodass [mm] (a_i)=(a_k) [/mm] für jedes i [mm] \ge [/mm] k"
die Bedingung [mm] F_1: [/mm] "Jede Nichteinheit [mm] \not=0 [/mm] von R ist ein Produkt irreduzibler Elemente."

Hallo,

Ang [mm] F_1 [/mm] ist nicht erfüllt. D.h. es existiren Nichteinheiten [mm] a\not=0 [/mm] von R sodass a kein Produkt von irreduziblen Elementen ist.
Jetzt wäre das Ziel eine aufsteigende Kette von Hauptidealen zu konstruieren, die nicht abbricht um zu einen Widerspruch zu gelangen.

Irreduzibel bedeutet für [mm] p\not=0, [/mm] p [mm] \in R^{\*}, [/mm] wenn p=ab [mm] \Rightarrow a\in R^{\*} \vee b\in R^{\*}. [/mm]

Habt ihr einen Rat? Ich weiß nicht wie ich die Kette konstruieren soll.

        
Bezug
Teilkettenbedingung,faktoriell: Antwort
Status: (Antwort) fertig Status 
Datum: 14:46 Di 17.02.2015
Autor: UniversellesObjekt

Sei $ a $ eine Nichteinheit. Ist $ a $ irreduzibel, so sind wir fertig. Ansonsten können wir $ [mm] a=a_1*b_1$ [/mm] schreiben, wobei $ [mm] a_1, b_1$ [/mm] beide Nichteinheiten sind. Es gilt $ [mm] (a)\subsetneq (a_1) [/mm] $. Sind $ [mm] a_1$, [/mm] $ [mm] b_1$ [/mm] irreduzibel, so sind wir fertig. Ansonsten sei o.B.d.A. $ [mm] a_1$ [/mm] nicht irreduzibel. Dann finden wir wie oben ein $ [mm] a_2$ [/mm] mit [mm] $(a_1)\subsetneq (a_2) [/mm] $. So können wir ewig weiterverfahren, wenn wir nicht irgendwann irreduzible Elemente erreichen.

Liebe Grüße,
UniversellesObjekt

Bezug
                
Bezug
Teilkettenbedingung,faktoriell: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 11:06 Mi 18.02.2015
Autor: sissile

Danke!!!
LG,
sissi

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


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