Este é o quinto post sobre Álgebra Abstracta – Série em Teoria de Grupos.
No post passado, defini mais duas propriedades muito importantes que vão ter um papel preponderante na definição de um grupo : a existência de inversa (para todos os elementos no grupo ( , e a existência de um elemento especial , que é o resultado da operação binária entre e a sua inversa .
Acho que estamos em forma para definir (finalmente!) o conceito de grupo matematicamente:
Definição 1: (Definição de Grupo)
Um grupo é um par de dois objectos: um conjunto e uma operação binária (que vamos denotar por enquanto por ), quando estas quatro propriedades se verificam:
- (G1) Completude:
- (G2) Associatividade: ,
- (G3) Existência de Identidade:
- (G4) Existência de Inversas: .
Numa frase informal e curta: um grupo tem duas partes: um conjunto e uma operação binária de maneira a que o conjunto seja fechado, quando operado com , associativo, que exista um elemento identidade e que exista, para todo os elementos, um outro elemento dentro do conjunto que operados com resultem na identidade, chamado de inversa.
E isto é o que um grupo é.
são chamados os axiomas dos grupos. Um axioma é simplesmente uma proposição que se aceita ser verdadeira. Tudo o que eu fiz foi definir um grupo com quatro regras (arbitrárias). Os matemáticos não fazem nada ao calhas, no entanto. Porque será que escolheram estas propriedades? Provavelmente vais poder ir entendendo à medida que a série vai alargando!
Um exemplo nada intuitivo
Para nos ambientarmos mais com grupos de outros elementos que não números, vamos pensar na seguinte situação: Um quadrado é livre de rodar num plano (um espaço ) em rotações com um ângulo fixo . (4) Vamos mostrar que todas as propriedades (incluindo completude e associatividade), juntando-se à existência de inversa e identidade, vão formar o primeiro objecto que vamos estudar em Álgebra Abstracta: o Grupo.
Vamos então pensar. Será que se eu criar o conjunto de todas as rotações de 90º possíveis neste quadrado -que eu vou chamar em vez de – que, quando associado a uma operação binária definida como quer apenas dizer: aplica rotação e depois aplica a rotação . Será que esta operação é binária e portanto fechada? Melhor que responder, vamos provar.
Assume que existe um elemento que tem estas características: aplicando a rotação à ordem então: , , e . Mais concisamente, se quiseres: (5)
Rapidamente: vamos verificar que este conjunto tem todas as propriedade que defini:
- – é um conjunto fechado sobre a operação de composição de rotações. Podemos pensar caso a caso. Aplicando a todos os vértices faz rodá-los . Aplicando (lembra-te, quer dizer “aplica uma rotação de 90º graus ( ) a uma rotação de 90º graus sobre todos os vértices“. A resposta é intuitiva: isto tem de ser equivalente a rodar . De maneira similar vai corresponder a uma rotação de todos os vértices de . Podes continuar (podes sempre rodar o quadrado quantas vezes quiseres). Isto diz-te uma coisa simples: . Será que isto quer dizer que posso aplicar rotações sobre rotações quantas vezes quiser? Sim. Quer isto dizer que vamos ter infinitos elementos? Não! Vamos ver porquê em ; o que importa para o primeiro ponto é reparar que “uma rotação seguida de uma rotação tem de resultar numa rotação“.
- – Será que a ordem das rotações importa? Claro que não! Vamos supor que temos 3 elementos em , e vamos assumir que, respectivamente, cada elemento faz rodar graus. Então repara:
- – Em , fomos aplicando para qualquer ; se aceitares que podemos fazer isto mas que há um número finito de rotações possíveis, então vais ter de aceitar este facto: muitos elementos vão ter de ser essencialmente o mesmo. Lembra-te que só pode haver elementos neste conjunto de rotações e já definimos como . Não achas que falta alguma coisa? A identidade! Tem de ser a identidade, visto que falta um elemento! Vamos chamá-la . O que acontece se aplicares uma rotação de 90º quatro vezes? Vejamos: tem de corresponder a . Repara no entanto: rodar é igual a rodar e portanto não rodar nada. Pensa na definição da identidade! Aplicando-a ao nosso caso, o que quer dizer é simplesmente isto:
- Vamos fazer esta parte mais devagar, vamos apresentar alguma notação.
Não achaste um bocado estranho escrever um dos elementos como ? Vamos tentar simplificar:
Definição 2: (Aplicação de uma operação binária no mesmo elemento)
Se (se for membro de um grupo), pode ser escrito como e obtém-se que:
- , para todos os números
- , para todo o número
Se tens contacto com manipulação de expressões, potências, fracções e expoentes, não vais estranhar estes resultados. O que estamos a fazer é algo relacionado a criar as mesmas leis de exponenciação que usas todos os dias em números reais num sistema onde os elementos podem não ser números!
Usando esta definição, posso escrever = . Ficou mais simples de se perceber, vais concordar.
Usando o resultado 2. da Definição 2 vai dar-nos as ferramentas para descobrir a inversa de todos os elementos.
Vamos começar com (rotação de 90º graus no sentido dos ponteiros do relógio). Que possibilidades tenho eu para escolher a inversa de , ? Vamos tentar caso por caso:
- Se isto quereria dizer que . Absurdo! Sabemos que representa uma rotação de e portanto não pode ser a identidade.
- Se isto quereria dizer que (pelo resultado 1) pelo resultado 4; mas isto é absurdo, porque corresponde a uma rotação de e portanto não pode ser a identidade .
- Se isto quereria dizer que . Absurdo de novo! Já vimos que corresponde a uma rotação de e portanto não pode ser a identidade .
- Se isto quereria dizer que . Acho que daqui consegues entender que (rodar quatro vezes 90º graus não altera a configuração do quadrado).
Acabámos de descobrir . Não faz sentido? Se eu rodar no sentido horário e rodar mais , o quadrado regressaria á sua posição original e seria equivalente a não rodar nada – .
Se aplicares esta lógica aos restantes 3 elementos, vais notar que:
- A inversa de tem de ser . De novo, porque
- A inversa de tem de ser . De novo, porque
- A inversa de tem de ser . De novo, porque
Ou seja, acabámos de, mais do que descobrir que todos os elementos têm (apenas) uma inversa, calcular que inversa é para cada elemento.
Logo, o conjunto de rotações , sobre a operação “composição de rotações” faz com que estejam todas verificadas e cá está: acabei de provar que esta estrutura é um grupo.
No próximo post, vamos tentar entender um pouco mais do que os axiomas nos dizem. Já vi (provei, aliás) que o elemento identidade tem de ser único no grupo: apenas um pode ter as propriedades que a identidade deve ter. Vamos endereçar uma outra questão: a inversa de um elemento tem de ser única no grupo? A resposta, como hás de poder perceber, tem de ser “sim”.
Isto fica para a próxima.
________
(1) Não achaste no mínimo estranho que a inversa da identidade tenha de ser a identidade? Será que é sempre assim? No próximo post vamos provar que . (Não é difícil chegares a este resultado pela Definição 2 e os seus 4 resultados).