MHB O(G)=56. Sylow 2 subgroup has all its elements of order 2.

  • Thread starter Thread starter caffeinemachine
  • Start date Start date
  • Tags Tags
    Elements Subgroup
Click For Summary
A group G of order 56 with at least 7 elements of order 7 has a unique Sylow 2-subgroup P, which is normal in G. The action of any Sylow 7-subgroup Q on P by conjugation leads to a contradiction unless all elements of P have order 2. Since Q is cyclic of prime order, if the kernel of this action is all of Q, then G would be abelian, which contradicts the non-normality of Q. Therefore, every non-identity element of P must be conjugate and have order 2. Ultimately, this confirms that all elements of the Sylow 2-subgroup P are of order 2.
caffeinemachine
Gold Member
MHB
Messages
799
Reaction score
15
Let $G$ be a group of order $56$ having at least $7$ elements of order $7$.
1) Prove that $G$ has only one Sylow $2$-subgroup $P$.
2) All elements of $P$ have order $2$.

The first part is easy since it follows that the number of Sylow $7$-subgroups is $8$.
I got stuck on part 2. From part 1 we conclude that $P\triangleleft G$. So if $Q$ is any Sylow $7$ subgroup then $G=PQ=QP$. But I am getting nowhere with this. Please help.
 
Physics news on Phys.org
since P is normal we can let any sylow 7-subgroup Q act on it by conjugation.

consider the kernel of this action: it must be a subgroup of Q, which is cyclic of prime order. if the kernel is all of Q, then every element induces the identity map:

qpq-1 = p, for all p in P, and all q in Q.

but this means that PQ = G is abelian (since any two generators for P and Q commute), contradicting the non-normality of Q.

this means that a generator x in Q induces a 7-cycle in P, that is: all non-identity elements of P are conjugate. since conjugates all have the same order, it must be that every element of P has order 2 (since it has at least one element of order 2 by Cauchy's theorem).
 
Thread 'How to define a vector field?'
Hello! In one book I saw that function ##V## of 3 variables ##V_x, V_y, V_z## (vector field in 3D) can be decomposed in a Taylor series without higher-order terms (partial derivative of second power and higher) at point ##(0,0,0)## such way: I think so: higher-order terms can be neglected because partial derivative of second power and higher are equal to 0. Is this true? And how to define vector field correctly for this case? (In the book I found nothing and my attempt was wrong...

Similar threads

  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
Replies
2
Views
5K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K