Theorem If n≥2 then PSLn(q) is simple provided (n,q) is not (2,2) or (2,3).
proof: Consider PSLn(q) acting on Pn−1(q) for n≥2 and the exceptions do not occur, then it is primitive since it's 2-transitive and by previous results SLn(q) is perfect, so since PSLn(q) is a quotient of that it's perfect too. Take d∈V# so that [d]∈Pn−1(q) let A be the image of T(d) in PSLn(q) applying [???] and taking quotients we see that A is a normal abelian subgroup of the stabilizer PSLn(q)[d] and it's conjugates generate PSLn(q) thus the conditions of Iwasawa's lemma are satisfied.
No comments:
Post a Comment