30.01.2013 Views

SATURATED FUSION SYSTEMS OF ESSENTIAL RANK 1

SATURATED FUSION SYSTEMS OF ESSENTIAL RANK 1

SATURATED FUSION SYSTEMS OF ESSENTIAL RANK 1

SHOW MORE
SHOW LESS

Create successful ePaper yourself

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

Lemma 2.7.10. Let T ≤ H ≤ G be strongly p-embedded and N ✂ G such that<br />

HN �= G. Then N is a p ′ group and HN/N is strongly p-embedded in G/N.<br />

Proof. We have T ∩N ∈ Sylp(N) and by the Frattini Argument, G = NNG(T ∩N) �=<br />

HN. Hence, NG(T ∩ N) �≤ H and therefore, since H is strongly p-embedded in G,<br />

T ∩ N = 1. Hence, N is a p ′ -group.<br />

We now set G = G/N. Let 1 �= P ≤ T . We need to show that N G (P ) ≤ H.<br />

Let g ∈ G such that g ∈ N G (P ). Then P g N = (P N) g = P N. Since N is a p ′ -<br />

group, P ∈ Sylp(NP ). Hence, there is h ∈ NP such that P gh = P . Then gh ∈ H,<br />

since H is strongly p-embedded. Moreover, h −1 ∈ P N and P ≤ T ≤ H. Hence,<br />

g = (gh)h −1 ∈ HN and g ∈ H.<br />

Lemma 2.7.11. Assume G has a strongly p-embedded subgroup. Let N ✂ G be such<br />

that N = E1 × . . . × Er for subgroups E1, . . . , Er of G. If p | |Ei| for i = 1, . . . , r,<br />

then r = 1.<br />

Proof. Let H ≤ G be strongly p-embedded such that T ≤ H. Since p divides |N|,<br />

N �≤ H. Hence, there is i ∈ {1, . . . , r} such that Ei �≤ H. Assume r > 1. Then there<br />

is i �= j ∈ {1, . . . , r}. Since Ej ✂ N and N ✂ G, Ej is subnormal in G. Therefore,<br />

T ∩ Ej ∈ Sylp(G). In particular, T ∩ Ej �= 1. Since [Ei, Ej] = 1, it follows that<br />

Ei ≤ NG(Ej ∩ T ) ≤ H, a contradiction.<br />

Lemma 2.7.12. Let H ≤ G be strongly p-embedded in G and assume T ≤ H. Sup-<br />

pose E is a normal subgroup of G such that E ∼ = SL2(q). Then H = NG(T ∩ E) and<br />

G/E is a p ′ -group.<br />

Proof. Set T0 = E ∩ T . The Frattini Argument gives us G = ENG(T0). By 2.7.2(a)<br />

and 2.7.3, NG(T0) ≤ H. So it follows from Dedekind’s Law that H = NG(T0)(E∩H).<br />

Assume E ∩ H �≤ NG(T0). Then there is T0 �= T1 ∈ Sylp(E ∩ H). Hence, 2.6.3 yields<br />

E = 〈T0, T1〉 ≤ H. This is a contradiction since q divides |E|, E is normal in G and<br />

35

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

Saved successfully!

Ooh no, something went wrong!