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
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).