Sylow Subgroups: Show 10 is Not a Subgroup of Order 324

  • Context: Graduate 
  • Thread starter Thread starter beetle2
  • Start date Start date
Click For Summary
SUMMARY

The discussion centers on the impossibility of having a subgroup of order 10 in a group G of order 324. It is established that G can have subgroups of orders 2, 3, 4, 9, 27, and 81, as these orders divide 324. However, since 10 does not divide 324, it is concluded that G cannot have a subgroup of order 10. The application of Lagrange's theorem is highlighted as a key justification for this conclusion.

PREREQUISITES
  • Understanding of group theory concepts, specifically Lagrange's theorem.
  • Familiarity with Sylow theorems and their implications on subgroup orders.
  • Knowledge of prime factorization and divisibility in the context of group orders.
  • Basic comprehension of finite groups and their properties.
NEXT STEPS
  • Study the implications of Lagrange's theorem in group theory.
  • Explore Sylow's theorems in detail, focusing on their applications to subgroup orders.
  • Investigate examples of groups of various orders and their subgroup structures.
  • Learn about the classification of finite groups and the significance of subgroup orders.
USEFUL FOR

This discussion is beneficial for students and researchers in abstract algebra, particularly those studying group theory, as well as educators looking for examples of subgroup properties and applications of Lagrange's theorem.

beetle2
Messages
110
Reaction score
0
Hi Guy's,
I know this is not for home work questions however I have had no luck in that section.

Have I done enough to show that 10 cannot be a sub-group of order 324


1. Homework Statement

Let G be a group of order 324. Show that G has subgroups of order 2,
3, 4, 9, 27 and 81, but no subgroups of order 10.


2. Homework Equations

Sylow showed that if a prime power divides the order of a finite group G, then G has a subgroup of order .

3. The Attempt at a Solution


I can see that G can have the subgroup 2 because [itex]2^n n=1 = 2[\latex]<br /> subgroup 3 because [itex]3^n n=1 = 3[\latex] divides 324<br /> subgroup 4 because [itex]2^n n=2 = 4[\latex] divides 324<br /> subgroup 9 because [itex]3^n n=2 = 9[\latex] divides 324<br /> subgroup 27 because [itex]3^n n=3 = 27[\latex] divides 324<br /> subgroup 81 because [itex]3^n n=4 = 81[\latex] divides 324<br /> <br /> I know that 10 does not divide 324 in Z<br /> <br /> Is that enough to show that the sub group can't be order 10 ?[/itex][/itex][/itex][/itex][/itex][/itex]
 
Physics news on Phys.org
Yes, see Lagrange's theorem
 
thanks a lot
 

Similar threads

Undergrad Is G simple?Is G simple? A different approach using Sylow theorems
  • · Replies 5 ·
Replies
5
Views
3K
Undergrad Sylow subgroup of some factor group
  • · Replies 3 ·
Replies
3
Views
2K
Undergrad Trying to get the point of some Group Theory Lemmas
  • · Replies 3 ·
Replies
3
Views
2K
MHB Why Can't a Proper Normal Subgroup Contain a Sylow Normalizer in a Group?
  • · Replies 1 ·
Replies
1
Views
2K
Undergrad First Sylow Theorem: Group of Order ##p^k## & Cyclic Groups
  • · Replies 1 ·
Replies
1
Views
2K
Undergrad Determining the number of conjugacy classes in a p-group
  • · Replies 6 ·
Replies
6
Views
3K
MHB Proving N(H) is a Subgroup of G Containing H
  • · Replies 1 ·
Replies
1
Views
2K
MHB Normal subgroups (Sylow Theorem)
  • · Replies 2 ·
Replies
2
Views
3K
MHB G contains a normal p-Sylow subgroup
  • · Replies 5 ·
Replies
5
Views
2K
Graduate Question about normal subgroups/Lattice Isomorphism Theorem
  • · Replies 1 ·
Replies
1
Views
2K