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

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Capítulo 2<br />

Grupos complementa<strong>dos</strong><br />

Neste capítulo, estudaremos os subgrupos <strong>de</strong> Hall e apresentaremos a <strong>de</strong>monstração<br />

do Teorema <strong>de</strong> P.Hall que fornece uma caracterização para os grupos solúveis finitos.<br />

Também daremos a caracterização <strong>de</strong> P. Hall para os grupos complementa<strong>dos</strong> e estudare-<br />

mos as torres <strong>de</strong> Sylow do tipo supersolúvel.<br />

2.1 <strong>Subgrupos</strong> <strong>de</strong> Hall<br />

Da<strong>dos</strong> um grupo finito G e p um divisor primo da or<strong>de</strong>m <strong>de</strong> G, sabemos que um<br />

p-subgrupo <strong>de</strong> Sylow <strong>de</strong> G é um subgrupo <strong>de</strong> G cuja or<strong>de</strong>m é a maior potência <strong>de</strong> p que<br />

divi<strong>de</strong> a or<strong>de</strong>m <strong>de</strong> G.<br />

Nesta seção faremos uma generalização <strong>de</strong>sta <strong>de</strong>finição. Tais subgrupos são os sub-<br />

grupos <strong>de</strong> Hall.<br />

Definição 2.1. Se π é um conjunto não vazio <strong>de</strong> números primos, então um π-número é<br />

um inteiro n tal que to<strong>dos</strong> seus fatores primos pertencem a π.<br />

O complemento <strong>de</strong> π no conjunto <strong>de</strong> números primos é <strong>de</strong>notado por π ′ e, assim, um<br />

π ′ -número é um inteiro m tal que nenhum <strong>de</strong> seus fatores primos pertence a π.<br />

Definição 2.2. Seja π um conjunto <strong>de</strong> primos. Um grupo G é um π-grupo se a or<strong>de</strong>m<br />

<strong>de</strong> cada um <strong>de</strong> seus elementos é um π-número.<br />

Definição 2.3. Se G é um grupo finito, então um π-subgrupo H <strong>de</strong> G tal que [G : H] é<br />

13

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

Saved successfully!

Ooh no, something went wrong!