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
SUMMARY

The discussion focuses on the properties of a group $G$ of order 56, specifically regarding its Sylow 2-subgroup $P$. It is established that $G$ has a unique Sylow 2-subgroup, which is normal in $G$. Furthermore, it is concluded that all elements of $P$ are of order 2, derived from the action of Sylow 7-subgroups on $P$ and the implications of conjugation. The argument utilizes Cauchy's theorem to confirm the existence of elements of order 2 within $P$.

PREREQUISITES
  • Understanding of group theory, specifically Sylow theorems
  • Familiarity with normal subgroups and their properties
  • Knowledge of group actions and conjugation
  • Application of Cauchy's theorem in group theory
NEXT STEPS
  • Study the Sylow theorems in detail, focusing on their applications in group classification
  • Explore the concept of group actions and how they relate to normal subgroups
  • Investigate the implications of Cauchy's theorem on the structure of finite groups
  • Examine examples of groups of order 56 to see practical applications of these concepts
USEFUL FOR

This discussion is beneficial for mathematicians, particularly those specializing in abstract algebra, group theorists, and students seeking to deepen their understanding of Sylow subgroups and group actions.

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).
 
I am studying the mathematical formalism behind non-commutative geometry approach to quantum gravity. I was reading about Hopf algebras and their Drinfeld twist with a specific example of the Moyal-Weyl twist defined as F=exp(-iλ/2θ^(μν)∂_μ⊗∂_ν) where λ is a constant parametar and θ antisymmetric constant tensor. {∂_μ} is the basis of the tangent vector space over the underlying spacetime Now, from my understanding the enveloping algebra which appears in the definition of the Hopf algebra...

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
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K