Sebenta de exerccios de lgebra I

Curso: Matemtica

Ano Lectivo 2005/2006

23 de Setembro de 2005 (verso 1.1)

ndice
Notas Prvias Notaes e terminologia 1 Introduo 1.1 Noes elementares sobre conjuntos e relaes . . . . . . . . . . . . . . . . . 1.2 Noes elementares sobre aplicaes . . . . . . . . . . . . . . . . . . . . . . . 1.3 Noes elementares sobre nmeros inteiros . . . . . . . . . . . . . . . . . . . 2 Estruturas algbricas bsicas 2.1 Grupides, semigrupos e monides . . . . 2.2 Grupos . . . . . . . . . . . . . . . . . . . . 2.3 Morsmos entre estruturas algbricas . . . 2.4 Estruturas geradas e monognicas . . . . . 2.5 Relaes de congruncia. Coconjuntos . . 2.6 Estruturas normais. Estruturas quociente . 2.7 Teoremas do isomorsmo . . . . . . . . . . 2.8 Estruturas actuando sobre conjuntos . . . 2.9 Grupos-p e grupos de Sylow . . . . . . . . 3 Estruturas livres e apresentaes Bibliograa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ii iii 1 1 4 7 9 9 12 16 20 23 25 28 30 32 33 34

Notas Prvias

Esta sebenta de exerccios juntamente com a matria leccionada nas aulas tericas formam um todo, i.e., so uma parte integrante do programa da disciplina e no meramente um conjunto de exerccios soltos. Em relao resoluo dos exerccios que constam neste caderno, chama-se a ateno de que, s tem sentido tentar resolv-los, aps um estudo, cuidadoso, da matria leccionada nas aulas tericas, tudo o resto, ser uma mera tentativa de resoluo mecnica dos exerccios, sem qualquer fundamentao. O material contido nesta sebenta de exerccios, foi elaborado com base nas referncias [1, 2, 3, 4, 5] e de um conjunto de exerccios elaborados pelo prprio. De salientar, que alguns destes exerccios, foram revistos por alguns dos meus colegas do Departamento de Matemtica com quem tenho trabalhado ao longo dos anos. A todos eles, os meus sinceros e profundos agradecimentos. N.B.: Na elaborao desta sebenta, e dentro do possvel, houve o cuidado de se usar uma escrita matemtica rigorosa e uma simbologia o mais actualizada possvel, no entanto, pode no estar isenta de - apesar de involuntrias - omisses e incorreces1 .

apesar de se encontrar em permanente actualizao, aceitam-se e agradecem-se sugestes, comentrios e correces, de preferncia, enviados para psemiao@ualg.pt.

ii

Notaes e terminologia

Faremos uso dos seguintes smbolos para representar os conjuntos usuais: ; N = f0, 1, 2, 3, g Z = f , 2, 1, 0, 1, 2, g n o Q= x 2 R : x 2 Z ^ y 2 Z n f 0 g y R C o conjunto vazio o conjunto dos nmeros naturais o conjunto dos nmeros inteiros o conjunto dos nmeros racionais o conjunto dos nmeros reais o conjunto dos nmeros complexos

Sendo X 2 fN, Z, Q, Rg, representaremos por X>0 , X0 e X6=0 , respectivamente, os seguintes conjuntos: X>0 := fx 2 X : x > 0g X0 := fx 2 X : x 0g X6=0 := fx 2 X : x = 6 0g . Como exemplos, o conjunto R0 := fx 2 R : x 0g = [0, +1[, representa o conjunto dos nmeros reais no negativos, enquanto que o conjunto R6=0 := fx 2 R : x 6= 0g = R n f0g , representa o conjunto de todos os nmeros reais, excepto o zero. Faremos tambm uso do smbolo C6=0 , para representar o conjunto C n f0g. De um modo geral, o smbolo K representa um corpo qualquer e o smbolo := quer designar a igualdade de duas entidades por denio. Iremos representar por card(A) o cardinal do conjunto A. O smbolo v representa uma subestrutura de uma dada estrutura algbrica. Por exemplo, sendo M (resp., G) um monide (resp., grupo) e A um subconjunto de M (resp., G), para abreviar a expresso A um submonide (resp., subgrupo) de M (resp., G), usamos o simbolismo A v M (resp., A v G).

iii

Tabela de Smbolos
YX Inj(X, Y ) Surj(X, Y ) Bij(X, Y ) Mor(G, H ) (= Hom(G, H )) End(G) Mono(G, H ) Epi(G, H ) Bim(G, H ) Sect(G, H ) Retr(G, H ) Iso(G, H ) Aut(G) Emb(G, H ) Ul (G) (resp., UG (G), U (G)) N EG P (Z) hAi (resp., hAi) Idem(M ) o conjunto de todas as aplicaes de X em Y o conjunto de todas as aplicaes injectivas de X em Y o conjunto de todas as aplicaes sobrejectivas de X em Y o conjunto de todas as aplicaes bijectivas de X em Y o conjunto de todos os morsmos de G em H o conjunto de todos os endomorsmos em G o conjunto de todos os monomorsmos de G em H o conjunto de todos os epimorsmos de G em H o conjunto de todos os bimorsmos de G em H o conjunto de todas as seces de G em H o conjunto de todas as retraces de G em H o conjunto de todos os isomorsmos de G em H o conjunto de todos os automorsmos em G o conjunto de todos os mergulhos de G em H o conjunto de todos as unidades (esq., direitas, bilaterais) de G N subgrupo normal de G o conjunto de todos os elementos primos de Z o submonide (resp., subgrupo) gerado por A o conjunto de todos os elementos idempotentes de M

iv

1. Introduo
1.1. Noes elementares sobre conjuntos e relaes
1.1.1) Sejam X e Y conjuntos quaisquer. Mostre que se tem as seguintes propriedades: a) ; X .

b) A X () A 2 P (X ).

c) X Y =) P (X ) P (Y ).

1.1.2) Sejam X, Y e Z conjuntos quaisquer. Mostre que, a unio de conjuntos tem as seguintes propriedades: a) X [ (Y [ Z ) = (X [ Y ) [ Z . c) X [ Y = Y [ X . e) X [ X = X .

b) ; [ X = X [ ; = ;.

d) X Y () X [ Y = Y . 1.1.3) Sejam X, Y e Z conjuntos quaisquer. Mostre que, a interseco de conjuntos tem as seguintes propriedades: a) X \ (Y \ Z ) = (X \ Y ) \ Z . c) X \ Y = Y \ X . e) X \ X = X .

b) ; \ X = X \ ; = ;.

d) X Y () X \ Y = X . 1.1.4) Sejam X, Y e Z conjuntos quaisquer. Mostre que se tem as seguintes propriedades: a) (X [ Y ) \ Z = (X \ Z ) [ (Y \ Z ). c) (X \ Y ) [ Z = X \ (Y [ Z ) () Z X . e) A X ^ B Y () A B X Y . f) (X [ Y ) Z = (X Z ) [ (Y Z ).

b) (X \ Y ) [ Z = (X [ Z ) \ (Y [ Z ). d) ; X = X ; = ;.

g) (X \ Y ) Z = (X Z ) \ (Y Z ).

1.1.5) Seja uma relao de equivalncia denida num conjunto A. Mostre que: a) a denio de relao de equivalncia equivalente a ser formulada, pelas seguintes condies: 1

b) = 1 , ou seja, i), ii) e iii) so equivalentes a ter i), ii) = 1 e iii). 1.1.6) Sejam A um conjunto qualquer e uma relao de equivalncia denida em A. Mostre que: a) 8a 2 A a 2 [a].

i) IA . ii) 1 . iii) .

b) 8a, b 2 A ab , [a] = [b].

c) As classes de equivalncia de elementos de A formam uma partio de A, ou seja, i) 8a 2 A [a] 6= ;. ii) 8a, b 2 A S [a] 6= [b] =) [a] \ [b] = ;. iii) 8a 2 A [a] = A.
aA

1.1.7) Sejam A um conjunto qualquer e C := fAi A : i 2 I g P (A) uma partio de A. Ento existe uma relao de equivalncia em A tal que os elementos de C so as classes de equivalncia dos elementos de A. Sugesto: Considere a seguinte relao, para todo o a, b 2 A ab () 9i 2 I : (a 2 Ai ^ b 2 Ai ). 1.1.8) Seja n 2 Z6=0 . Mostre que a relao denida para todo o a, b 2 Z por: a b (mod n) () 9k 2 Z : a + (b) = k n uma relao de equivalncia. Esta relao a relao usual de congruncia dos nmeros inteiros. 1.1.9) Sejam A, B X . Mostre que a relao denida para todo o A, B 2 P (X ) por: AB () A B _ B A uma relao reexiva, simtrica mas no transitiva. 1.1.10) Considere-se a relao denida para todo o elemento de N2 por: (a, b) (c, d) () a + d = b + c. Mostre que uma relao de equivalncia e diga o que [(a, b)]. Com esta relao 2 e classe de equivalncia [(a, b)] chama-se nmero inteiro. dene-se Z := N 1.1.11) Seja A := fa, b, c, d, eg e consideremos as relaes i , i = 1, . . . , 8 denidas em A. a) Das relaes seguintes, quais so reexivas, simtricas, transitivas e equivalncias: 1) 2) 3) 4) 5) 1 2 3 4 5 := f(a, b), (b, a), (c, d), (d, c)g. := f(a, b), (b, c), (a, c)g. := f(a, a), (b, b), (c, c), (d, d), (e, e), (a, b), (b, c)g. := f(a, a), (b, b), (c, c), (d, d), (e, e)g (relao identidade). := f(a, b), (c, e), (d, a), (d, b)g. 2

6) 6 := f(a, a), (b, b), (c, c), (d, d), (e, e), (c, d), (d, c)g. 7) 7 := ; (relao vazia). 8) 8 := A A (relao universal). b) Determine os seguintes conjuntos quociente A/4 , A/6 e A/8 . 1.1.12) Considere os conjuntos A := fa, b, cg, B := fd, e, f g e C := fg, hg e as relaes: R := f(a, d), (b, e), (c, d)g e S := f(d, g ), (e, h), (f, h)g

denidas, respectivamente, em A B e B C . Determine S R. 1.1.13) Sejam S := Z Z6=0 e := f((r, s), (t, u)) 2 S 2 : r u = s tg. Mostre que uma relao de equivalncia em S .

1.2. Noes elementares sobre aplicaes

1.2.1) Mostre que se f : X ! Y uma aplicao qualquer, ento f induz as seguintes aplicaes: a) f : P (X ) ! P (Y ).

b) f : P (Y ) ! P (X ). 1.2.2) Sejam f : X ! Y uma aplicao, (Ai )iI uma famlia de subconjuntos de X e (Bi )iI uma famlia de subconjuntos de Y . Mostre que: a) f ( b) f (
iI iI

Ai ) = Ai )

c) f 1 ( d) f
1

T (

iI iI

f (Ai ). f (Ai ). S T f 1 (Bi ). f 1 (Bi ).

iI iI

S T

Bi ) = Bi ) =

iI iI

1.2.3) Sejam f : X ! Y e g : Y ! Z aplicaes quaisquer: b) Mostre que a composio de aplicaes injectivas, g f , uma aplicao injectiva. c) Mostre que a composio de aplicaes sobrejectivas, g f , uma aplicao sobrejectiva. a) Mostre que a composio de aplicaes, g f , uma aplicao.

d) Mostre que a composio de aplicaes bijectivas, g f , uma aplicao bijectiva. e) Se g f uma aplicao sobrejectiva, ento g uma aplicao sobrejectiva. f) Se g f uma aplicao injectiva, ento f uma aplicao injectiva.

1.2.4) Seja f : X ! Y uma aplicao qualquer. a) f injectiva se, e s se, existe uma aplicao g : Y ! X tal que g f = idX . (A g chama-se a inversa esquerda de f e diz-se que f uma seco). b) f sobrejectiva se, e s se, existe g : Y ! X tal que f g = idY . (A g chama-se a inversa direita de f e diz-se que f uma retraco). c) f bijectiva se, e s se, existe g : Y ! X tal que g f = idX ^ f g = idY . (A g chama-se funo inversa de f e diz-se que f um isomorsmo). d) Mostre que a aplicao inversa de f nica e, portanto, faz sentido represent-la por f 1 , i.e., (f 1 : Y ! X ). 1.2.5) Seja f : X ! Y uma aplicao qualquer. Mostre que: a) f injectiva se, e s se, para todo o conjunto Z e para todo o par de aplicaes g, g 0 : Z ! X as composies f g e f g 0 esto denidas, ento tem-se que: f g = f g 0 =) g = g 0 . (Uma aplicao que verique esta condio diz-se um monomorsmo).

b) f sobrejectiva se, e s se, para todo o conjunto Z e para todo o par de aplicaes g, g 0 : Y ! Z as composies g f e g 0 f esto denidas, ento tem-se que: g f = g 0 f =) g = g 0 . (Uma aplicao que verique esta condio diz-se um epimorsmo). 1.2.6) Considere X e Y dois conjuntos quaisquer. O conjunto X diz-se equivalente ou equipotente a Y e representa-se por X Y se, e s se, existe uma aplicao bijectiva de X em Y . Mostre que a seguinte relao: X Y () 9f 2 Y X : f 2 Bij(X, Y ) uma relao de equivalncia. Diz-se que os conjuntos X , Y tem a mesma cardinalidade se card(X ) = card(Y ) () X Y . 1.2.7) Sejam X e Y conjuntos quaisquer. Mostre que a relao denida por: card(X ) card(Y ) () 9f 2 Y X : f 2 Inj(X, Y ) uma relao de ordem parcial. (Sugesto: Use o teorema de Schrder-Bernstein para conjuntos innitos. Se tivermos aplicaes injectivas de X em Y e de Y em X , ento card(X ) = card(Y )). 1.2.8) Sejam X e Y conjuntos quaisquer e f : X ! Y uma aplicao e considere a relao para todo x, y 2 X xf y () f (x) = f (y ). Mostre que f uma relao de equivalncia. 1.2.9) Considere uma relao de equivalncia denida em X . a) Mostre que existe uma aplicao h : X ! X/ sobrejectiva. 8x, y 2 X Dena uma aplicao g :
X

b) Considere uma aplicao f : X ! Y qualquer, tal que f compatvel com , i.e., xy =) f (x) = f (y ). h-

! Y , de modo que o diagrama X

g f ?
X

c) Mostre ainda que, nestas condies, g sobrejectiva se, e s se, f sobrejectiva. d) Mostre tambm que, f bicompatvel com se, e s se, g injectiva.

Y seja comutativo, ou seja, g h = f .

1.2.10) Seja f : X ! Y uma aplicao que preserva as relaes, ou seja, 8a, b 2 X Mostre que: a) Existe uma nica aplicao f : X/ ! Y /0 tal que o seguinte diagrama X - X X f
?

ab =) f (a)0 f (b).

f Y Y
Y 0

comutativo. Diz-se que f a aplicao induzida por f . Reciprocamente, se para duas quaisquer aplicaes f e f o diagrama comutativo, ento f a aplicao que preserva a relao e, f a aplicao induzida por f . b) Se f (a)0 f (b) ) ab, ento f 2 Inj(X/, Y /0 ). d) Sendo X = Y := Z, := (a, a0 ) 2 Z2 : a a0 (mod 4) , 0 := (b, b0 ) 2 Z2 : a a0 (mod 2) 1) f ([0]4 ) = f ([2]4 ) = [0]2 . 2) f ([1]4 ) = f ([3]4 ) = [1]2 . c) Se f 2 Surj(X, Y ), ento f 2 Surj(X/, Y /0 ).

e f : X ! Y uma aplicao que preserva a relao, denida por f (n) = n, ento:

1.3. Noes elementares sobre nmeros inteiros

1.3.1) Mostre que para qualquer a, b, c 2 Z se tem o seguinte: b) 1 j a. a) a j 0.

d) a j b , a j (b) , (a) j b , (a) j (b). e) a j b ^ b j c ) a j c. f) a j b ^ a j c ) 8x, y 2 Z a j (bx + cy ).

c) a j a.

1.3.2) Considere a, b, k 2 Z e x 2 Z6=0 . Mostre que se verica o seguinte: a) gcd(a, b) = gcd(a, b + ax). b) gcd(ka, kb) = k gcd(a, b). 1.3.3) Determine o mximo divisor comum dos seguintes conjuntos e, exprima-o na forma gcd(a, b) = ax + by : a) f167, 389g. c) f242, 758g.

b) f275, 726g. 1.3.4) Determine o menor inteiro x no negativo tal que: a) x 19 (mod 5).

b) x 3312 (mod 4). d) x 177 (mod 8). c) x 26 (mod 13).

e) x 111 (mod 109).

1.3.5) Considere a, b 2 Z e n 2 Z6=0 um elemento xo. Mostre que so equivalentes as seguintes alneas: a) a b (mod n); c) a e b do o mesmo resto, na diviso por n.

b) n j a b;

1.3.6) Considere a, b, a0 , b0 , k 2 Z e n 2 Z6=0 um elemento xo. Mostre que se verica o seguinte: a) a b (mod n) ) ka kb (mod n).

b) a b (mod n) ^ a0 b0 (mod n) ) a + a0 b + b0 (mod n). d) a + k b + k (mod n) ) a b (mod n). e) ka kb (mod kn) ) a b (mod n). 7 c) a b (mod n) ^ a0 b0 (mod n) ) aa0 bb0 (mod n).

f) a b (mod n) ^ a0 j n ) a b (mod a0 ). 1.3.7) Indique, para as seguintes relaes, quais so possveis, e para essas, determine a respectiva soluo: a) 2x 3 (mod 4). c) 6x 2 (mod 4).

b) 3x 2 (mod 4).

d) 10x 14 (mod 15).

e) 10x 14 (mod 18).

f) 10x 14 (mod 21).

2. Estruturas algbricas bsicas

2.1. Grupides, semigrupos e monides
2.1.1) Diga se as relaes a seguir indicadas so operaes binrias de Z2 em Z, onde o smbolo + (resp., ) representa a adio (resp., multiplicao) usuais em Z. b) (x, y ) 7! x y . a) (x, y ) 7! x + y .

c) (x, y ) 7! x y . p d) (x, y ) 7! x y . f) (x, y ) 7! xy .

e) (x, y ) 7! x + 4y .

Em caso armativo, diga se a operao associativa ou comutativa e verique se existe elemento neutro (direito, esquerdo ou bilateral) e elementos invertveis no respectivo grupide. 2.1.2) D um exemplo de: a) Grupide que no seja associativo. b) Semigrupo que no seja comutativo. c) Grupide que no seja associativo nem comutativo. d) Semigrupo comutativo sem elemento neutro. e) Monide com elementos invertveis. f) Grupo. g) Grupide no associativo com elemento neutro e os elementos invertveis. 2.1.3) Seja X um conjunto qualquer. Mostre que (P (X ); [, ;) e (P (X ); \, X ) so monides. 2.1.4) Seja P o conjunto dos pontos do plano e considere a relao que a cada par de pontos de P associa o ponto mdio do segmento por eles denido. Verique que P com esta operao constitui um grupide comutativo no associativo. 2.1.5) Estude os seguintes grupides: a) O conjunto fa, b, c, dg com a operao denida pela seguinte tabela * a b c d 9 a d c a b b b d c a c b b a d d d a a c

b) (N; ) com a b := a + 2b, onde + a soma usual em N. d) (N; ) com a b := ja bj. c) (N; ) com a b := ab .

e) (Q6=0 ; ) com ab := a b1 , onde o produto usual em Q.

2.1.6) Seja A um grupide. Mostre que se 1A identidade esquerda e 10A identidade direita (em A) ento 1A = 10A , portanto 1A identidade nica de A. 2.1.7) Construa um grupide com duas identidades direitas. Verique se semigrupo. 2.1.8) Seja (S ; ) um semigrupo. Mostre que: a) Se vlida a lei do corte esquerda (resp., direita) ab = ac ) b = c (resp., ba = bc ) b = c) e a2 = a, ento a elemento neutro esquerda (resp., direita) de S . b) Existe um e um s idempotente em S , concretamente o elemento neutro. 2.1.9) Mostre que se (M ; , 1M ) um monide e a 2 M tem um inverso direito e um inverso esquerdo, ento estes coincidem. 2.1.10) Mostre que se (M ; , 1M ) um monide e a 2 U (M ), ento tem-se que: b) Qualquer das equaes ax = b e ya = b com b 2 M , admite uma e uma s soluo. 2.1.11) Sejam M um monide e a, b 2 U (M ). Mostre que: a) (ab)1 = b1 a1 . b) a e b comutam se, e s se, (ab)1 = a1 b1 . 2.1.12) Seja A um grupide. Mostre que se verica sempre uma e uma s, das armaes seguintes: a) A no tem identidade esquerda nem direita. b) A tem uma ou mais identidades direitas mas nenhuma identidade esquerda. c) A tem uma ou mais identidades esquerdas mas nenhuma identidade direita. d) A tem uma identidade e mais nenhuma (distinta) identidade esquerda ou direita. 2.1.13) Seja S um semigrupo nito. Mostre que S admite elemento neutro se, e s se, contm um elemento simplicvel. 2.1.14) Sejam S um semigrupo e a 2 S . Suponha que para esse elemento existe um elemento b de S tal que ab = a. Prove que quaisquer que sejam t e v , elementos de S , a equao yt = v solvel, ento b elemento neutro direito de S . 2.1.15) Seja Mnn (K) o conjunto das matrizes de ordem n n sobre o corpo K. Mostre que (Mnn (K); , In ) um monide, onde o produto usual de matrizes. 2.1.16) Mostre que se (S ; ) um semigrupo, ento qualquer seu subgrupide um semigrupo. Conclua, analogamente para um semigrupo comutativo. 10 a) 8b, c 2 M , ab = ac =) b = c.

2.1.17) Seja (S ; ) um semigrupo. Mostre que: a) aS um subsemigrupo de S . b) se a um elemento idempotente de S tal que 8x 2 S , x = xa, ento a o elemento neutro de aS . 2.1.18) Mostre que um subconjunto A M um submonide de um monide (M ; , 1M ) se, e s se, verica: i) 8x, y 2 M : x, y 2 A =) x y 2 A; ii) 1M 2 A. 2.1.19) Sejam M um monide e A M . O centralizador de A em M denido por: CM (A) := fx 2 M : 8a 2 A, xa = axg . Mostre que CM (A) um submonide de M . Quando A := M , chama-se o centro de do monide M e representa-se por Z (M ).

11

2.2. Grupos
2.2.1) Suponha que S := fx, y, z, wg um grupo com elemento neutro x. Verique que para cada uma das condies adicionais seguintes se tem uma nica tabela de Cayley tal que S um grupo: a) y 2 = z . b) y 2 = w . c) y 2 = x e z 2 = x. d) y 2 = x e z 2 = y . 2.2.2) Suponha que S := fa, b, cg um grupo. S existe uma nica maneira possvel de * a b c a b completar a seguinte tabela de Cayley . Encontre-a. b c 2.2.3) Mostre que num grupo vlida a lei do corte. 2.2.4) (Critrio de Dickson) Mostre que um semigrupo S um grupo se, e s se, verica as seguintes condies: i) Existe um elemento neutro direita de S , 1r . ii) Qualquer que seja o elemento a 2 S , existe um elemento a0 2 S tal que aa0 = 1r , ou seja, a0 o inverso direito relativamente a 1r . 2.2.5) (Critrio de Weber-Huntington) Mostre que um semigrupo S um grupo se, e s se, as equaes, para todo o a, b 2 S , ax = b e ya = b so solveis. 2.2.6) Mostre que um semigrupo S um grupo se, e s se, qualquer que seja o elemento a 2 S , aS = Sa = S . 2.2.7) Prove que para qualquer grupo G a equao axb = c tem uma nica soluo, quaisquer que sejam os elementos a, b, c 2 G. 2.2.8) Mostre que se G um grupo e a, b 2 G so tais que ab = b, ento a o elemento neutro do grupo. 2.2.9) Sejam G um grupo e a, b, c 2 G. Mostre que: a) qualquer uma das igualdades seguintes implica as outras duas: 1) ab = c; 2) a = cb1 ; 3) b = a1 c. b) ab = c no implica a = b1 c. 2.2.10) Mostre que todo o semigrupo nito em que vlida a lei do corte um grupo (nito). 2.2.11) Sejam G um grupo e A G. Mostre que, A v G se, e s se, verica: i) 1G 2 A; 12

iii) 8x 2 G : x 2 A =) x1 2 A.

ii) 8x, y 2 G : x, y 2 A =) x y 2 A;

2.2.12) Mostre que um semigrupo S com identidade 1S em que 8x 2 S , x2 = 1S um grupo abeliano. 2.2.13) Mostre que num grupo se b o inverso direito (resp., esquerdo) de a ento bk o inverso direito (resp., esquerdo) de ak . 2.2.14) Sejam G um grupo, A, B, C G e considerem-se os seguintes subconjuntos: A1 := a1 2 G : a 2 A (em notao aditiva A := fa 2 G : a 2 Ag) e B 1 := b1 2 G : b 2 B (em notao aditiva B := fb 2 G : b 2 B g).

Mostre que:

b) f1G g A = A f1G g = A (em notao aditiva f0G g + A = A + f0G g = A). c) (A B )1 = B 1 A1 (em notao aditiva (A + B ) = (B ) + (A)).

a) (A B ) C = A (B C ) (em notao aditiva (A + B ) + C = A + (B + C )).

d) 8x 2 G, A B ) x A x B (em notao aditiva 8x 2 G, A B ) fxg + A fxg + B ). e) 8x 2 G, fxg A = A fxg () fxg A fxg1 = A (em notao aditiva fxg + A = A + fxg () fxg + A + ( fxg) = A). f) A G = G A = G (em notao aditiva A + G = G + A = G).

g) A B ) A1 B 1 (em notao aditiva A B ) A B ). Se A v G, ento: b) 8x 2 G, (fxg A)1 = A fxg1 (em notao aditiva 8x 2 G, (fxg + A) = A + ( fxg)). a) A1 = A (em notao aditiva A = A).

c) A A = A (em notao aditiva A + A = A), em particular, 8x 2 A, fxg A = A (em notao aditiva 8x 2 A , fxg + A = A).

2.2.15) Considere-se o grupide (N; ), onde a multiplicao usual e os seguintes subconjuntos de N: A := f2g , B := fx 2 N : x divisor de 6g e C := fx 2 N : x mltiplo de 6g. b) Dos conjuntos A, B, O B e B A quais so partes estveis de N para a mesma operao. c) Mostre que (C ; ) subgrupide de (N; ) e escreva-o como produto de dois subgrupides de (N; ). 2.2.16) Sejam (M ; , 1M ) um monide. Mostre que U (M ) um subgrupo do monide M . 2.2.17) Mostre que um grupo G abeliano se, e s se, 8a, b 2 G, (ab)1 = a1 b1 . 13 a) Determine O B e B A, sendo O := f0g.

2.2.18) Sejam M1 e M2 monides (resp., grupos), prove que: a) (M1 M2 ; , (1M1 , 1M2 )) um monide (resp., grupo). c) Generalize para M1 M2 Mn .

b) (M1 M2 ; +, (0M1 , 0M2 )) um monide (resp., grupo). 2.2.19) Sejam A e B submonides (resp., subgrupos) de um monide M (resp., grupo). Mostre que: a) A B submonide (resp., subgrupo) de M M . c) A [ B submonide (resp., subgrupo) de M se, e s se, A B _ B A.

b) A \ B submonide (resp., subgrupo) de M .

d) AB (em notao aditiva A + B ) submonide (resp., subgrupo) de M se, e s se, AB = BA (em notao aditiva A + B = B + A). No caso particular de M ser abeliano, ento AB (em notao aditiva A + B ) submonide (resp., subgrupo) de M . 2.2.20) Seja X um conjunto qualquer. Mostre que (P (X ); M, ;) um grupo abeliano, onde A M B := (AnB ) [ (B nA) = fx 2 X : x 2 A [ B ^ x 2 / A \ Bg . 2.2.21) Sejam G um grupo, A 2 P6= (G) e o conjunto gAg 1 := gag 1 2 G : a 2 A

que se chama o conjugado direito de A em G. Mostre que gAg 1 v G se, e s se, A v G.

2.2.22) Sejam G um grupo e A 2 P (G). Chama-se normalizador de A em G ao conjunto NG (A) := x 2 G : xAx1 = A . Mostre que NG (A) um subgrupo de G. 2.2.23) Sejam A v K v G e x 2 G (xo). Mostre que: b) NG (xAx1 ) = xNG (A)x1 . 2.2.24) Considere o grupo GLn (K) := fA 2 Mnn (K) : A invertvelg. a) Mostre que GLn (K) um grupo. b) Determine todos os subsemigrupos prprios de GL2 (R). a 0 c) Verique que o conjunto 2 M22 (R) : a 2 R um subsemigrupo de 0 0 GL2 (R). Ser um submonide de GL2 (R)? Justique. d) Mostre que SLn (K) GLn (K), onde SLn (K) := fA 2 GLn (K) : det(A) = 1g um subgrupo de GLn (K). e) Determine o centro do grupo GLn (K), i.e., Z (GLn (K)). 14 a) NK (A) = NG (A) \ K .

2.2.25) Determine os subgrupos de: a) Z6 . b) S3 . 2.2.26) Simplique cada uma das seguintes expresses em Z5 : a) [8] + [4]. b) [2] + [7]. c) [17] + [76]. d) [3] [4]. e) [2] [7].

h) [3] ([2] + [4]).

g) ([3] [2]) + ([3] [4]).

f) [17] [76].

Resolva o mesmo exerccio considerando as expresses em Z6 . 2.2.27) Construa as tabelas de Cayley de (Z3 ; +), (Z3 ; ), (Z4 ; +) e (Z4 ; ). Diga quais dos grupides em questo so grupos. 2.2.28) Mostre que cada grupo Zn abeliano. 2.2.29) Verique se (Z3 n f[0]g ; , [1]) e (Z4 n f[0]g ; , [1]) so grupos. 2.2.30) Mostre que (Zn n f[0]g ; , [1]) grupo se, e s se, n primo. f(a,b) : R ! R denida da seguinte 2.2.31) Considerem-se o par (a, b) 2 R6=0 R e a aplicao R forma f(a,b) (x) = ax + b. Seja A := f(a,b) 2 R : (a, b) 2 R6=0 R . b) Verique se existe elemento neutro em (A; ). c) Determine U (A). d) Diga, justicando, se (A; , idR ) um grupo. a) Mostre que (A; ) um grupide e verique se comutativo.

15

2.3. Morsmos entre estruturas algbricas

2.3.1) Indique, quais das seguintes aplicaes so morsmos e, em cada caso armativo, determine o respectivo ncleo e classique o respectivo morsmo: a) f : (Z; +) ! (R; +) denida por f (x) := 3x. c) f : (R; +) ! (Z; +) denida por f (x) := 3x. e) f : (Z; ) ! (N; ) denida por f (x) := x2 .

b) f : (Z; +) ! (R; ) denida por f (x) := 3x. d) f : (Z; ) ! (Z; ) denida por f (x) := 3x.

h) f : (Z; +) ! (Z; +) denida por f (x) := x2 .

g) f : (R>0 ; ) ! (R>0 ; ) denida por f (x) := x2 . i) f : (Q; +) ! (Q; +) denida por f (x) := x + 2.

f) f : (R; ) ! (R0 ; ) denida por f (x) := x2 .

k) f : (C6=0 ; +) ! (R6=0 ; ) denida por f (z ) := jz j2 . m) f : (Z; ) ! (Z; ) denida por f (x) := 2x + 1.

j) f : (R6=0 ; +) ! (R6=0 ; +) denida por f (x) := jxj. l) f : (R6=0 ; +) ! (R6=0 ; +) denida por f (x) := x.

n) f : (Z; +) ! (Z; ), onde x y := x + y 1 e f denida por f (x) := 2x + 1.

p) f : Z8 ! Z2 denida por f (a8 ) = a2 .

o) f : (R; ) ! (R; +), onde xy := 2xy + x + y e f denida por f (x) := 2x + 1.

q) f : Z12 ! Z12 denida por f ([a]12 ) = [a + 1]12 .

r) f : (R; +) ! (R6=0 ; ) denida por f (x) := ax , sendo a 2 R6=0 um elemento qualquer xo. 1 se x > 0 . 1 se x < 0

s) f : (R>0 ; ) ! (R; +) denida por f (x) := ln(x). t) f : (R6=0 ; ) ! (f1, 1g ; ) denida por f (x) :=

2.3.2) Considere a relao f : R ! R denida por f (x) := x2 1. a) Mostre que uma aplicao. b) Dena duas operaes binrias e de modo que f seja um morsmo de (R; ) para (R; ). c) Determine dois grupides de modo que f seja um isomorsmo entre eles. 2.3.3) Considere a aplicao f : C6=0 ! R6=0 , denida por f (z ) = jz j. b) Determine explicitamente os elementos de Ker(f ) e de Im(f ). c) Represente geometricamente os elementos de f 1 (f2g). 2.3.4) Sejam (G; , 1G ) um grupo e a relao f : G ! G denida nas seguintes alneas por: a) f (x) = x1 . b) f (x) = x2 . 1) Verique que f no , em geral, um morsmo de grupos. 16 a) Mostre que f um morsmo do grupo (C6=0 ; , 1) no grupo (R6=0 ; , 1).

2) Estabelea uma condio necessria e suciente para que f seja um morsmo de grupos. 2.3.5) Seja S 1 := fz 2 C : jz j = 1g. b) Verique se a aplicao f : (R; +, 0) ! (S 1 ; , 1) , denida por f (x) = cis x um morsmo de grupos. 2.3.6) Considere o morsmo f : Z6 ; +, 0 ! (S3 ; , id), tal que f 16 = 1 2 3 . a) Determine Ker (f ). b) Determine Im(f ). c) Ser possvel determinar um isomorsmo entre Z6 ; +, 0 e (S3 ; , id)? c a . b c c) Determine f 1 (f1g). a) Mostre que S 1 subgrupo de (C6=0 ; , 1).

2.3.7) Considere os conjuntos A := f1, 2, 3g e B := fa, b, cg e as tabelas seguintes: 1 2 3 0 a b 1 1 2 3 a b c e 2 2 3 1 b c a 3 3 1 2 c a b

operaes e 0 dadas pelas

Mostre que existe um isomorsmo entre os grupides (A; ) e (B ; 0 ). 2.3.8) Sejam (G; , 1G ), (G0 ; , 1G0 ), (G00 ; , 1G00 ) grupos e, f : G ! G0 e g : G0 ! G00 morsmos de grupos. a) Mostre que g f um morsmo de grupos.

b) Mostre que, se f e g so isomorsmos, ento g f um isomorsmo. 2.3.9) Sejam (M, d) e (M 0 , d0 ) dois espaos mtricos. Uma isometria uma aplicao bijectiva f : M ! M 0 tal que d0 (f (x), f (y )) = d(x, y ). a) Mostre que o conjunto de todas as isometrias em M , i.e., Isom(M ) := f 2 M M : f uma isometria um grupo. b) Sejam agora X 2 P6= (M ). Mostre que o conjunto de todas as isometrias que deixam o conjunto X xo SM (X ) := ff 2 Isom(M ) : f (X ) = X g um subgrupo de Isom(M ). A este grupo, chama-se o grupo da simetria de X em relao ao espao mtrico M . 2.3.10) Sejam X 6= ; um conjunto qualquer e considere o conjunto X X . Mostre que: b) Sym(X ) um grupo. a) (X X ; , idX ) um monide. 17

2.3.11) Sejam X um conjunto qualquer e M (resp., G) um monide (resp., um grupo). Mostre que: a) (M X ; , c1M ) um monide.

b) (GX ; , c1G ) um grupo.

2.3.12) Sejam M, N monides (resp., grupos). Mostre que: a) (N M ; , c1N ) um monide (resp., grupo).

b) Se N comutativo, ento (Mor(M, N ); , c1N ) um submonide (resp., subgrupo) de N M . Conclua que, Mor(M, N ) comutativo. c) Sendo M comutativo, ento (End(M ); , c1M ) (resp., Aut(M )) um monide (resp., grupo) comutativo. 2.3.13) Seja M um monide (resp., grupo). Mostre que (End(M ); , idM ) (resp., (Aut(M ); , idM )) um monide (resp., grupo). 2.3.14) Considere a aplicao f : N6=0 ! f0, 1g denida por: 1 2 3 4 2k 1 2k , onde k 2 N6=0 . 1 0 1 0 1 0 b) Ser f um isomorsmo entre os grupides (N6=0 ; ) e (f0, 1g ; )? 2.3.15) Sejam S e T grupides (resp., semigrupos) e f 2 Mor(S, T ). Mostre que: a) Se a um idempotente em S , ento f (a) um idempotente em T . b) Se A um subgrupide (resp., subsemigrupo) de S , ento f (A) um subgrupide (resp., subsemigrupo) de T . c) Se B um subgrupide (resp., subsemigrupo) de T , ento f 1 (B ) um subgrupide (resp., subsemigrupo) de S . d) Se 1S for o elemento neutro de S , indique condies para que f (1S ) seja o elemento neutro de T . 2.3.16) Sejam (G; , 1G ), (G0 ; 0 , 1G0 ) grupos e f : G ! G0 um morsmo de grupos. Prove que: a) f (1G ) = 1G0 . b) 8a 2 G, f (a1 ) = (f (a))1 . c) 8n 2 Z 8a 2 G, f (an ) = (f (a))n . Em particular, f (a1 ) = (f (a))1 . a) Mostre que 8a, b 2 N6=0 , f (ab) = f (a)f (b).

d) Se A v G, ento f (A) v G0 . Em particular, conclua que Im(f ) v G0 .

e) Se B v G0 , ento f 1 (B ) v G. Em particular, conclua que Ker(f ) v G.

2.3.17) Sejam (Z; , 1) o monide dos inteiros e f : (Z; , 1) ! (Z; , 1) uma aplicao denida por 8x 2 Z, f (x) = 0. Mostre que 8x, y 2 Z, f (xy ) = f (x)f (y ) mas que f no um morsmo de monides. 2.3.18) Dado um grupo G, considere a famlia de aplicaes ( g )gG , onde g : G ! G denida por g (x) := gxg 1 . Verique se: 18

a) Para todo o g , g 2 Aut(G) (automorsmo interno direito de G). O conjunto de todos os automorsmos internos direitos representa-se por Innr (G). b) (Innr (G); , idG ) um subgrupo de (Aut(G); , idG ). c) Verique que a aplicao f : G ! Aut(G) denida por f (g ) := g um morsmo e tal que Ker(f ) = Z (G) e Im(f ) = Innr (G).

2.3.19) Sejam G, G0 , G00 grupo e f0 , f1 , f2 , f3 morsmos tais que: f0g ! G ! G0 ! G00 ! f0g e Im(fi ) = Ker(fi+1 ), i = 0, 1, 2. a) Mostre que f1 um morsmo injectivo. b) Mostre que f2 um morsmo sobrejectivo. 2.3.20) Sejam G um grupo, f 2 Aut(G). Mostre que f (Z (G)) Z (G). 2.3.21) Sejam f : G ! H um morsmo, A v G e B v H . Mostre que: a) Se f (A) = B , ento f 1 (B ) = A Ker(f ). b) Se f 1 (B ) = A, ento f (A) = B \ Im(f ). 2.3.22) (Teorema de Cayley) Seja (M ; , 1M ) um monide (resp., grupo). Mostre que: b) todo o grupo M isomorfo a um subgrupo de Sym(M ). a) todo o monide isomorfo a um submonide de (M M ; , idM ). c) todo o grupo nito de ordem n isomorfo a um subgrupo do grupo Sn . 2.3.23) Sejam G1 , G2 , G3 , G4 grupos, f 2 Mor(G1 , G2 ) e g 2 Mor(G2 , G3 ) morsmos. Mostre que: a) Ker(g f ) = f 1 (Ker(g )) e Im(g f ) = g (Im(f )). G1 h
?
f0 f1 f2 f3

b) se o diagrama

f G2 g j
? - G3

G4

comutativo se h 2 Surj(G1 , G4 ) e g 2 Inj(G2 .G3 ), ento Im(f ) = g 1 (Im(j )) e Ker(j ) = h(Ker(f )).

19

2.4. Estruturas geradas e monognicas

2.4.1) Sejam G um grupo e X G. Mostre que: a) O conjunto gerado por X 1 1 1 1 1 hX i = 1G , x , i = 1, . . . , n, n 2 N6=0 1 x2 xn 2 G : xi 2 X , xi 2 X forma um subgrupo de G. b) X hX i.

c) 8A v G : X A =) hX i A.

2.4.2) Sejam G um grupo e A, B G. Mostre que: b) h;i = f1G g. a) A B =) hAi hB i. c) Se A v G, hAi = A. Em particular, hf1G gi = f1G g e hGi = G.

d) Se A B hAi =) hAi = hB i.

2.4.3) Seja C := f1, 2, 3g N. Construa o grupo simtrico de C (escreva a tabela de Cayley). Determine todos os subgrupos de Sym(C ) e diga qual a cardinalidade mnima dos conjuntos de geradores dele. 2.4.4) Sejam G um grupo, X 2 P6= (G) e (Ai )iI 2 Sub(G)I tais que 8i 2 I , Ai X . O interior de X em G denido por * + [ CorG (X ) := Ai .
iI Ai X

Mostre que: a) CorG (X ) um subgrupo de G. b) Se A v G tal que 8i 2 I , Ai A, ento * + [ \ CorG (A) := Ai = g 1 Ag .

iI Ai A g G

2.4.5) Sejam A, B v G. Mostre que: hA [ B i = fa1 b1 a2 b2 an bn 2 G : ai 2 A, bj 2 B, i, j 2 Ng . Se A, B G poder-se-ia dizer o mesmo? Justique. 2.4.6) Sejam G um grupo e A, B v G tais que AB = BA. Prove que hA [ B i = AB . 2.4.7) Sejam f : G ! H um morsmo de grupos e G = hX i. Mostre que: b) Se f 2 Surj(G, H ), ento f (hX i) = H . 20 a) f (hX i) = hf (X )i.

2.4.8) Sejam G um grupo e a 2 G. a) Mostre que se existem r, s 2 Z com r 6= s tais que ar = as , ento existe o menor inteiro positivo n, tal que an = 1. A esse elemento (se existe) chama-se a ordem de a, e representa-se por ord(a). Se tal elemento no existe ento diz-se que a ordem de a innita. b) Sejam t 2 Z e ord(a) = n, ento tem-se que, at = e () n j t. 2.4.9) Determine a ordem de cada elemento no respectivo grupo: a) (S3 ; , id). c) (Z3 ; +, 0). e) (Z4 ; , 1). 2.4.10) Seja G um grupo abeliano. Mostre que: a) Se a, b 2 G tais que ord(a) = n e ord(b) = m, ento (ab)mn = 1G .

b) (S4 ; , id). d) (Z6 ; +, 0).

b) Se G no abeliano o resultado anterior pode no se vericar. 1 2 3 1 2 3 Sugesto: Considere em S3 , a := e b := . 2 1 3 3 2 1 2.4.11) Seja G um grupo abeliano. Prove que o subconjunto F , dos seus elementos de ordem nita um subgrupo de G. Se G no fosse abeliano F seria subgrupo de G? Justique. 2.4.12) Sejam G um grupo e a um seu elemento de ordem nita. Mostre que a ord(a) = ord(a1 ). 2.4.13) Construa a tabela de Cayley para um grupo G := hai com a 6= 1G e a5 = 1G . 2.4.14) Considere o subconjunto A := f1, 1, i, ig C. b) Verique se (A; , 1) cclico e, em caso armativo, indique os seus geradores. c) Indique os subgrupos de (A; , 1). 2.4.15) Prove que um elemento diferente do elemento neutro de um grupo tem ordem 2 se, e s se, igual ao inverso de si prprio. 2.4.16) Dado um grupo cclico G = hai de ordem 10, indique todos os subgrupos de G. 2.4.17) Seja G := hai um grupo tal que a56 = a73 . b) Se fosse a76 = a72 qual seria a ordem de G. 2.4.18) Mostre que se G um grupo nito de ordem n, qualquer que seja o elemento a 2 G tem-se que an = 1G . 2.4.19) Verique que Z12 tem um subgrupo de ordem k para cada divisor k , de 12. 21 a) Supondo a 6= 1G , qual a ordem de G. a) Mostre que (A; , 1) um grupo abeliano.

2.4.20) Seja G um grupo cclico gerado por a tal que a21 = a6 . a) Que pode concluir quanto ordem de G? b) Qual a ordem do subgrupo gerado por a7 ?
rs 1 r2 2.4.21) Seja n = pr 1 p2 ps a ordem dum grupo cclico, em que, p1 , p2 , ..., ps 2 P (Z) e so distintos. Vericar que a sempre o produto de s elementos do grupo cclico, cujas r2 rs 1 ordens so pr 1 , p2 , . . . , ps , respectivamente.

2.4.22) Sejam M, M 0 monides, X um conjunto de geradores de M e f, g 2 Mor(M, M 0 ). Mostre que se 8x 2 X, f (x) = g (x), ento f = g . 2.4.23) Mostre que um grupo cclico innito tem exactamente dois geradores. 2.4.24) Seja G um grupo cclico nito de ordem n, gerado por x. Mostre que hxk i = G se, e s se, k primo com n. 2.4.25) Seja M um monide gerado pelo subconjunto X e suponha-se que todo o elemento de X invertvel (em M ). Mostre que: a) M um grupo. b) Se separar-mos os elementos inversos num conjunto X 0 disjunto de X , ento M = S hX X 0 i. a) S tambm um grupo cclico. b) Se G nito a ordem de S divide a ordem de G. 2.4.27) Seja G um grupo cclico de ordem n. Mostre que existe uma aplicao bijectiva entre os subgrupos de G e os divisores positivos de n. 2.4.28) Mostre que: a) Cada grupo cclico de ordem nita n isomorfo ao grupo multiplicativo das n razes de 1, em C. b) Cada grupo cclico innito isomorfo a Z. 2.4.29) Sejam G um grupo cclico, AvG e f 2 End(G). Mostre que: b) Se G = hai, ento f 2 Aut(G) se, e s se, hf (a)i = G. 2.4.30) Dois grupos cclicos so isomorfos se, e s se, tiverem a mesma ordem. 2.4.31) Seja G um grupo cclico de ordem 15. Qual o nmero de geradores de G? Quantos automorsmos h de G em G? a) f (A) A.

2.4.26) Sejam G um grupo cclico, S um grupide e f 2 Surj(G, S ). Mostre que:

22

2.5. Relaes de congruncia. Coconjuntos

2.5.1) Mostre que a relao binria denida no conjunto de todos os subgrupides do grupide S , por AB () A =B uma relao de equivalncia em Sub(S ). 2.5.2) Prove que se A v G as seguintes armaes so equivalentes: ii) xA = yA. i) x1 y 2 A,

2.5.3) Sejam G um grupo e A v G. Mostre que qualquer que seja x 2 G, card(A) = card(Ax) = card(xA). 2.5.4) Dena-se uma relao de equivalncia em Z do seguinte modo: a b () a, b 2 Z<0 _ a, b 2 Z0 . Verique que cam determinadas duas classes de equivalncia [1] e [0]. Do conjunto f[1] , [0]g2 para f[1] , [0]g dena uma operao binria + tal que [a] + [b] := [a + b] por analogia com a denio de + em Zn . Mostre que + assim denida no uma operao binria em Z/ . 2.5.5) Seja S um semigrupo em que vlida a lei do corte e com elemento neutro. Sejam X S e uma relao binria em S denida por: ab () b 2 aX . Mostre que uma relao de congruncia se, e s se, X fr um subgrupo tal que 8a 2 S, Xa aX . 2.5.6) Sejam S um semigrupo e R uma relao de equivalncia em S . Dena-se Rc := f(a, b) 2 S S : 8x, y 2 S , (xay, xby ) 2 Rg . Mostre que: a) Rc R.

b) Rc uma relao de equivalncia. c) Rc uma relao de congruncia. d) Se uma relao de congruncia tal que R, ento Rc . 2.5.7) Determine as classes associadas direitas de: a) h[4]i em Z8 .

b) h[3]i em Z12 . 23

2.5.8) Sejam G um grupo, A v G e a relao binria denida em G por: x y () y 1 x 2 A. Mostre que uma relao de equivalncia em G. 2.5.9) Sejam G := S3 e A := h( 1 3 )i. a) Determine as classes associadas direitas de A em G. b) Determine as classes associadas esquerdas de A em G. c) Verique que a coleco das classes associadas direitas diferente da das esquerdas. 2.5.10) Em S3 calcule: a) As classes associadas direitas e esquerdas de h( 1 2 3 )i.

b) Verique que para cada elemento de S3 a classe associada direita qual pertence a mesma que a classe associada esquerda qual pertence. 2.5.11) Determine, nos respectivos grupos: a) [Z10 : h[2]i]. b) S3 : h( 1 2 )i . c) S4 : h( 1 2 3 )i .

d) [Z40 : h[12] , [20]i].

2.5.12) Prove que se A um subgrupo de G tal que [G : A] = 2 e x e y so elementos de G mas no de A, ento xy 2 A. 2.5.13) Prove que se A e B so subgrupos nitos de um grupo G e card(A) e card(B ) no tem factores comuns alm de um, ento A \ B = f1G g. 2.5.14) Determine os elementos do subgrupo A := h( 1 2 3 ), ( 1 2 )( 3 4 )i de S4 e verique que card(A) = 12 e que A no tem subgrupos de ordem 6. 2.5.15) Sejam G um grupo nito e A um seu subgrupo. Mostre que a ordem de A divide a ordem de G.

24

2.6. Estruturas normais. Estruturas quociente

2.6.1) Mostre que para um subgrupo A de G so equivalentes as seguintes armaes: a) A G. b) 8x 2 G, xA = Ax. c) 8x, y 2 G, xAyA xyA. e) 8x 2 G, xAx1 A. f) 8x 2 G, xAx1 = A.

d) 8x, y 2 G, xAyA = xyA.

2.6.2) Sejam G, H grupos e f 2 Mor(G, H ). Mostre que: a) Ker(f ) G. b) Se f 2 Surj(G, H ), ento Im(f ) E H . c) Se A G ento f (A) Im(f ). e) Se B H , ento f 1 (B ) G. d) Se A G e f 2 Surj(G, H ), ento f (A) H . 2.6.3) Sejam G um grupo e Z (G) o seu centro. Mostre que Z (G) G. 2.6.4) Mostre que SLn (K) GLn (K). Como Z (GLn (K)) GLn (K) e Z (SLn (K)) SLn (K) dene-se o grupo linear projectivo por: P GLn (K) := e o grupo linear projectivo especial por: P SLn (K) := SLn (K) . Z (SLn (K)) GLn (K) , Z (GLn (K))

2.6.5) Dado um grupo G nito, mostre que todo o seu subgrupo A de G de ndice 2, um subgrupo normal de G. 2.6.6) Sejam G um grupo, N, K E G, X G, (Ai )iI 2 Nor(G)I e g 2 G. Mostre que: b) N K E G. a) N \ K E G. Generalize (Ai )iI 2 Nor(G)I . c) hN [ K i E G.

d) hgXg 1 i E G, que o fecho normal de X em G um subgrupo normal que contm X. * + S e) CorG (X ) := Ai E G.

iI Ai E G Ai X

2.6.7) Sejam G um grupo e X G. Mostre que: a) 8g 2 G, gXg 1 X , ento X hX i E G. 25

b)

c)

g G

g G

2.6.8) Sejam G um grupo, N, K E G e o elemento neutro o nico elemento comum a estes dois subgrupos. Mostre que os elementos de cada um dos subgrupos N e K so permutveis com os elementos do outro. 2.6.9) Sejam G um grupo, A v G e N G. Mostre que A \ N A. 2.6.10) Sejam G um grupo e N, K v G tais que K N G. Mostre que 8g 2 G, gKg 1 N . 2.6.11) Sejam G um grupo e A, N v G tais que N A. Mostre que: b) Para todo o P G, NP AP . a) Para todo o K v G, N \ K A \ K .

gXg 1 gXg 1

+ +

E G. = hX i.

2.6.12) Sejam G um grupo e a 2 G. Um elemento b 2 G diz-se o conjugado direito de a, se existe um elemento x 2 G tal que b = xax1 . Verique que: a) A relao conjugado direito, uma relao de equivalncia em G. b) Um subgrupo A de G saturado para esta relao se, e s se, A G. (Nota: Sejam C um conjunto, uma relao de equivalncia denida em C e C/ o respectivo conjunto quociente. Diz-se que uma parte A de C saturada para a relao se, e s se, sempre que x 2 A, [x] A.) 2.6.13) Sejam G um grupo e A v G. Mostre que: a) A NG (A). b) NG (A) o maior subgrupo de G no qual A normal. 2.6.14) Sejam G um grupo e A v G. Diz-se que A normal maximal em G se A E G, A 6= G e no existe A0 G, tal que A ( A0 ( G. Mostre que: a) A normal maximal em G se, e s se, G/A um grupo simples. b) Se A1 e A2 so subgrupos normais maximais distintos, ento A1 A2 = G e A1 \ A2 normal maximal em A1 e em A2 . 2.6.15) Prove que V := id, ( 1 2 )( 3 4 ), ( 1 3 )( 2 4 ), ( 1 4 )( 2 3 ) um subgrupo normal de S4 . Indique um grupo isomorfo a S4 /V . 2.6.16) Mostre que dado um grupo quociente G/H os subgrupos de G/H so exactamente os grupos A/H em que A subgrupo de G e contm H . 2.6.17) Mostre que para qualquer grupo quociente G/N os seus subgrupos normais so exactamente os grupos quociente K/N em que K G e que contm N . 2.6.18) Sejam G um grupo e N E G. Prove que G/N abeliano se, e s se, 8a, b 2 G aba1 b1 2 N . 26

2.6.19) Sejam G, H grupos, B H e f 2 Surj(G, H ). Prove que, se A := fg 2 G : f (g ) 2 B g, ento A G. 2.6.20) Sejam G um grupo e g 2 Innr (G). Ento, tem-se que: b) Innr (G) Aut(G). a) para todo o f 2 Aut(G), f g f 1 = f (g) .

2.6.21) Sejam M, M 0 grupos abelianos e f 2 Mor(M, M 0 ). Mostre que: a) Coker(f ) := M 0 / Im(f ) um grupo abeliano. b) Coim(f ) := M/ Ker(f ) um grupo abeliano. 2.6.22) Sejam M, M 0 grupos abelianos e f 2 Mor(M, M 0 ) e considere-se a relao g : M ! Coker(f ) denida por g (x) := [x]. Mostre que: a) g 2 Mor(M, M 0 ).

b) Se f 2 Surj(M, M 0 ), ento g 2 Surj(M, M 0 ). 2.6.23) Sejam M, M 0 grupos abelianos e f 2 Mor(M, M 0 ) e considere-se a relao k : Ker(f ) ! M 0 denida por k (x) := f (x). Mostre que: a) k 2 Mor(M, M 0 ).

b) Se f 2 Inj(M, M 0 ), ento k 2 Inj(M, M 0 ).

27

2.7. Teoremas do isomorsmo

2.7.1) Sejam G, G0 grupos e g 2 Surj(G, G0 ). Suponhamos que N G e Ker(g ) N . a) Mostre que: 1) g (N ) := N 0 G0 . 2) g 1 (N 0 ) = N . b) Considere a aplicao f : G ! G0 /N 0 tal que para cada x 2 G, f (x) := [g (x)]N 0 . Verique que: 1) f um morsmo sobrejectivo de G em G0 /N 0 . 2) G/N = G0 /N 0 (1.o Teorema do isomorsmo). 2.7.2) Sejam G um grupo e A, N subgrupos invariantes de G tais que A N . a) Sendo A e N os morsmos sobrejectivos cannicos associados a A e a N , respectivamente. Mostre que existe um morsmo sobrejectivo de grupos h : G/A ! G/N tal que ho A = N . G/A (Corolrio do 1.o Teorema b) Verique que Ker(h) = N/A e conclua que G/N =
N/A

do isomorsmo).

2.7.3) Sejam G um grupo, A, K v G e K G. b) Mostre que K AK . c) Considere a aplicao f : A ! (AK )/K tal que para cada a 2 A, f (a) := [a]K . Verique que: 1) f um morsmo sobrejectivo de A em AK . K A AK o 2) AK = K (2. teorema do isomorsmo). 2.7.4) Sejam G1 ,G2 grupos, N1 G1 e N2 G2 . a) Se N1 = N2 , ter-se- que G1 /N1 = G2 /N2 ? E nas mesmas condies, mas sendo G = G1 = G2 , ser que se tem G/N1 = G/N2 ? b) Se N1 G1 , N2 G2 , N1 = N2 e G1 /N1 = G2 /N2 ter-se- que G1 = G2 ? a) Mostre que AK v G.

c) Se N1 G1 , N2 G2 , G1 = G2 e G1 /N1 = G2 /N2 ter-se- que N1 = N2 ? E nas mesmas condies, mas sendo G = G1 = G2 , ser que se tem N1 = N2 ?

2.7.5) Use o teorema do homomorsmo para mostrar que se G um grupo qualquer com elemento neutro 1G , ento G/ f1G g = G. 2.7.6) Mostre que se G1 , G2 so grupos e G1 f1G2 g G1 G2 , ento 2.7.7) Mostre que Z18 /h[3]i = Z3 . 2.7.9) Seja G um grupo. Mostre que G/Z (G) = Innr (G). 2.7.10) Sejam G um grupo, H1 , H2 , K1 , K2 v G tais que K1 H1 e K2 H2 . Mostre que: 28
G1 G2 G1 f1G2 g

= G2 .

2.7.8) Sejam G um grupo, A v G, N G, A \ N = f1G g e A [ N = G. Mostre que G/N = A.

b) (K1 \ H2 )K2 (H1 \ H2 )K2 .

(H1 K2 )K1

a) (Lema da borboleta) (H1 \ K2 )K1 (H1 \ H2 )K1 .

c) (K1 \ H2 )(H1 \ K2 ) H1 \ H2 . (H H )K d) Conclua que, (H1 H2 )K1 = 1 2 2. Este resultado usa-se no teorema do renamento de Otto Schreier (1901-1929)
(K1 H2 )K2

29

2.8. Estruturas actuando sobre conjuntos

2.8.1) Sejam G um grupo, X 6= ; um conjunto qualquer e o morsmo f : G ! Sym(X ), denido por f (a) := fa . Mostre que, fa 2 Bij(X, X ) se, e s se, se tem a condio f (1G ) = idX . 2.8.2) Sejam G um grupo e considere X := G. Mostre que: a) G actua esquerda sobre G, se denirmos para todo o g 2 G, x 2 X , gx := g x (esta aco chama-se aco de G em si prprio por multiplicaes esquerdas). b) G actua direita em G, considerando gx := xg 1 . c) G actua esquerda em G por conjugao direita, i.e., a aco esquerda de G em G denida por, gx := gxg 1 . d) o ncleo da aco por conjugao direita o centro do grupo. 2.8.3) Sejam G um grupo nito e A 2 Sub(G). Mostre que, com a aco esquerda gA := gAg 1 , G actua em Sub(G). 2.8.4) Sejam G X um G-conjunto e X G. Considere o conjunto Stab(X ) := fg 2 G : 8x 2 X Mostre que: a) Stab(X ) um subgrupo de G. b) se X := G e, actua por conjugao direita, ento Stab(X ) = CG (X ). 2.8.5) Sejam G um grupo nito actuando num conjunto X . Mostre que: card(Orb(x)) = [G : Stab(x)] = card(G) . card(Stab(x)) gx = xg .

2.8.6) Sejam G X um G-conjunto e considere-se a seguinte relao para todo o elemento x, x0 2 X: x G x0 () 9g 2 G : gx = x0 . Mostre que: a)
G

uma relao de equivalncia em X .

b) a classe de equivalncia de um elemento x 2 X igual Orb(x). 2.8.7) Sejam G um grupo actuando em X e A v G. Mostre que: a) A actua em X . b) x A y =) x G y . 2.8.8) Sejam G, H grupos, H X e f 2 Surj(G, H ). Verique se: a) G actua em X se denirmos a aco por gx := f (g )x. b) x, y 2 X , ento x H y () x G y . 2.8.9) Sejam G um grupo, A v G e X o conjunto dos coconjuntos esquerdos de A em G. 30

a) Mostre que: 1) G actua em X , para a aco a(xA) := (ax)A. T 2) Ker(f ) = xAx1 .

xG

3) Ker(f ) o maior subgrupo normal de G que est contido em A. 4) a aco de G sobre X efectiva se, e s se, A s contm como subgrupo normal de G, f1G g. b) Resolva o exerccio anterior para uma aco esquerda de G no conjunto B := fAx 2 P (G) : x 2 Gg denida por g (Ax) := (Ax)g 1 . 2.8.10) Sejam G X um G-conjunto, x, y 2 X e Orb(x) = Orb(y ). Mostre que: card(Stab(x)) = card(Stab(y )). 2.8.11) Sejam G X e G Y dois G-conjuntos. Mostre que X Y um G-conjunto denindo a aco esquerda do seguinte modo: 8(x, y ) 2 X Y , g (x, y ) := (gx, gy ). 2.8.12) Sejam X, Y dois G-conjuntos e se denirmos a seguinte relao de equivalncia para todo o elemento de X Y por: (x, y )(x0 , y 0 ) () 9g 2 G : gx = x0 ^ gy = y 0 . Mostre que
X Y

um G-conjunto.

2.8.13) Mostre que G X induz uma aco esquerda no conjunto potncia P (X ) denindo-se para um elemento A 6= ;, a aco por gA := fgx 2 X : x 2 Ag e g ; := ;.

2.8.14) Sejam X, Y conjuntos e G um grupo nito actuando esquerda em X . Mostre que G actua esquerda em Y X se denirmos para cada aplicao f 2 Y X , g 2 G, x 2 X a aco por gf := f (g 1 x). 2.8.15) Sejam G, H grupos, X, Y conjuntos disjuntos e G X,H Y . Mostre que G H actua em X [ Y se denirmos a aco por, para todo o x 2 X [ Y (g, h) x := gx, se x 2 X . (g, h) x := hx, se x 2 Y 2.8.16) Sejam K[x] um espao vectorial sobre o corpo K e G actua esquerda em K. Mostre que G actua esquerda em K[x] se para todo o g 2 G e p 2 K[x] denimos a aco por: gp := ga0 + (ga1 )x + + (gan )xn .

31

2.9. Grupos-p e grupos de Sylow

32

3. Estruturas livres e apresentaes

33

Bibliografia
[1] A. Monteiro e I. Matos. lgebra - Um primeiro curso. Livraria Escolar Editora, 1995. [2] J. Durbin. Modern Algebra, An Introduction. John Wiley, 1992. [3] W. Adkins and S. Weintraub. Algebra, An Approach via Module Theory. SpringerVerlag, 1992. [4] S. Lang. Undergraduate Algebra. Springer-Verlag, 1990. [5] N. Jacobson. Basic Algebra I. W. H. Freeman, 1985. [6] M. Sobral. lgebra. Universidade Aberta, 1996. [7] P. Cameron. Introduction to Algebra. Oxford University Press, 1998. [8] T. Hungerford. Algebra. Springer-Verlag, 1974. [9] C. Gardiner. Algebraic Structures. Ellis Horwood, 1986. [10] A. Kostrikin. Exercises in Algebra: A collection of exercises in Algebra, Linear Algebra and Geometry. Gordon and Breach Publishers, 1996. [11] F. Ayres. lgebra Moderna (Coleco Schaum). McGraw-Hill, 1965.

34