Is Every Subgroup of a Finite Nonabelian Group with Prime Order Abelian?

  • Thread starter Thread starter sza772250
  • Start date Start date
  • Tags Tags
    Algebra
Click For Summary
SUMMARY

The discussion centers on the properties of subgroups within finite nonabelian groups, specifically addressing whether every subgroup of prime order is abelian. It is established that if H is a subgroup of G with order p (a prime), then H is abelian, as it can be shown to be cyclic. The conversation also touches on the number of elements of H with order p and the intersection of subgroups H and K, where K has a different prime order q. The application of Lagrange's Theorem is crucial for these proofs.

PREREQUISITES
  • Understanding of group theory concepts, particularly finite groups
  • Familiarity with Lagrange's Theorem in group theory
  • Knowledge of cyclic groups and their properties
  • Basic understanding of prime numbers and their role in group orders
NEXT STEPS
  • Study the implications of Lagrange's Theorem in group theory
  • Learn about cyclic groups and their characteristics
  • Investigate the structure of nonabelian groups and their subgroups
  • Explore the concept of group intersections and their properties
USEFUL FOR

Mathematicians, particularly those specializing in abstract algebra, students studying group theory, and anyone interested in the properties of finite nonabelian groups.

sza772250
Messages
1
Reaction score
0
let G be a finite nonabelian group and h be a subgroup of G. suppose that the order of H is p where p is a prime
(1)prove that h is abelian
(2)How many elements of h have order P?
(3)Suppose K is a subgroup of G with order q, where q is a prime and q doesn't equal p. what is H intersect K?

for(1) to prove h is abelian, I can show H is cyclic, but how to show H is cyclic?(because order of p is prime?)
I have no idea how to do (2) and (3)
 
Physics news on Phys.org
(1) consider the order of a non-identity element h of H. what orders are possible for h?

what does that tell us about the order of <h>?

(2) how many non-identity elements does H have? do they all have the same order?

(3) suppose x is in H, and x is in K. what can we say about the order of x? are there any divisibility arguments you can use?
 

Similar threads

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