Você está na página 1de 1

TEORIA DOS GRUPOS E ANEIS

LISTA DE EXERCICIOS - 1

1- Seja G um grupo (aditivo), S um conjunto n


ao vazio, e M (S, G) o conjunto de todas as funcoes f : S G. Definida
adicao em M (S, G) do seguinte modo: (f + g) : S G e dada por s 7 f (s) + g(s) G. Prove que M (S, G) e um grupo,
que e abeliano se G e.
verdade que um semigrupo que tem um elemento de identidade `a esquerda e que cada elemento tem um inverso `
2- E
a
direita e um grupo? (Veja a Proposic
ao 1.3)
3- Escreva uma tabela de multiplicac
ao para o Grupo D4 = St .
4- Escreva a tabela de adic
ao para

Z2 Z2 . Z2 Z2 e chamado de grupo Klein.

5- Se p e primo, ent
ao os elementos diferentes de zero de Zp formam um grupo de ordem p 1 sob a multiplicac
ao.
[Sugest
ao: a 6= 0 = (a, p) = 1; usar introduc
ao, Teorema 6.5.] Mostrar que esta afirmacao e falsa se p nao for primo.
6a) A relac
ao dada por a b a b Z e uma relacao de congruencia no grupo aditivo
b) O conjunto

Q [Veja o teorema 1.5].

Z/Q de classes de equivalencia e um grupo abeliano infinito.

7- Seja p primo e seja Z(p ) subconjunto do do grupo Q/Z (Veja a pagina 27):

Z(p ) = {a/b Q/Z : a, b Z e b = pi para alguns i 0}.


Mostrar que o conjunto Z(p ) representa um grupo infinito sob a operacao deadica de Q/Z.
8- As seguintes condic
oes em um grupo G s
ao equivalentes: (i)G e abeliano; (ii)(ab)2 = a2 b2 para todo a, b G;
1
1 1
(iii)(ab) = a b para todo a, b G; (iv)(ab)n = an bb para todo n Z e todo a, b G; (iv)(ab)n = an bb para tres
inteiros consecutivos n e todo a, b G. Mostrar que (v) = (i) e falsa se tresfor substitudo por dois.
9- Se G e um grupo, a, b G e bab1 = aa para alguns r N, entao bj abj = ar para todo j N.
j

10- Se a2 = e, para todos os elementos a do grupo G, entao G e abeliano.


11- se G e um grupo finito de ordem par, ent
ao G contem um elemento a 6= e tal que a2 = e.
12- Seja Gum conjunto n
ao vazio com uma operacao binaria associativa tal que para todo a, b, c G ab = ac = b = c e
ba = ca = b = c. Ent
ao G e um grupo. Mostrar que esta conclusao pode ser falsa se G e infinito.

Você também pode gostar