09.05.2013 Views

A Influência dos Subgrupos Minimais na Estrutura de ... - PMA - UEM

A Influência dos Subgrupos Minimais na Estrutura de ... - PMA - UEM

A Influência dos Subgrupos Minimais na Estrutura de ... - PMA - UEM

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Capítulo 3<br />

p-nilpotência<br />

Neste capítulo, daremos uma breve introdução sobre p-nilpotência e formações, estudare-<br />

mos o homomorfismo transfer com o intuito <strong>de</strong> obtermos a <strong>de</strong>monstração do Teorema <strong>de</strong><br />

Frobenius, que fornece uma condição necessária e suficiente para a p-nilpotência <strong>de</strong> um<br />

grupo finito.<br />

3.1 p-nilpotência<br />

Daremos uma <strong>de</strong>finição que será muito utilizada a partir daqui.<br />

Definição 3.1. Seja G um grupo finito e seja p um divisor primo <strong>de</strong> |G|. Dizemos que<br />

G é p-nilpotente se G possui um p ′ -subgrupo <strong>de</strong> Hall normal.<br />

Se G é um grupo finito p-nilpotente e P é um p-subgrupo <strong>de</strong> Sylow <strong>de</strong> G, então<br />

G = P Op ′(G). De fato, como G é p-nilpotente, G possui um p′ -subgrupo <strong>de</strong> Hall normal<br />

<strong>de</strong> G, o qual <strong>de</strong>ve ser Op ′(G) já que Op ′(G) é o único p′ -subgrupo normal maximal <strong>de</strong><br />

G. Desta forma, obtemos que P Op ′(G) ≤ G e como |P Op ′(G)| = |G|, concluímos que<br />

P Op ′(G) = G.<br />

É fácil ver que todo grupo nilpotente é p-nilpotente. Também temos que se G é<br />

p-nilpotente para todo p divisor primo da or<strong>de</strong>m <strong>de</strong> G, então G é nilpotente.<br />

Observação 3.2.<br />

É fácil ver que se G possui uma torre <strong>de</strong> Sylow do tipo supersolúvel e<br />

p é o menor divisor primo <strong>de</strong> |G|, então G é p-nilpotente.<br />

31

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!