Bizonyítsuk be, hogy az integrált tartomány egyik eleme egy olyan egység, amellyel a tartományt generálja.

Bizonyítsuk be, hogy az integrált tartomány egyik eleme egy olyan egység, amellyel a tartományt generálja.
Anonim

Válasz:

Az állítás hamis.

Magyarázat:

Fontolja meg az űrlap számainak gyűrűjét:

# Egy + bsqrt (2) #

hol #a, b QQ #

Ez egy kommutatív gyűrű, többszörös identitással #1 != 0# és nincs nulla osztó. Azaz, ez egy integrált tartomány. Valójában ez is egy mező, mivel minden nem nulla elem multiplikatív inverz.

Az űrlap egy nem nulla elemének multiplikatív inverze:

# a + bsqrt (2) "" # jelentése # "" a / (a ^ 2-2b ^ 2) -b / (a ^ 2-2b ^ 2) sqrt (2) #.

Ezután bármely nem nulla racionális szám egy egység, de nem generálja az egész gyűrűt, mivel az általuk generált subring csak racionális számokat tartalmaz.