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.

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

2. Consi<strong>de</strong>re-se a função φ : C → M2(R) <strong>de</strong>finida por<br />

Verificamos que<br />

x −y<br />

y x<br />

ou seja,<br />

e, analogamente,<br />

x −y<br />

y x<br />

ou seja,<br />

φ(x + iy) =<br />

<br />

′ ′ x −y<br />

+<br />

y ′ x ′<br />

x −y<br />

y x<br />

<br />

.<br />

<br />

′ ′<br />

x + x −y − y<br />

=<br />

y + y ′ x + x ′<br />

φ(x + iy) + φ(x ′ + iy ′ ) = φ((x + iy) + (x ′ + iy ′ )),<br />

x ′ −y ′<br />

y ′ x ′<br />

<br />

=<br />

<br />

,<br />

xx ′ − yy ′ −(xy ′ + x ′ y)<br />

xy ′ + x ′ y xx ′ − yy ′<br />

φ(x + iy)φ(x ′ + iy ′ ) = φ((x + iy)(x ′ + iy ′ )).<br />

Temos portanto que φ é um homomorfismo <strong>de</strong> anéis. Neste caso, φ é injectivo<br />

( i.e., é um monomorfismo) mas não é sobrejectivo.<br />

3. Seja φ : Z → Z2 dado por φ(n) = 0, se n é par, e φ(n) = 1, se n é ímpar.<br />

É fácil verificar que φ é ainda um homomorfismo <strong>de</strong> anéis sobrejectivo ( i.e., é<br />

um epimorfismo), mas não é injectivo.<br />

4. Seja φ : R → M2(R) dado por<br />

φ(x) =<br />

x 0<br />

0 0<br />

Deve ser evi<strong>de</strong>nte que φ é um monomorfismo (mas não-sobrejectivo) 20 .<br />

5. Sejam S, T : R n → R n duas transformações lineares. Definimos a soma<br />

S + T e composição ST por<br />

<br />

.<br />

(S + T )(x) = S(x) + T (x), (ST )(x) = S(T (x)).<br />

Já observámos que com estas operações o conjunto das transformações lineares<br />

<strong>de</strong> R n em R n é um anel, que <strong>de</strong>signamos aqui por L(R n , R n ). Fixada uma base<br />

para R n , seja M(S) a matriz da transformação linear S relativa a esta base. É<br />

claro que M(S) é uma matriz n × n com entradas reais, e sabemos da <strong>Álgebra</strong><br />

Linear que a função M : L(R n , R n ) → Mn(R) verifica as i<strong>de</strong>ntida<strong>de</strong>s<br />

M(S + T ) = M(S) + M(T ), M(ST ) = M(S)M(T ).<br />

Temos portanto que M é um isomorfismo <strong>de</strong> anéis.<br />

„<br />

20 x<br />

Note-se que as matrizes da forma<br />

0<br />

0<br />

0<br />

«<br />

constituem um subanel <strong>de</strong> M2(R) com<br />

i<strong>de</strong>ntida<strong>de</strong> distinta da i<strong>de</strong>ntida<strong>de</strong> do anel M2(R).<br />

<br />

,

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

Saved successfully!

Ooh no, something went wrong!