GRUPOS

Definição
Um conjunto G não vazio juntamente com uma operação binária "*" é um grupo, se (G, *)
satisfaz as seguintes propriedades:

i) Associativa: a*(b*c) = (a*b)*c , ∀ a, b, c ∈ G.

(ii) Existência do elemento neutro: e ∈ G tal que a*e = e*a = a , ∀ a ∈ G.
(iii) Existência do elemento simetrizável a -1:
para cada a ∈ G, existe um único elemento a -1 ∈ G tal que a * a -1 = a -1 * a = e.
O grupo é chamado abeliano (ou comutativo) se G também satisfaz:
(iv) Comutatividade: a*b = b*a , ∀ a, b ∈ G.
OBS: O elemento neutro é único.
Para cada elemento de G, o seu simétrico é único (Caso o elemento tenha
simétrico). Cada elemento só tem um simétrico.

Exemplos
(i) Seja G o conjunto dos inteiros com a operação de adição. A soma usual de dois
inteiros é um inteiro e sabemos que vale a associatividade da soma. O elemento neutro é
o 0 (zero), e o simétrico do inteiro a é o inteiro –a.
Denotamos este grupo por (Z, +).
(ii) Seja G o conjunto de restos de todos os inteiros em divisão por 6, isto é,
G = {0, 1, 2, 3, 4, 5}, e seja a*b o resto da divisão por 6 da soma usual de a e b. Esse
conjunto é um grupo, chamado o grupo de inteiros módulo 6, e é denotado por Z6, +.

EERCICIOS:

1. Quais dos conjuntos abaixo são grupos em relação à operação indicada?

a) Z - ; adição
b) Z +; multiplicação
c) A = { x ∈ Z / x é par}; adição
d) B = { x ∈ Z / x é ímpar}; multiplicação
e) C = { -2, -1, 0, 1, 2}; adição
f) D = { 1, -1 }; multiplicação

2 . Verifique se é grupo:
x +y
a) (N, *) tal que x * y = , para x,y pertencentes a N.
2
x.y
b) ( Q+, *) tal que , para x,y pertencentes a Q+.
2

3. Mostre que R munido da operação * tal que x * y = x + y - 3 é um grupo

comutativo.

4. Mostre que { a + b 2 } é um grupo aditivo comutativo. Estabelecer as

condições sobre a e b para seja também um grupo multiplicativo.

5. Verificar se Z 4 é grupo na operação da adição.

6. Verificar se Z * 4 é grupo na operação da multiplicação. Z * 3 = { 1 , 2 , 3 }.

7. Verificar se Z * 5 é grupo na operação da multiplicação. Z * 4 = { 1 , 2 , 3, 4 }.

8. Justifique: ( Z 5, . ) não é grupo.

9. Qual o simétrico de 4 em ( Z* 6 , . )? ( Z* 6 , . ) é grupo?

10. Qual a condição para que (Z m*, .) seja grupo?

11 . O subconjunto { 1, 5, 8, 12 }de Z13 é um grupo em relação à multiplicação.

Logo cada elemento tem simétrico (e único) na multiplicação. Dê o simétrico de
cada elemento.

12. Mostre que o subconjunto { 0, 3, 6, 9} de Z12 na operação da adição é grupo.

13. Verifique se ( Z 6, + ) é grupo. Qual o simétrico, se existir, de 4 ?

14. Verifique se ( Z 4*, . ) é grupo. Qual o simétrico, se existir, de 2?

15. Verifique se ( Z* 5 , . ) é grupo. Qual o simétrico, se existir, de 3?

16. Ache o simétrico de 2 e 4 e (Z*5, . )