Bevis at et element af et integreret domæne er en enhed iff det genererer domænet.?

Bevis at et element af et integreret domæne er en enhed iff det genererer domænet.?
Anonim

Svar:

Påstanden er falsk.

Forklaring:

Overvej ringen af tal af formularen:

# A + bsqrt (2) #

hvor #a, b i QQ #

Dette er en kommutativ ring med multiplikativ identitet #1 != 0# og ingen nul divisorer. Det vil sige, det er et integreret domæne. Faktisk er det også et felt, da et hvilket som helst ikke-nulelement har en multiplikativ invers.

Den multiplikative invers af et ikke-nul element i formularen:

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

Så er et ikke-nul rationelt tal en enhed, men genererer ikke hele ringen, da den underring, der genereres af den, kun vil indeholde rationelle tal.