Beweisen Sie, dass ein Element einer integralen Domäne eine Einheit ist, wenn sie die Domäne generiert.?

Beweisen Sie, dass ein Element einer integralen Domäne eine Einheit ist, wenn sie die Domäne generiert.?
Anonim

Antworten:

Die Behauptung ist falsch.

Erläuterung:

Betrachten Sie den Ring der Zahlen des Formulars:

# a + bsqrt (2) #

woher #a, b in QQ #

Dies ist ein kommutativer Ring mit multiplikativer Identität #1 != 0# und keine Nullteiler. Das heißt, es ist eine ganzheitliche Domäne. Tatsächlich ist es auch ein Feld, da jedes Element, das nicht Null ist, ein multiplikatives Invers hat.

Die multiplikative Inverse eines Nicht-Null-Elements der Form:

# a + bsqrt (2) "" # ist # "" a / (a ^ 2-2b ^ 2) -b / (a ^ 2-2b ^ 2) sqrt (2) #.

Dann ist jede rationale Zahl ungleich Null eine Einheit, generiert jedoch nicht den gesamten Ring, da der von ihr erzeugte Teilring nur rationale Zahlen enthält.