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.

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

Exercícios.<br />

1. Factorize a permutação<br />

π =<br />

num produto <strong>de</strong> ciclos disjuntos.<br />

1 2 3 4 5 6 7<br />

2 3 4 1 6 7 5<br />

2. Qual é a parida<strong>de</strong> da permutação π do exercício anterior?<br />

3. Quantas transposições existem em Sn?<br />

4. Quantos ciclos distintos <strong>de</strong> comprimento k (1 ≤ k ≤ n) existem em Sn?<br />

5. Mostre que, se π, ρ ∈ Sn, então sgn(πρ) = sgn(π) sgn(ρ).<br />

6. Prove que An é um subgrupo <strong>de</strong> Sn.<br />

7. Indique todos os elementos do grupo A3.<br />

8. Determine todos os subgrupos <strong>de</strong> S3.<br />

9. Mostre que em Sn o número <strong>de</strong> permutações pares é igual ao número <strong>de</strong><br />

permutações ímpares, se n > 1.<br />

1.4 Homomorfismos e Isomorfismos<br />

A comparação <strong>de</strong> estruturas algébricas que satisfazem a mesma <strong>de</strong>finição<br />

abstracta faz-se com recurso a uma das noções mais fundamentais da <strong>Álgebra</strong>,<br />

a <strong>de</strong> isomorfismo, ela própria um caso particular da noção <strong>de</strong> homomorfismo.<br />

A respectiva <strong>de</strong>finição formal apresenta-se a seguir para monói<strong>de</strong>s:<br />

Definição 1.4.1. Se (X, ∗) e (Y, ·) são monói<strong>de</strong>s, a função φ : X → Y diz-se<br />

um homomorfismo se e só se<br />

φ(x1 ∗ x2) = φ(x1) · φ(x2), ∀x1, x2 ∈ X.<br />

Se o homomorfismo φ é uma bijecção, então diz-se um isomorfismo, e neste<br />

caso os monói<strong>de</strong>s dizem-se isomorfos 10 .<br />

10 O uso dos seguintes termos também é frequente: um monomorfismo é um homomorfismo<br />

injectivo; e um epimorfismo é um homomorfismo sobrejectivo. Por outro lado, um<br />

endomorfismo é um homomorfismo <strong>de</strong> uma estrutura algébrica em si própria, enquanto<br />

que um automorfismo é um isomorfismo <strong>de</strong> uma estrutura algébrica em si própria.

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

Saved successfully!

Ooh no, something went wrong!