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.

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

A título <strong>de</strong> exemplo, o problema da classificação para os grupos finitos<br />

simples (uma classe muito importante <strong>de</strong> grupos que estudaremos mais adiante<br />

no Capítulo 5) foi resolvido muito recentemente, no que foi seguramente<br />

um dos resultados mais importantes da <strong>Matemática</strong> do século XX. Apresentaremos<br />

neste texto a resolução <strong>de</strong> alguns problemas <strong>de</strong> classificação, <strong>de</strong><br />

complexida<strong>de</strong> crescente. Começamos por discutir um exemplo trivial, apenas<br />

para substanciar as i<strong>de</strong>ias expostas: a classificação dos monói<strong>de</strong>s com<br />

exactamente dois elementos.<br />

Se (X, ∗) é um monói<strong>de</strong> com dois elementos, temos X = {I, a}, on<strong>de</strong> I<br />

<strong>de</strong>signa a i<strong>de</strong>ntida<strong>de</strong>, e I = a. Note-se que os produtos I ∗I, I ∗a e a∗I estão<br />

<strong>de</strong>terminados pelo facto <strong>de</strong> I ser a i<strong>de</strong>ntida<strong>de</strong> (I ∗ I = I, I ∗ a = a ∗ I = a).<br />

Resta-nos calcular o produto a∗a, que só po<strong>de</strong> verificar a∗a = a ou a∗a = I<br />

(no segundo caso, a seria invertível, e portanto o monói<strong>de</strong> seria um grupo).<br />

As tabuadas seguintes <strong>de</strong>screvem estas duas possibilida<strong>de</strong>s:<br />

I a<br />

I I a<br />

a a I<br />

I a<br />

I I a<br />

a a a<br />

Para verificar que ambos os casos são possíveis, consi<strong>de</strong>rem-se os conjuntos<br />

M = {0, 1}, e G = {1, −1}, sendo a operação correspon<strong>de</strong>nte em ambos<br />

os casos o produto usual. É evi<strong>de</strong>nte que o produto é uma operação binária,<br />

associativa, e com i<strong>de</strong>ntida<strong>de</strong>, em qualquer um <strong>de</strong>stes conjuntos. Portanto,<br />

cada um <strong>de</strong>stes conjuntos, com o produto usual, é um monói<strong>de</strong> com dois<br />

elementos. Note-se também, inspeccionando as diagonais principais das respectivas<br />

tabuadas, que estes monói<strong>de</strong>s não são isomorfos.<br />

1 -1<br />

1 1 -1<br />

-1 -1 1<br />

1 0<br />

1 1 0<br />

0 0 0<br />

É claro que qualquer uma das duas primeiras tabuadas representa um<br />

monói<strong>de</strong> isomorfo a um <strong>de</strong>stes monói<strong>de</strong>s. Na realida<strong>de</strong>, se a ∗ a = I, o<br />

isomorfismo é a função φ : X → G dado por φ(I) = 1 e φ(a) = −1, e se<br />

a∗a = a, o isomorfismo é a função φ : X → M dada por φ(I) = 1 e φ(a) = 0.<br />

Resumimos estas observações como se segue:<br />

• G e M são monói<strong>de</strong>s com dois elementos,<br />

• G e M não são isomorfos entre si, e<br />

• Se X é um qualquer monói<strong>de</strong> com dois elementos, temos X G ou<br />

X M.<br />

Dizemos por isso que, “a menos <strong>de</strong> isomorfismo”, existem exactamente dois<br />

monói<strong>de</strong>s com dois elementos, e a classificação dos monói<strong>de</strong>s com dois

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

Saved successfully!

Ooh no, something went wrong!