Solve Group Theory Problem - Prime Order of G must be p^n

Click For Summary

Discussion Overview

The discussion revolves around a problem in group theory concerning a finite abelian group G where every non-trivial element has order p, a prime. Participants are exploring whether this implies that the order of G must be p^n for some positive integer n.

Discussion Character

  • Exploratory
  • Technical explanation
  • Debate/contested

Main Points Raised

  • One participant presents the problem and seeks approaches to demonstrate that the order of G is p^n.
  • Another participant suggests considering the existence of another prime q that divides the order of the group, proposing that this would imply the existence of an element of order q.
  • A different participant questions whether it is true that for all factors of the order of a group, there exists an element of that order, expressing confusion about the implications.
  • One participant references Lagrange's theorem and discusses the order of the subgroup generated by an element g, indicating that this order is also p.

Areas of Agreement / Disagreement

Participants express uncertainty and confusion regarding the implications of the problem, with no clear consensus on whether the existence of elements of different orders can be established.

Contextual Notes

There are unresolved assumptions regarding the implications of Lagrange's theorem and the existence of elements corresponding to all prime factors of the group's order.

equivalence
Messages
2
Reaction score
0
Hi

I have a problem I just can't seem to solve, even though the solution shouldn't be too hard

Let G be a finite abelian group and let p be a prime.
Suppose that any non-trivial element g in G has order p. Show that the order of G must be p^n for some positive integer n.

Anyone got any ideas about how to approach this??

thanks,
 
Physics news on Phys.org
Suppose there is another prime q that divides the order of the group and show there must be an element of order q.
 
but is it the case that for all factors of the order of a group there is an element of that order?? i am soo confused..
 
You know Lagranges theorem..? Consider the subgroup generated by g,- what's his order?. Well, if you like carefully at what " generates" means, youll see that the order of the subgroup generated by g is also p.
 

Similar threads

  • · Replies 26 ·
Replies
26
Views
1K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 12 ·
Replies
12
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
3
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K