Enunciado

a) sejam A um anel ordenado e K seu corpo de frações. Mostre que o conjunto.

P = a b ∈ K a b ≥ 0

Cumpre as condições i ,   i i ,   i i i ,   ( i v ) do exercícios anterior e que, portanto, a relação sobre K definida por a b ≤ c d se, e somente se, c d - a b ∈ P faz de K um corpo ordenado.

b) mostre que a b ≤ c d se, e somente se, a c b 2 ≥ a b d 2 .

c) se a , b ∈ A , prove que a ≤ b   (   e m   A ) se, e somente se, a b ≤ c d     e m   k . (Por isso se diz que a ordem definida em K é uma” extensão” da ordem do anel A ).

Passo 1

Fala aiii meus lindos tudo blz? espero que sim

Então se liga só nessa questão do livro de álgebra moderna do Gerson Iezzi ele pede para determinarmos os seguintes itens:

a) sejam A um anel ordenado e K seu corpo de frações. Mostre que o conjunto.

P = a b ∈ K a b ≥ 0

Cumpre as condições i ,   i i ,   i i i ,   ( i v ) do exercícios anterior e que, portanto, a relação sobre K definida por a b ≤ c d se, e somente se, c d - a b ∈ P faz de K um corpo ordenado.

b) mostre que a b ≤ c d se, e somente se, a c b 2 ≥ a b d 2 .

c) se a , b ∈ A , prove que a ≤ b   (   e m   A ) se, e somente se, a b ≤ c d     e m   k . (Por isso se diz que a ordem definida em K é uma” extensão” da ordem do anel A ).

Precisa ficar assim não meus abençoados conforme você for vendo os passos vai perceber que ela é de boa.

Passo 2

Na letra (a) seja A um anel ordenado com o conjunto valendo,

P = a b ∈ K a b ≥ 0

Definido por,

K → a b ≤ c d , somente se c d - a b ∈ P

Podemos dizer que,

P = a b ≤ c d c d - a b ∈ P

Ficando,

P ∈ K

Na letra (b) para mostrar que a b ≤ c d sendo a c b 2 ≥ a b d 2 , vamos ficar com

a b 2 = c d 2

Ficando,

a c b 2 = a b d 2

E por fim na letra ( c ) sendo a , b ∈ A para provarmos que a ≤ b e m   A ,   s e a b ≤ b d ( e m   K ) temos,

K ∈ K       e     r = a b = c d ,         c o m a b ∈ P     e     c d ∈ P

A partir daí temos que,

a b = c d

Logo,

a b 2 = b c 2

Espero que eu tenha ajudado e te vejo no próximo desafio.

Até a próxima.

Resposta

a) P ∈ K

b) a c b 2 = a b d 2

c) a b 2 = b c 2