Universidade Federal de Minas Gerais ncias Exatas Instituto de Cie tica PET - Matema

Aluna: Alice Duarte Scarpa Orientadora: Ana Cristina Vieira Tutora: Elaine Pimentel

P-grupos

Belo Horizonte - MG 2011

Introdu c ao
Um Grupo e um conjunto munido de uma opera c ao com algumas propriedades. Essa deni c ao permite que estruturas muito diferentes entre si sejam chamadas de Grupo. Neste texto olharemos apenas para os grupos nitos. Podemos extrair informa c oes sobre um grupo a partir do n umero de elementos deste, chamado de ordem do grupo, sem nos preocuparmos com a natureza dos elementos deste. Neste texto estudaremos os grupos cuja a ordem e uma pot encia de um primo, os chamados Pgrupos, que possuem certas caracter sticas que os destacam dos demais. O objetivo desse texto e estudar algumas dessas caracter sticas.

Cap tulo 1

Conceitos Iniciais
Antes de entrarmos no estudo de P-grupos, que e o objetivo deste texto, precisamos das deni c oes e dos teoremas iniciais da Algebra de Grupos.

1.1

Descrevendo Grupos

A estrutura alg ebrica que iremos estudar s ao os grupos. Essa se c ao dene os conceitos mais fundamentais a respeito dessa estrutura. Deni c ao 1.1 Dizemos que um conjunto G munido da opera c ao * e um grupo se valem as seguintes propriedades: i) Fechamento: a,b G, a*b G ii) Associatividade: a,b,c G, (a * b) * c = a * (b * c) iii) Elemento neutro: e G tal que e * a = a * e = a, a G. iv) Elemento inverso: a G, a G, tal que, a * a = a * a = e, onde e e o elemento neutro. Se a opera c ao * e comutativa dizemos que G e um grupo abeliano. Deni c ao 1.2 |G|: ordem de G, e igual ao n umero de elementos de G. Deni c ao 1.3 Seja (G,*) um grupo. Dizemos que H e um subgrupo de G e denotamos H G quando o conjunto H e um subconjunto n ao vazio de G que e tamb em um grupo com *, ou seja, quando as condi co es abaixo s ao satisfeitas: i) h, g H, h g H ii) e H tal que e * a = a * e = a, a G. iii) a H, a H, tal que, a * a = a * a = e, onde e e o elemento neutro. Muitos dos teoremas da Algebra de Grupos s ao a respeito do quociente de um grupo por um subgrupo normal do mesmo. Nas linhas abaixo deniremos objetos matem aticos que mais tarde ser ao usados para denir o quociente.

3 Deni c ao 1.4 Dado um grupo G e um subgrupo S, seja uma rela ca o de equival encia denida da seguinte maneira: yx s S tal que y=xs. O conjunto {y G | y x} = {xs | s S } ser a denotado por xS e chamado de classe lateral a ` esquerda de S em G. Analogamente denimos a classe lateral ` a direita como Sx = {sx | s S }. Um exemplo de rela c ao de equival encia e a conjuga c ao: Deni c ao 1.5 Seja G um grupo, S um subgrupo de G e aG. A conjuga c ao de S por a e denida como: S a := y G : x S : y = a x a1 = a S a1 As classes de equival encia denidas pela rela c ao de conjuga c ao s ao chamadas de classes de conjuga ca o. Deni c ao 1.6 Um subgrupo H e dito normal em G se as classes laterais ` a direita e a ` esquerda s ao iguais. Denotamos HG. A seguinte proposi c ao nos fornece um jeito simples de testar a normalidade de um subgrupo: Proposi c ao 1.1 H e normal em G gHg 1 =H, g G. De fato, gH = Hg gHg 1 = H Um exemplo de subgrupo normal que ir a aparecer muitas vezes ao longo desse texto e o centro de um grupo. Deni c ao 1.7 O centro de um grupo, representado por Z (G), e o conjunto dos elementos que comutam com todos os outros elementos, ou seja Z (G) = {z G|g G, zg = gz } Existem muitos teoremas espec cos sobre o centro de um grupo. Abaixo est a um que depois ser a usado para a Equa c ao de Classes de Conjuga c ao. Teorema 1.2 Seja G um grupo. Os elementos de Z(G) formam classes de conjuga c ao unit arias e os elementos de G - Z(G) formam classes de conjuga c ao de mais de um elemento. Demonstra c ao: Seja Ca a classe de conjuga c ao de a G. a Z (G) x G : ax = xa x G : x1 ax = a Ca = {a} Deni c ao 1.8 Seja NG. Denimos o conjunto G/N como o conjunto de todas as classes laterais ` a esquerda de N , ou seja, G/N = {aN |a G}. O produto de classes e denido: aN bN = (ab)N , com o fechamento garantido pela normalidade de N. Grupos C clicos, denidos abaixo, possuem uma estrutura alg ebrica razoavelmente simples e aparecem muitas vezes no estudo de P-grupos, principalmente na classica c ao de P-grupos abelianos. Deni c ao 1.9 Dizemos que G e um grupo c clico gerado pelo elemento a se G = {am | m Z} e escrevemos G = a.

O grupo c clico a e nito de ordem n quando n e o menor natural tal que an = e. Como neste trabalho estamos interessados apenas em grupos nitos, s o veremos casos em que esse n existe, mas, se n ao existe tal n, o grupo e dito c clico innito. Proposi c ao 1.3 Todo grupo c clico e abeliano. De fato, sejam g, h G, sendo G um grupo c clico gerado por a. Ent ao g = am e h = an , para algum valor de m e n. Assim g h = a aa aa aa aa a a a =a a a a = h g.
m n n m

Proposi c ao 1.4 Se o quociente de um grupo pelo seu centro e c clico, ent ao G/Z (G) e trivial. Demonstra c ao: Suponha que G/Z (G) e c clico. Ent ao, G/Z (G) : G/Z (G) = . Assim: t G : G/Z (G) = tZ (G). Ent ao, cada classe lateral de Z(G) em G e iqual a (tZ (G)) = ti Z (G) para algum i Z. Tome x, y G, sem perda de generalidade, suponha que x tm Z (G) , y tn Z (G). Ent ao, x = tm z1 , y = tn z2 , para algum z1 , z2 Z (G). Assim: xy = tm z1 tn z2 = tm tn z1 z2 = tm+n z1 z2 .
i

Analogamente, yx = tm+n z1 z2 = xy . Como x, y s ao gen ericos, o resultado vale para todo elemento de G, de modo que G e abeliano e assim Z (G) = G, ent ao quociente G/Z (G) e trivial.

1.2

Isomorsmo

Ao classicarmos grupos um procedimento comum e listar todas as formas distintas de grupos que possuam a propriedade em que estamos interessados, de maneira que qualquer outro grupo que possua essa propriedade seja de uma das formas listadas, isto e, seja isomorfo a um dos grupos j a listados. Deni c ao 1.10 Sejam G e H dois grupos. Um homomorsmo f : G H e uma fun c ao tal que f (a b) = f (a) f (b) para todos a, b G. Deni c ao 1.11 Um isomorsmo f : G H e um homomorsmo bijetor. Um resultado que ser a usado nesse texto e que serve como exemplo de isomorsmo e: Proposi c ao 1.5 Seja G um grupo c clico gerado por a de ordem n. Ent ao G e isomorfo a Zn . Demonstra c ao: Basta tomar a fun c ao f : G Zn tal que ak k . Muitas das provas a respeito de P-grupos usam como ferramenta as A c oes. As pr oximas deni c oes denem esse conceito. Deni c ao 1.12 Seja G um grupo, um automorsmo de G e um isomorsmo f : G G.

5 Proposi c ao 1.6 O conjunto dos automorsmos de um grupo G, denotado por Aut(G) forma um grupo com a opera c ao composi c ao de fun c oes. direta da verica Demonstra c ao: E c ao das propriedades. Deni c ao 1.13 Seja X um conjunto e G um grupo, com identidade e. Dizemos que G age em X via se existe uma bije ca o : G X X tal que: (g, x) G X : ((g, x)) X = g x X , de modo que: g, h G, x X : g (h x) = (gh) x x X : e x = x

1.3

Resultados envolvendo a Ordem

Quase todos os resultados sobre P-grupos apresentados nesse texto usam em algum momento o teorema de Lagrange. Isso porque esse teorema nos d a informa c oes sobre um grupo a partir da sua ordem. Para demonstr a-lo, precisamos antes de provar um lema sobre classes laterais. Lema 1.1 Se [a] e [b] s ao classes laterais em um conjunto S, ou [a] = [b] ou [a] [b] = . Logo, como S = [a] o conjunto S e uma uni ao de classes de equival encia disjuntas. Demonstra c ao: Seja a, b S suponhamos que [a] [b] = e provemos que [a] = [b] Seja c [a] [b], ent ao: c [ a] c a c [b] c b Assim, a c b, o que implica, pela transitividade de uma rela c ao de equival encia, que a b, logo a [ b] e b [ a ] de [b] e tamb em elemento de [a], logo [a] = [b] Assim, seja x [a]. x a b x b x [b]. Analogamente concluimos que todo elemento

Teorema 1.7 (Teorema de Lagrange) Seja G um grupo e H G. Ent ao |H| divide |G|. Demonstra c ao: Seja a rela c ao de equival encia denida por a b se ab1 H . Temos que [a] = Ha = {h a|h H }. Seja k o n umero de classes de distintas de G - chamemo-as de Ha1 , ..., Hak . Pelo Lema 1.1, G = Hai e Hai Haj = , se i = j . Provemos que qualquer Hai possui |H | elementos. Seja f : H Hai uma fun c ao tal que f (h) = h ai . f e bijetora e, assim, |Hai | = |H | . Note que f e injetora pois h ai = h ai implica h = h . E e sobrejetora pela deni c ao de Hai . Assim, Como os Hai s ao disjuntos com |H | elementos, teremos que |G| = k |H |. Portanto, |H | divide |G| . Deni c ao 1.14 Seja G um grupo nito e H um subgrupo de G. Ent ao, o ndice de H em G, denotado [G:H] e o quociente |G|/|H |.

6 Deni c ao 1.15 Seja G um grupo e a G. O centralizador de a em G, denotado por CG (a) e: C G ( a ) = {x G : x a = a x } Teorema 1.8 Seja G um grupo e CG (a) o centralizador de a G. Ent ao, |Ca | = [G : CG (a)], de modo que |C( a)| divide G. Demonstra c ao: Sejam x, y Ca . Ent ao, pela deni c ao de Ca , xax1 = yay 1 . Assim, x e y pertencem a ` mesma classe lateral de CG (a), o que implica que |Ca | = [G : CG (a)].

Deni c ao 1.16 Seja G um grupo e S um subgrupo de G. Ent ao o normalizador de S em G, denotado por NG (S ) e denido como: NG (S ) = {a G : S a = S }.

Deni c ao 1.17 Seja G um grupo, X um conjunto e * uma a ca o de G em X. A orbita de um elemento xX e:

def

Orb (x) == {y X : g G : y = g x} Teorema 1.9 (Equa c ao das Classes de Conjuga c ao) Seja G um grupo e x G. Seja m o n umero de classes de conjuga c ao com mais de um elemento de G. Ent ao: m |G| = |Z (G)| + j =1 [G : NG (xj )]

Demonstra c ao: De 1.2 sabemos que os elementos do centro geram classes de conjuga c ao unit arias e os elementos de G Z (G) est ao em classes de conjuga c ao de mais de um elemento. Portanto, para G abeliano, a equa c ao se reduz a |G| = |Z (G)|, que e verdade pois no caso G = Z (G). Vamos supor ent ao, que G e n ao-abeliano. Ent ao, G Z (G) = . Por hip otese, |G Z (G)| = m.

Tomemos um representante de cada classe, que chamaremos de x1 , x2 , . . . , xm . Ent ao podemos escrever as classes de conjuga c ao como Cx1 , Cx2 , . . . , Cxm . m m Assim, |G Z (G)| = j =1 Cxj , ou seja |G| = |Z (G)| + j =1 [G : NG (xj )].

Cap tulo 2

Resultados gerais sobre P-grupos

Quando a ordem de um grupo e uma pot encia de um n umero primo, esse grupo e chamado de P-grupos. Teorema 2.1 O centro de um p-grupo nunca e trivial. Demonstra c ao: Se G e abeliano ent ao Z (G) = G e o resultado est a demonstrado. Vamos supor ent ao que G e n ao abeliano. Temos, da equa c ao 1.9 : |Z (G)| = |G| m
j =1

|Cxj | e sabemos que |Cxj | divide |G|. Ent ao:

j : 1 j m : [G : NG (xj )] > 1 = p\ [G : NG (xj )] Assim, como p divide G, p deve dividir Z (G).

2.1

Classica c ao de P-grupos de ordens menores

Boa parte dos P-Grupos de ordens menores e abeliana. Portando, O Teorema Fundamental dos Grupos Abelianos Finitos ser a muito u til. Infelizmente a demonstra c ao do mesmo foge do objetivo desse texto e por isso ele ser a usado sem demonstra c ao. Teorema 2.2 Todo grupo abeliano nito pode ser escrito como produto direto de grupos c clicos cuja ordem e uma pot encia de um primo.

2.1.1

Ordens p e p2

Os grupos de ordem igual a p ou p2 s ao o tipo mais simples poss vel de P-Grupos, e, como mostraremos a seguir, s ao sempre abelianos e portanto s ao classicados pelo teorema anterior. Teorema 2.3 Seja G um grupo com |G| = p, ent ao G e somorfo a Zp Demonstra c ao: A ordem de qualquer elemento de um grupo divide a ordem do grupo. Ent ao, se x G, |x| = 1 ou |x| = p. O u nico elemento de ordem 1 e a indentidade e todos os outros elementos tem ordem p e, portanto, gera G. Assim, G e um grupo c clico de ordem p, ou seja, G Zp . Teorema 2.4 Se G e um grupo de ordem p2 ent ao G e abeliano.

8 Demonstra c ao: Pelo Teorema de Langrange sabemos que |Z (G)| = 1 ou pou p2 . Por 1.4, sabemos que | Z ( G) | = p, pois se fosse |Z (G)/G| = p, o que e absurdo pois todo grupo de ordem p e c clico. Mas por 2.1 sabemos que |Z (G)| = 1. Portanto |Z (G)| = p2 G e abeliano.

2.1.2

Grupos de ordem p3

Como os grupos abelianos j a est ao classicados, nessa parte do texto iremos sempre considerar que os grupos s ao n ao-abelianos.

p=2
Existem 2 grupos n ao-abelianos de ordem 8: Quart ernios: Q = 1, i, j, k |(1)2 = 1, i2 = j 2 = k 2 = ijk = 1 Diedral: D4 = x, y |x2 = y 2 = (xy )n = 1 A verica c ao de que todos os grupos n ao abelianos de ordem 8 s ao isomoformos a um dos dois grupos citados acima consiste em suposi c oes sucessivas a respeito das poss veis ordem dos elementos que, pelo Teorema de Lagrange, podem assumir apenas os valores 2 e 4.

p mpar
Como todo grupo de ordem p3 pode ser escrito como o produto semi-direto de grupos c clicos de ordem igual a pot encia de um primo, denimos abaixo produto semi-direto: Deni c ao 2.1 Seja H e K dois grupos e : H Aut(K ) uma a ca o. Denimos o produto semi direto H K como: (h1 ; k1 )(h2 ; k2 ) = (h1 h2 ; k1 ( h1 )(k2 )); h1 , h2 H e k1 , k2 K .

Refer encias Bibliogr acas

[1] GARCIA, Arnaldo e LEQUAIN, Yves. Elementos de Algebra , IMPA, 2006. [2] SUZUKI,Michio.Group Theory I (Grundlehren Der Mathematischen Wissenschaften,Springer 1981.