18.04.2013 Views

Álgebra I - Departamento de Matemática

Álgebra I - Departamento de Matemática

Álgebra I - Departamento de Matemática

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

46 Capítulo 1. Noções Básicas da <strong>Álgebra</strong><br />

Num anel não-abeliano A po<strong>de</strong>mos consi<strong>de</strong>rar subanéis para as quais<br />

a condição <strong>de</strong> i<strong>de</strong>al se verifica apenas num dos lados. Assim, um i<strong>de</strong>al<br />

esquerdo <strong>de</strong> A é um subanel B ⊂ A tal que para qualquer a ∈ A e b ∈ B se<br />

tem ab ∈ B. Da mesma forma, um i<strong>de</strong>al direito <strong>de</strong> A é um subanel B ⊂ A<br />

tal que para qualquer a ∈ A e b ∈ B se tem ba ∈ B.<br />

É claro que I ⊂ A<br />

é um i<strong>de</strong>al num sentido da Definição 1.6.9 se e só se é, simultaneamente,<br />

um i<strong>de</strong>al esquerdo e um i<strong>de</strong>al direito. Para um anel abeliano, todas estas<br />

noções coinci<strong>de</strong>m. Os i<strong>de</strong>ais laterais <strong>de</strong>sempenham um papel bem menos<br />

importante que os i<strong>de</strong>ais bilaterais, por causa da Proposição 1.6.8.<br />

Exercícios.<br />

1. Seja A um anel e φ, ψ : A → A endomorfismos. Mostre que a composição<br />

φ ◦ ψ é um endomorfismo, mas que φ + ψ po<strong>de</strong> não o ser. Em particular,<br />

mostre que o conjunto dos endomorfismos <strong>de</strong> A, <strong>de</strong>signado por End(A), com a<br />

operação <strong>de</strong> composição, forma um monói<strong>de</strong>.<br />

2. Seja A um anel e φ, ψ : A → A automorfismos. Mostre que a composição<br />

φ◦ψ e a inversa φ −1 são automorfismos. Em particular, mostre que o conjunto<br />

<strong>de</strong> todos os automorfismos <strong>de</strong> A, <strong>de</strong>signado por Aut(A), com a operação <strong>de</strong><br />

composição, forma um grupo.<br />

3. Qualquer inteiro m é da forma m = 3n+r, on<strong>de</strong> n é o quociente da divisão <strong>de</strong><br />

m por 3 e r o respectivo resto. Note que n e r são únicos <strong>de</strong>s<strong>de</strong> que 0 ≤ r < 3.<br />

Prove que a função φ : Z → Z3 dada por φ(m) = r é um homomorfismo <strong>de</strong><br />

anéis. Qual é o núcleo <strong>de</strong>ste homomorfismo?<br />

4. Prove que, se A e B são anéis, A tem i<strong>de</strong>ntida<strong>de</strong> 1, e φ : A → B é um homomorfismo<br />

então φ(1) é a i<strong>de</strong>ntida<strong>de</strong> <strong>de</strong> φ(A), não necessariamente a i<strong>de</strong>ntida<strong>de</strong><br />

<strong>de</strong> B. Mostre também que, se a ∈ A ∗ , então φ(a) −1 é o inverso <strong>de</strong> φ(a) em<br />

φ(A), não necessariamente o inverso <strong>de</strong> φ(a) em B. Em particular, φ(a) po<strong>de</strong><br />

não ser invertível em B.<br />

5. Prove que, se A e B são anéis, A tem i<strong>de</strong>ntida<strong>de</strong> 1, e φ : A → B é um<br />

isomorfismo então φ(1) é a i<strong>de</strong>ntida<strong>de</strong> <strong>de</strong> B. Mostre também que, se a ∈ A ∗ ,<br />

então φ(a) −1 é o inverso <strong>de</strong> φ(a) em B e φ(A ∗ ) = B ∗ .<br />

6. Prove que, se A e B são anéis, A tem i<strong>de</strong>ntida<strong>de</strong> 1, e φ : A → B é um<br />

isomorfismo, então B é um corpo (respectivamente, anel <strong>de</strong> divisão, domínio<br />

integral) se e só se A é um corpo (respectivamente, anel <strong>de</strong> divisão, domínio<br />

integral).<br />

7. Mostre que, se K é um corpo, A é um anel, e φ : K → A é um homomorfismo,<br />

então A contém um subanel isomorfo a K, ou φ é i<strong>de</strong>nticamente 0.<br />

8. Existem subanéis <strong>de</strong> Z ⊕ Z que não são i<strong>de</strong>ais <strong>de</strong> Z ⊕ Z?<br />

9. Determine End(A) quando A = Z e A = Q.<br />

(Sugestão: Calcule φ(1) e proceda por indução.)

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!