Thread: quick question on SL2(F3)

i know is solvable.

it's sylow 2-subgroup is isomorphic to , which pretty much wraps it up (this group contains the center, to finish off the composition series).

is there an easier way to demonstrate this group is solvable, without using the above isomorphism? can we show, for example, the sylow 2-subgroup is normal, without ever calculating any matrix products, and can we prove the center is contained in this group?

Originally Posted by Deveno

i know is solvable.

it's sylow 2-subgroup is isomorphic to , which pretty much wraps it up (this group contains the center, to finish off the composition series).

is there an easier way to demonstrate this group is solvable, without using the above isomorphism? can we show, for example, the sylow 2-subgroup is normal, without ever calculating any matrix products, and can we prove the center is contained in this group?

i think it's much more rewarding to prove that every group of order is solvable. this can be done quite easily by induction over and using this elementary fact that if is a subgroup of and then there exists a normal subgroup of such that and (you can find the proof of this fact here although i'm quite sure you already know it!)

I guess it all depends upon what you're assumed to know.


You can trivially check that the Sylow -subgroup is normal and which evidently implies that is solvable. That said, is of order eight, and regardless of 's isomorphism type we know it's solvable--namely because it is a fourth-week-of-group theory result that the only groups of order are the three abelian and all of which are solvabe. So, is solvable. Since solvability respects extensions we may conclude that is solvable.


Of course, the above really shows that any group of order with normal Sylow -subgroup is solvable, which is consistent with the common theorem that NonCommAlg stated.

Originally Posted by Drexel28

I guess it all depends upon what you're assumed to know.


You can trivially check that the Sylow -subgroup is normal and which evidently implies that is solvable. That said, is of order eight, and regardless of 's isomorphism type we know it's solvable--namely because it is a fourth-week-of-group theory result that the only groups of order are the three abelian and all of which are solvabe. So, is solvable. Since solvability respects extensions we may conclude that is solvable.


Of course, the above really shows that any group of order with normal Sylow -subgroup is solvable, which is consistent with the common theorem that NonCommAlg stated.

you don't need to know which groups have order to show that groups of order are solvable. actually every -group is solvable because we know that every group of order has a normal subgroup of order and so we can use induction.

Originally Posted by NonCommAlg

you don't need to know which groups have order to show that groups of order are solvable. actually every -group is solvable because we know that every group of order has a normal subgroup of order and so we can use induction.

Right, I forgot I was talking to Deveno and was trying to give an easier result haha.

Originally Posted by NonCommAlg

i think it's much more rewarding to prove that every group of order is solvable. this can be done quite easily by induction over and using this elementary fact that if is a subgroup of and then there exists a normal subgroup of such that and (you can find the proof of this fact here although i'm quite sure you already know it!)

yes, this is what i wanted. thanks!

and without even looking, let's see...left-action on the coset space, right?