You are on page 1of 8

1) Seja G um grupo e H um subconj finito de G tq HH=H. Prove que H subgrupo de G . E se H nao for finito ?

? Demo: (i) Seja a, b pert H, quero ab pert H. De fato, a pert H , b pert H e de H H = H segue que ab pert H (ii) Seja a pert H , quero a^-1 pert H Se a = e entao a^-1 pert H Se a \= e, consideremos os seguintes elementos a , a^2 , a^3 , ... , a^n+1, onde n = |H| a ordem de H. Todos os n+1 elementos pertencem a H, pois HH = H. Mas co mo |H|= n temos que a^i = a^j , 1< i < j < n+1 a^i = a^j ==> a^j-i = e dai a^j-i pert H ==> e pert H , j-i > 1 ==> j-i-1 > 0. D ai aa^j-i-1 = a^j-i = e . Portanto a^-1 = a^j-i-1 pert H. Se H nao for finito entao H nao subgrupo, pois H = {x pert Z / x = 2q , q pert N } nao subgrupo de (Z,+) H + H = H. 2) Se G um grupo de ordem par, mostre que G contem um elemento de ordem 2. Demo: Suponhamos que nao existe a pert G tq a^2 = e. Isto a \= a^-1 para todo a pert G . Portanto G = {e , a_1 , (a^-1)_1 , a_2 , (a^-1)_2 , ... , a_n , (a_n)^-1}, on de a_i sao todos distintos, cosequentemente (a_i)^-1 sao distintos para todo i, pois caso (a_i)^-1 = (a_j)^-1 ==> a_i = a_j. 3) Mostre que se G um grupo de ordem par entao existe um numero impar de element os de ordem 2. Demo : o(G) = 2k . Pela questao anterior sabemos que G possui pelo menos um elemento de ordem 2. Considere X = G\{e} e Y = {a pert G \ a^2 = e }, segue que X\Y sao tod os os elementos de ordem maior que 2. Se u pert X\Y ==> u^-1 pert X\Y. Portanto |X\Y| par , dai |Y| impar , pois |X| = |X\Y|+|Y|. 4) Seja G um grupo e sejam a , b pert G. Mostre que ab , ba tem a mesma ordem. Demo: Seja o(ab) = m e o(ba) = n Observe que (ab)^n a = (ab)(ab)...(ab)a = a(ba)(ba)...(ba) = a(ba)^n = a ===> (ab)^n = e === > m|n a(ba)^m = a(ba)(ba)...(ba) = (ab)(ab)...(ab)a = (ab)^m a = ea = a ==> (ba)^m = e ==> n|m Logo m = n. 5) Seja G um grupo e sejam a, b pert G tq a^5 = e E aba^-1 = b^2, b \= e. Mostre que o(b) = 31. Demo: b^2 = aba^-1

a^2ba^-2 = a(aba^-1)a^-1 = ab^2a^-1 = (aba^-1)^2 = (b^2)^2 = b^4. ... a^5ba^-5 = ... = b^32 Dai a^5ba^-5 = b^32 ==> ebe = b^32 ==> b^31 = e , logo o(b)|31 entao o(b) = 1 ou o(b) = 31 como b \= e entao o(b) = 31. 6) Mostre que o numero de geradores de um grupo ciclico de ordem n Q(n), onde Q a funao de euler (Q(n) igual ao numero de inteiros positivos menores que n e que sao relativamente primos com n) Demo : Seja G = {e a , a^2 , ... , a^n-1} grupo ciclico de ordem n G = <a>, temos que |G| = o(a) = n Se y pert G tq o(y) = n ==> <y> = G De fato, |<y>| = n = |G| e como <y> c G segue que <y> = G Seja Q(n) = {i_1 , ... , i_k} c {0 , ... , n-1} os elementos que sao coprimos co m o n. dai por um ex da lista o (a^i_j) = n para todo j. portanto <a^i_j> = G en tao ate agora temos Q(n) geradores para G. Vamos supor que existe k tq (k , n) = d \=1 . Mostremos que o(a^k) \= n De fato, d|k e d|n entao k = dq_1 , n = dq_2 (a^k)^q_2 = a^dq_1q_2 = (a^n)^q_1 = e^q_1 = e, como q_2 < n entao a ordem de a^k \= n Conclusao os unicos geradores de G sao os elemetos a^i_j onde mdc (i_j , n) = 1 para todo j, temos Q(n) geradores para G. 7) Mostre que todo subgrupo de um grupo ciclico ciclico. Demo : Seja G um grupo ciclico gerado por a G = <a>. Seja H < G, se H = {e} entao H ciclico. Se H \= {e}, existe b pert H tq b = a^r. Considere X = {n pert Z / n > 0 e a^n pert H} Se r >0 entao r pert X Se r < 0 entao b^-1 = a^-r pert H pois H subgrupo e -r > 0 , logo -r pert X Agora considere t o minimo de X. Mostremos que H <a^t>. Como t pert X entao a^t pert H dai <a^t> c H Seja c pert H, entao c = a^r para algum rdivido r por t dai r= kt + s com 0 < s < t c = a^r= a^kt+s = a^kt a^s ==> a^s = c a^-kt pert H, pela minimalidade de t , s = 0 dai c = a^kt pert <a^t>. Logo H = <a^t>, portanto H ciclico. 8) Seja G um grupo e sejam a, b pert G tq ab = ba se a tem ordem m , b tem ordem n e mdc (m,n) = 1, mostre que a ordem de ab mn. Demo: (ab)^mn = a^mn b^mn = ee = e |<a>|= o(a) = m , |<b>| = O(b) = n

Sabemos que <a> inter <b> subgrupo de <a> e <b>, logo |<a> inter <b>| | m e |<a> inter <b>| | n como mdc(m,n) = 1 entao |<a> inter <b>| = 1 segue que <a> inter <b> = {e}. seja o(ab) = k portanto (ab)^k = e , entao a^k = b^-k, dai a^k , b^k pert <a> in ter <b> = {e} a^k = e , b^k = e segue que o(a) | k e o(b) | k , m|k e n|k mas como mdc(m,n) = 1 entao mn|k. Tinhamos que (ab)^mn = e , dai k|mn, conclusao k = o(ab) = mn. 9) Seja G um grupo e sejam H e K dois subgrupos de indices finito em G. Mostre q ue H inter K um subgrupo de indice finito em G. Demo : Temos que A = {Ha / a pert G} e B = {Ka / a pert G} sao conjuntos finitos. Quere mos mostrar que C = {(H inter K)a / a pert G} conj finito. Seja (H inter K)a = {xa / x pert H inter K} pert C Temos que para todo xa pert (H inter K)a , x pert H inter K x pert H ==> xa pert Ha ; x pert K ==> xa pert Ka segue que (H inter K)a c Ha in ter Ka Suponha que exista b pert G tq (Ha inter Ka) inter (Hb inter Kb) \= vazio Dai (Ha inter Hb) inter (Ka inter Kb) \= vazio entao Ha = Hb e Ka = Kb Entao, para cada a pert G, temos que (H inter K)a c (Ha inter Ka) Como A, B sao conj finitos , concluimos que C conj finito. 10) Seja G um grupo finito e H um subgrupo normal em G tq mdc (|H|, [G:H]) = 1. Prove que H o unico subgrupo de G de ordem igual a |H|. Demo: Seja |G| = n e |H| = m entao [G:H] = n/m temos entao mdc(m,n/m) = 1 Seja K<G tq |H| = |K| = m , vamos mostrar que K = H Observe que HK < G pois, e = ee pert HK ; se hk , hk pert HK entao hkhk^-1kk pert HK pois H normal em G Portanto |HK| = |H||K|/|H inter K| , seja d = |H inter K| dai |HK| = m^2/d, como HK < G entao por lagrange m^2/d | n entao n = m^2/d . q entao m/d | n/m , tambem m/d | m pois m = m\d.d Logo m/d = 1 pois mdc(m , n/m) = 1 Segue que m =|H| = |H inter K | = d como H inter K c H temos H inter K = H entao H = K. 11) Seja G um grupo com centro Z(G). Mostre que se G/Z(G) ciclico entao G abelia no. Demo: G/Z(G) ciclico ==> G abeliano Como G/Z(G) ciclico entao existe g pert G tq G/Z(G) = < gZ(G) > . Seja a , b per t G temos aZ(G) = [gZ(G)]^n e bZ(G) = [gZ(G)]^m com m , n pert Z aZ(G) = g^nZ(G) entao g^-n a pert Z(G) e bZ(G) = g^m Z(G) ==> g^-mb pert Z(G)

Seja z_1 = g^-n a e z_2 = g^-m b Dai ab = g^n z_1 g^m z_2 = g^n g^m z_1 z_2 = g^m (g^n z_1)z_2 = g^m z_2 g^n z_1 = ba 12) Seja G um grupo por automorfismo de G entende-se um isomorfismo de G em G. S eja Aut(G) o conjunto dos automorfismos de G. Determine o grupo dos automorfismos de um grupo cclico de ordem finita (C_m = <a> , a^m = e) Demo: f pert Aut C_m ; <f(a)> = Imf = C_m , existe um unico r pert Z, 0 < r < m tq f(a ) = a^r temos <a^r> = C_m Afirmo : para todo r pert Z , <a^r> = C_m sss mdc (r,m) = 1 De fato, <a^r> = C_m sss existe t pert Z tq (a^r)^t = a sss existe t pert Z tq a ^(rt -1) = e sss existe t pert Z tq m | rt -1 sss existe t, q pert Z tq rt +mq = 1 sss mdc (r,m) = 1 Seja F : Aut C_m ---> U(Z_m) = {x^- pert Z_m / x^- inversivel} = {x^- pert Z_m / mdc (x, m) = 1} F(f) = r^- , onde r pert Z tq f(a)= a^r e 0<r<m . F homo De fato, f(a) = a^r g(a) = a^s , fg(a) = a^rs ; rs = mq +t , 0<t<m entao a^rs = a^mq a^t ==> F(fg) = t^Agora r^-s^- = rs^- = (mq +t)^- = mq^- + t^- = t^F injetora : f pert Ker F ==> F(f) = 1^- sss f(a) = a sss f = id_(C_m) F sobrej : Tome r^- pert U(Z_m) (0<r<m) e considere a funo f: C_m ---> C_m dada por f(a^l) = a^rl. Entao f homo sobrej, pois Imf = <f(a)> = <a^r> = C_m Como C_m finito e f : C_m ---> C_m sobrej, tambem injetora F(f) = r^13) De um exemplo de um grupo G tq todo subgrupo H \= {e} isomorfo a G. Classifi que seus exemplos no caso em que G finito. Mostre que no caso de G nao finito , seu exemplo unico a menos de isomorfismo. Demo: Z_3 um exemplo, pois os unicos subgrupos sao {0^-} e Z_3. Seja G um grupo finito , seja a pert G, com a \= e entao como <a> um subgrupo de G e <a> \= {e} temos que G ~ <a> por hipotese , logo ciclico segue que G ~ Z_n. Portanto quero saber quais os subgrupos A \= {e} de Z_n tq A ~ Z_n, sabemos que os subgrupos de Z_n sao da forma mZ_n. Para quais n, mZ_n ~Z_n . Afirmo que isso acontece se md c(m,n) = 1. De fato, suponha mdc(m,n) = d entao m=dk_1 e n=dk_2 Como mZ_n = <m^-> = <dk_1^-> e o(dk_1^-) < k_2 , pois k_2 dk_1^- = dk_1k_2^- = 0 ^- . Dai o(dk_1^-) < k_2 < n absurdo pois <m^-> gera Z_n No caso G infinito, tome a pert G com a \= e entao <a> ~ G. Logo G ciclico segue que G ~ Z. Mas Z satisfaz a hip. pois Z ---> mZ iso mZ < Z. 14) Mostre que todo subgrupo finito de R/Z ciclico Demo: Sabemos que f:R/Z ---> S^1 um iso R---> S^1 (t--->e^2PIit ) R--->R/Z (faz o diag

rama) Observe que U_m = {e^2PIin/m / n pert Z} = <e^2PIi1/m> subgrupo ciclico de S^1. De fato, 1= e^2PIi0/m pert U_m Se x , y pert U_m ==> x = e^2PIin_1/m , y = e^2PIin_2/m dai xy = e^2PIi(n_1 + n_2)/m pert U_m Se x pert U_m ==> x = e^2PIin/m x^-1 = e^2PIi(-n)/m pert U_m Seja H < S^1 tq |H| < 00 x pert H entao x pert S^1 entao x = e^2PIit onde t pert R ; x^|H| = 1 ==> e^2PIi tr = 1 entao tr pert Z portanto t = l/r , l, r pert Z Dai x = e^2PIit = e^2PIil/r pert U_r Portanto qualquer subgrupo H de S^1 esta contido em um subgrupo ciclico, logo H ciclico. Logo os subgrupos finitos de R/Z sao ciclicos. 15) Seja G um grupo de ordem 2k com k impar. Mostre que G contem um subgrupo de indice 2(Sugestao: Tome a pert G com o(a) = 2. Use a demo do teo de Caley para p rovar que G contem um elemento que corresponde a uma permutaao impar) Demo: Seja G--T--> S_G tq T(g) = T_g : G ---> G tq T_g(x) = gx Considere f: G ---> {+1, -1} tq f(g) = {1 , se T_g par e -1 se T_g impar} Pelo teo do homo G/kerf ~ Imf entao |G|/|kerf| = |Imf| Se f for sobrej entao 2k/|ker f| = 2 entao |kef f| = k, como kerf < G ,temos que [G : kerf] = 2, pois |G| = 2k. Para que f seja sobrej, quero a pert G tq T_a seja uma permutaao impar. Como G te m ordem par , existe a pert G tq o(a) = 2. Seja <a> = {e,a} = H, como G = U_(g p ert G) Hg dai G = {e , a , g_1 , ag_1 , ... , g_k-1 , ag_k-1} segue que T_a(e) = a , T_a(a) = a^2 = e , T_a(g_1) = ag_1 , T_a(ag_1) = a^2g_1 = g_1 , ..., T_a(g_ j) = ag_j , T_a(ag_j) = a^2g_j = g_j portanto T_a = (e a)(g_1 ag_1)...(g_k-1 ag_k-1) impar. 16) Mostre que A_4 nao contem subgrupos de ordem 6 (e portanto nao vale a recipr oca do teorema de lagrange) Demo: Suponha que H < A_4 tq |H| = 6, entao [A_4 : H] = 2, dai por uma questao da list a H normal em A_4. Como H tem ordem 6 entao H tem pelo menos 2 3-ciclos. Como H normal H deve ter todos os 3-ciclos (pois subgrupo normal sss contem todos os se us conjugados e conjugaao preserva estrutura ciclica ). Dai |H|> 9 absurdo. Portanto H nao Existe.

17) Seja A um grupo abeliano de ordem p^k com p primo e sejam p^e_i, i = 1,...,r os fatores invariantes de A onde e_1 < e_2 < ... < e_r . Mostre que A tem p^r 1 elementos de ordem p. Demo: Como A grupo abeliano de ordem p^k com p primo entao A pode ser visto como A ~ Z_p^e_1 x .... xZ_p^e_r vamos ver quem sao os elementos de ordem p de A, ie , px=0 com x pert A x = (x_1^-,...,x_r^-) entao px^- = 0 sss (px_1^- , ... , px_r^-) = 0^- sss px_j^ - = 0^dai px_j = 0 mod p^e_r sss px_j = p^e_j q_j sss x_j = p^e_j - 1 q_j Portanto x = (x_1^- , ... , x_r^-) = ((p^e_1-1 q_1)^- , ... , (p^e_r - 1 q_r)^-) , onde q_j pert Z. Agora observe: q_j pert {0,1,2,...,p-1} (p^e_j-1 q_j)^- = {0^- , (p^e_j-1)^- , (2p^e_j-1)^- , ..., ((p-1)p^e_j-1)^-}. Portanto temos p possibilidades para cada uma das coordenadas, segue que p^r x t em a propriedade px=0, mas devemos tirar x= 0 , pois tem ordem 1 , dai p^r - 1 s ao os elementos de ordem p em A. 18) Seja p o menor primo que divide a ordem de um grupo finito. Prove que se G t em um subgrupo H tq [G:H] = p entao H normal G. Demo: G age em X = {xH / x pert G} T : G ---> S_x tq T(g) = T_g : X--->X tq xH ---> T_g(xH) = gxH |X| = [G:H] = p kerT c H e kerT c H e KerT normal G. Pelo teo do homo temos G/KerT ~ ImT < S_x = S_p por uma questao anterior temos [G:KerT] = [G:H][H:KerT] Se H \= KerT ==> [H:KerT] > 1 dai existe q primo tq q|[H:KerT] portanto q > p (| G|/|KerT| | |S_p|= p! ==> pq|p!) pq|[G:KerT] ==> pq|p! pois |G|/|KerT| = [G:kerT ]|p! = |S_p| ==> q|(p-1)! absurdo 19) Seja G um grupo de ordem p^2 onde p um numero primo. Mostre que G abeliano. Demo: Como Z(G) subgrupo normal de G entao |Z(G)| | |G| = p^2 , dai Z(G) = p^2 o u Z(G) = p . Se |Z(G)| = p^2 entao Z(G) = G, logo G abeliano. Se |Z(G)| = p ==> |G/Z(G)| = p Da G/Z(G) ciclico ===> G abeliano. 20) Seja G um grupo de ordem p^3 onde p primo. Mostre que G no abeliano entao seu centro Z(G) = G, o grupo dos comutadores de G. Demo : Como |Z(G)| | |G| ==> |Z(G)| = p^3 ou p^2 ou p

Se |Z(G)| = p^3 entao Z(G) = G ==> G abeliano Se |Z(G)| = p^2 ==> |G/Z(G)| = p ==> G/Z(G) ciclico entao pela questao da lista um G abeliano absurdo!!! Logo |Z(G)| = p dai |G/Z(G)| = p^2 entao G/Z(G) abeliano Agora como G c Z(G) (Ex 41 item c lista) Como G nao abeliano, entao |G| > 1 entao |G|= p , p^2 ou p^3 Gc Z(G) entao |G| = p e ntao Z(G) = G 21) Mostre que um grupo finito G um p-Grupo se s se todo elemento de G tem ordem uma potencia de p. Demo: (==>) Se G p-grupo ==> |G| = p^k Seja a pert G ===> <a> < G ==> |<a>| = o(a) | |G| = p^k portanto o(a) = p^l (<==) Seja a pert G ==> o(a) = p^k como |<a>| | |G| entao |G| = p^k.m , m pert Z Se m > 1 e p nao divide m entao seja q primo tq q|m e p nao divide q. Por sylow I q| |G| entao existe H < G tq |H| = q. Portanto H ciclico, segue que existe b p ert G tq H = <b> Por hip o(b) = p^r , mas |<b>| = |H| = o(b) = q portanto q = p^ r absurdo pois p nao divide q. Portanto m = 1 dai |G| = p^k. G p-grupo.