Question of lagrange theorem converse.

  • Thread starter Thread starter betty2301
  • Start date Start date
  • Tags Tags
    Lagrange Theorem
Click For Summary
SUMMARY

The discussion centers on proving Cauchy's theorem, which states that if G is an abelian group and a prime number p divides the order of G, then G contains a subgroup of order p. Participants clarify that the converse of Lagrange's theorem applies here, emphasizing that any group of prime order is cyclic. The proof can be approached through various methods, with induction on the order of G being highlighted as a straightforward technique.

PREREQUISITES
  • Understanding of group theory concepts, specifically abelian groups
  • Familiarity with Lagrange's theorem and its converse
  • Knowledge of Cauchy's theorem in group theory
  • Basic skills in mathematical induction
NEXT STEPS
  • Study the proof of Cauchy's theorem in detail
  • Learn about the properties of cyclic groups and their significance
  • Explore different proof techniques for Lagrange's theorem
  • Investigate the implications of group order and subgroup structure
USEFUL FOR

This discussion is beneficial for students of abstract algebra, particularly those studying group theory, as well as educators seeking to clarify the relationship between group order and subgroup existence.

betty2301
Messages
21
Reaction score
0

Homework Statement


Let G be an abelian group. Suppose p divides ord(G) where p is prime no. Prove G has a subgroup of order p.


Homework Equations



lagrange theorem converse

The Attempt at a Solution


i know the converse is lagrange theorem and easy and this is not the case.
I know abelian has something to do with this and prime no is also something special. I also believe the subgroup of order p is cyclic?
thx
 
Physics news on Phys.org
Yes, any group of prime order is cyclic.

The theorem you are being asked to prove is called Cauchy's theorem, and it is true even if G is not abelian. There are numerous ways to prove it, depending on what results you already know. Maybe the most straightforward way is induction on [itex]|G|[/itex].
 

Similar threads

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