Mathematik online lernen im Mathe-Forum. Nachhilfe online
Startseite » Forum » Gaußscher Ring Hauptidealring

Gaußscher Ring Hauptidealring

Universität / Fachhochschule

Elementare Zahlentheorie

Tags: Elementare Zahlentheorie

 
Antworten Neue Frage stellen Im Forum suchen
Neue Frage
Salasah

Salasah aktiv_icon

21:55 Uhr, 30.03.2016

Antworten
Wie zeige ich, dass der Ring Z[i]={a+bi,a,bZ} ein Hauptidealring ist?
Durch Widerspruch? Ich habe wirklich keine Idee..
Online-Nachhilfe in Mathematik
Antwort
mihisu

mihisu aktiv_icon

22:59 Uhr, 30.03.2016

Antworten
Jeder euklidischer Ring ist ein Hauptidealring.

[i] ist mit der quadratischen Norm
N: [i]0,    a+iba2+b2
ein euklidischer Ring.

Wie wäre es damit?
Salasah

Salasah aktiv_icon

23:06 Uhr, 30.03.2016

Antworten
kann man das auch noch explizit zeigen?
Antwort
mihisu

mihisu aktiv_icon

23:17 Uhr, 30.03.2016

Antworten
Naja man kann im Grunde die Beweisideen von den Beweisen dass [i] ein euklidischer Ring ist und dass ein euklidischer Ring auch ein Hauptidealring ist zusammensetzen, um einen "expliziten" Beweis zu erhalten.

Ich habe mal einen möglichen Beweis angehängt, wie ich ihn nach kurzer Google-Suche gefunden habe:

http//www.iaz.uni-stuttgart.de/LstAGeoAlg/Rump/algzah.pdf
auf Seite 8

Im Grunde musst du ja zeigen, dass jedes Ideal ein Hauptideal ist. Also nimmst du dir ein beliebiges Ideal und zeigst, das es von einem einzigen Element erzeugt werden kann. Das Hauptproblem ist den Erzeuger zu finden bzw. dann nachzuweisen, dass dies ein Erzeuger ist, wofür einem die Beweisideen der beiden genannten Beweise helfen können.

Capture
Diese Frage wurde automatisch geschlossen, da der Fragesteller kein Interesse mehr an der Frage gezeigt hat.