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.3.5. Let G be a finite group and S a normal p-subgroup of G such that<br />

CG(S) ≤ S. Assume there is Q ≤ S with CS(Q) ≤ Q. Then CG(Q) is a p-group. In<br />

particular, if S ∈ Sylp(G) then CG(Q) ≤ Q.<br />

Proof. Let R be a p-prime subgroup of CG(Q). Then A = R × Q acts on the p-group<br />

S. Moreover, CS(Q) ≤ Q ≤ CS(R). Therefore, by Thompson’s P × Q-lemma,<br />

[S, R] = 1. Hence, R ≤ CG(S) ≤ S and R = 1. This shows that CG(Q) is a p-group.<br />

If S ∈ Sylp(G), we get now CG(Q) ≤ CS(Q) ≤ Q.<br />

2.4 Dihedral and semidihedral 2-groups<br />

We remind the reader that the group G is called dihedral if it is generated by two<br />

involutions. Equivalently, there exist elements t, x ∈ G such that t is an involution,<br />

G = 〈t〉 ⋉ 〈x〉 and x t = x −1 . We are particularly interested in the case where G is a<br />

2-group. Note that we also regard fours groups as dihedral groups. A group which is<br />

similar to the dihedral 2-group is the semidihedral 2-group, which is defined as follows.<br />

Definition 2.4.1. G is called semidihedral, if there exist elements x, t ∈ G such that t<br />

is an involution, o(x) = 2 n for some n ≥ 3, G = 〈t〉 ⋉ 〈x〉 and x t = x 2n−1 −1 .<br />

While studying dihedral and semidihedral 2-groups, the automorphisms of cyclic 2-<br />

groups play an important role. We summarize some of their properties in the following<br />

lemma.<br />

Lemma 2.4.2. Let X = 〈x〉 be a cyclic group of order 2 n , n ≥ 2.<br />

(a) xσ2 �= x−1 for every σ ∈ Aut(X).<br />

(b) Aut(X) has order 2 n−1 .<br />

(c) If n ≥ 3 then the automorphisms α, β, γ of X defined by<br />

x α = x −1 , x β = x 2n−1 −1 , x γ = x 2 n−1 +1<br />

21

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

Saved successfully!

Ooh no, something went wrong!