Ex. 68) Sejam A= e B= anis, sendo ,e . Mostremos que dada por isomorfismo de A em B.

. Para tanto, devemos mostrar que trata-se de um homomorfismo bijetor. 1. Mostremos ser homomorfismo. Tomaremos 1.1. .

1.2.

2. Mostremos ser bijeo. 2.1. Para determinar de injetiva, determinemos os elementos de Seja , tal que . Logo, teremos:

{ }. Portanto, injetiva. Temos, ento, que 2.2. Para determinar se sobrejetiva, tomemos e mostraremos que existe tal que Evidentemente, temos que possui imagem , isto : Portanto, sobrejetiva. isomorfismo de A em B. de ) de maneira simples, calculando ( ) .

Conclumos, portanto, que Podemos obter a inversa ( Ex. 70) Seja a) Seja que:

isomorfismo de anis. um elemento idempotente de A, isto , . Por ser isomorfismo, temos ( )

Logo, tambm idempotente. b) Seja um elemento nilpotente de A, isto , para algum isomorfismo, temos que:

. Como

Logo, c) Sejam

tambm nilpotente. e , tais que . Sendo isomorfismo, temos: . Como no so inversveis, temos que tambm no o so.

Ex. 71) Sejam os corpos { que no existe aplicao }e { isomrfica. }. Mostraremos

Tomemos, por absurdo, uma aplicao isomrfica . Sendo ( ) ( ) um isomorfismo, temos que: ( ) ( )

. Indiquemos ( )

Por transitividade, temos que { Por

, portanto:

, conclumos que ou , ambos absurdos em . . Substituindo em , teremos que ou

Portanto, no existe isomorfismo entre A e B dados.

Ex. 72) Seja um isomorfismo de anis. Provaremos que a aplicao idntica. e . . Logo, temos: . Para , temos que ( . Logo, temos: )

Primeiramente, por ser isomorfismo, temos que Tomemos Podemos reescrever

Portanto, para todo

, conclumos que

Ex. 74) Seja um isomorfismo de anis. Mostraremos tratar-se da aplicao idntica. e . , isto , existe (na passagem marcada por , foi utilizado o resultado do exerccio anterior sobre isomorfismos com inteiros).

Por ser isomorfismo, temos que Tomemos . Temos que . Teremos que:

tal que

Mostramos o resultado para racionais da forma racionais da forma Sendo .

. Nos resta verificar os

inteiro, podemos escrev-lo como a soma de fatores unitrios, isto , (se , os sinais sero positivos; se , os sinais . Logo, temos: ) ( ) ( ) ( )

sero negativos). Logo, podemos denotar ( ) ( ) Portanto, a aplicao idntica. (

Ex. 77) Para determinar todos os homomorfismos de anis verifiquemos os possveis valores de . Tomemos . Temos que ( Portanto, para determinar todos os homomorfismos possveis valores para . Tomando , e pela regra de formao de temos: Porm, como homomorfismo, tambm temos:

, chamemos

, e

. Logo: )

, devemos analisar os determinado em ,

(na passagem indicada por , foi usada a regra de formao em Comparando e , conclumos que:

Nota-se facilmente que em , somente possvel se Portanto, os homomorfismos so funes da forma: {

ou

Ex. 79) Para determinar os homomorfismos analisemos seus possveis valores. Tomemos . Temos que

, chamemos

. Logo: ( )

Tomando temos:

, e pela regra de formao de

determinado em

Porm, como

homomorfismo, tambm temos:

(na passagem indicada por , foi usada a regra de formao em Comparando e , conclumos que:

Como em

tal relao s satisfeita por 0 e 1, temos que

}.

Temos, ento, que os homomorfismos

so funes da forma:

{ Ex. C5) Seja homomorfismos de corpos. Analisemos ou No primeiro caso, temos que o homomorfismo a funo nula. Atenhamo-nos doravante segunda hiptese. Nos resta aferir se os demais homomorfismos so isomorfismos, isto , se so bijees. i. Vamos demonstrar que injetor. Suponhamos, por absurdo, que existe existe . Logo,

. Como K corpo,

Porm

. Portanto,

injetor.