Probar que un elemento de un dominio integral es una unidad si genera el dominio.

Probar que un elemento de un dominio integral es una unidad si genera el dominio.
Anonim

Responder:

La afirmación es falsa.

Explicación:

Considere el anillo de números de la forma:

# a + bsqrt (2) #

dónde #a, b en QQ #

Este es un anillo conmutativo con identidad multiplicativa. #1 != 0# y no cero divisores. Es decir, es un dominio integral. De hecho, también es un campo, ya que cualquier elemento distinto de cero tiene un inverso multiplicativo.

El inverso multiplicativo de un elemento distinto de cero de la forma:

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

Entonces, cualquier número racional que no sea cero es una unidad, pero no genera el anillo completo, ya que la subring generada solo contendrá números racionales.