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. GRUPOS COMPLEMENTADOS 25<br />

fator principal do grupo complementado G, e seja p α sua or<strong>de</strong>m. Se α > 1, po<strong>de</strong>mos<br />

escolher um subgrupo H <strong>de</strong> G tal que Gi > H > Gi+1. Sejam K um complemento <strong>de</strong><br />

H em G,<br />

e<br />

L1 = Gi ∩ K (2.4)<br />

L2 = Gi+1L1. (2.5)<br />

L1 = 1, pois caso contrário Gi = G ∩ Gi = (HK) ∩ Gi = H(K ∩ Gi) = H, o que não<br />

po<strong>de</strong> ocorrer, já que, H < Gi. Logo L1 = 1. Afirmamos agora que Gi+1 < L2. De<br />

fato, se Gi+1 = L2 então L1 ≤ Gi+1 < H, mas H ∩ K = 1, assim L1 = 1, o que<br />

mostramos que não acontece. Portanto, Gi+1 < L2. Agora vamos mostrar também que<br />

L2 < Gi. Para isso, suponhamos, por absurdo, que L2 = Gi, então por (2.5) temos<br />

que Gi = Gi+1L1. Seja h ∈ H tal que h ∈ Gi+1. Como H < Gi vemos que h po<strong>de</strong> ser<br />

escrito do seguinte modo: h = ab, on<strong>de</strong> a ∈ Gi+1 e b ∈ L1. Isto implica que b = a −1 h,<br />

mas Gi+1 < H obtendo <strong>de</strong>sta maneira que a −1 h ∈ H e a −1 h = b ∈ K. Disto resulta que<br />

b = 1 e h = a, o que é um absurdo pois tomamos h ∈ H com h ∈ Gi+1. Logo L2 < Gi.<br />

Assim Gi > L2 > Gi+1. Agora L1 ✁ K, pois Gi ✁ G e, portanto, L2 ✁ K. Mas L2 ✁ Gi,<br />

já que L2 ≥ Gi+1 ≥ (Gi) ′ . Portanto L2 ✁ GiK ⊇ HK = G, isto é, L2 ✁ G, o que é um<br />

absurdo, pois nenhum subgrupo normal <strong>de</strong> G po<strong>de</strong> ser encontrado estritamente entre Gi<br />

e Gi+1. Logo α = 1 e, consequentemente, Gi<br />

Gi+1<br />

é cíclico. ✷<br />

O resultado a seguir nos fornece uma característica <strong>dos</strong> grupos que satisfazem as<br />

proprieda<strong>de</strong>s (i) e (ii).<br />

Proposição 2.15. Um grupo finito G com as proprieda<strong>de</strong>s (i) e (ii) é isomorfo a um<br />

subgrupo do produto direto <strong>de</strong> um certo número <strong>de</strong> grupos <strong>de</strong> or<strong>de</strong>m livre <strong>de</strong> quadrado.<br />

Demonstração: Suponhamos que G = {x1, x2, . . . , xt}. Para cada elemento x <strong>de</strong> G\{1},<br />

seja Gx <br />

um subgrupo<br />

<br />

normal <strong>de</strong> G <strong>de</strong> maior or<strong>de</strong>m que não contenha x. Tome χ =<br />

G<br />

| x ∈ G\{1} e consi<strong>de</strong>re a função<br />

Gx<br />

ψ : G → G<br />

Gx1<br />

× · · · × G<br />

Gxt<br />

g ↦→ (gGx1, . . . , gGxt).

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

Saved successfully!

Ooh no, something went wrong!