Are Cyclic Groups with x^n = 1 the Only Finite Groups?

  • Context: Undergrad 
  • Thread starter Thread starter Identity
  • Start date Start date
  • Tags Tags
    Finite Groups
Click For Summary

Discussion Overview

The discussion revolves around the question of whether cyclic groups defined by the equation x^n = 1 are the only finite groups of order n. Participants explore various group types, including cyclic and non-cyclic groups, and consider the nature of finite groups in general.

Discussion Character

  • Debate/contested
  • Technical explanation
  • Conceptual clarification

Main Points Raised

  • One participant questions if cyclic groups with x^n = 1 are the only finite groups of order n, expressing uncertainty based on personal experimentation.
  • Another participant suggests considering permutation groups and dihedral groups, indicating that most finite groups are non-abelian, thus implying that cyclic groups are relatively few.
  • A third participant references a categorization of finite groups, recommending external resources for further reading on the topic.
  • One participant discusses the existence of cyclic groups for any n and notes that for prime n, the only group of that order is cyclic. They also mention that for non-prime n, there are non-cyclic groups, using the Klein 4-group as an example.
  • Another participant questions the likelihood of the claim regarding the abundance of non-abelian groups compared to abelian groups, suggesting that it may not be straightforward to prove.

Areas of Agreement / Disagreement

Participants express differing views on the nature and classification of finite groups, with some asserting the existence of non-cyclic groups while others question the implications of the abundance of non-abelian groups. The discussion remains unresolved regarding the original question posed.

Contextual Notes

There are limitations in the discussion regarding the assumptions made about group orders and the definitions of cyclic and non-cyclic groups. Some mathematical steps and implications remain unresolved.

Identity
Messages
151
Reaction score
0
Is it true that cyclic groups with [tex]x^n = 1[/tex] the only finite groups (with order n)?

I've been experimenting with a few groups and I think this is true but I'm not sure.thanks
 
Physics news on Phys.org
Have you looked at the permutation groups Sn, dihedral groups Dn (symmetries of regular polygons), etc.?

In fact, almost all finite groups are non-abelian, so the cyclic groups are just very few in number.
 
CompuChip said:
In fact, almost all finite groups are non-abelian, so the cyclic groups are just very few in number.
There are as many cyclic groups ([itex]\aleph_0[/itex]) as finite groups. By, "almost all finite groups are non-abelian", do you mean [itex]\lim_{n\rightarrow \infty}a_n/g_n=0[/itex], where [itex]a_n[/itex] is the number of abelian groups of order [itex]\leq n[/itex] and [itex]g_n[/itex] is the number of groups of order [itex]\leq n[/itex]? (This doesn't seem likely.)
 
Given any n, there certainly exists a cylic group of order n.

It is also true that if p is a prime number then then the only group of order p is the cylic group.

But if n is NOT prime, then there exist other, non-cyclic, groups of order n.

The simplest example is for n= 4. The "Klein 4-group" is not cyclic.

The Klein 4-group has 4 members, e, a, b, c satifying
ee= e, ea= a, eb= b, ec= c (e is the identity)
ae= a, aa= e, ab= c, ac= b
be= b, ba= c, bb= e, bc= a
ce= c, ca= b, cb= a, cc= e

The fact that every element is its own inverse proves this group is not cyclic.

Any group of order 4 is isomorphic either to the cyclic group of order 4 or to the Klein four-group.
 
Martin Rattigan said:
...(This doesn't seem likely.)
Then again it doesn't seem unlikely. Has it been proved?

The non-abelian groups of orders 2n will probably arrange it by themselves (e.g. there are over ten times as many non-abelian groups of order 1024 as there are other groups up to and including 1024) so this may not be too difficult to prove.
 
Last edited:

Similar threads

  • · Replies 26 ·
Replies
26
Views
2K
  • · Replies 17 ·
Replies
17
Views
10K
  • · Replies 13 ·
Replies
13
Views
4K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
Replies
3
Views
3K
  • · Replies 14 ·
Replies
14
Views
4K
Replies
4
Views
2K