Every infinite cyclic group has non-trivial proper subgroups

In summary, the conversation discusses the existence of non-trivial proper subgroups in infinite cyclic groups. It is noted that while finite cyclic groups only have such subgroups if their order is not prime, it is unclear how this argument applies to infinite groups. The difference between infinite and finite cyclic groups is explained as the lack of an integer n for which a^n=e, where a is an element of the group besides e. An example of an infinite cyclic group is given, and the definition of a non-trivial subgroup is discussed. The conversation ends by exploring the potential subgroups that could exist within an infinite cyclic group.
  • #1
Mr Davis 97
1,462
44

Homework Statement


Every infinite cyclic group has non-trivial proper subgroups

Homework Equations

The Attempt at a Solution


I know that if we have a finite cyclic group, it only has non-trivial proper subgroups if the order of the group is not prime. But I'm not sure how to make this argument with infinite groups
 
Physics news on Phys.org
  • #2
What is a infinite cyclic group and how does it differ from a finite one?
 
  • #3
fresh_42 said:
What is a infinite cyclic group and how does it differ from a finite one?
Doesn't it differ by the fact that there exists no integer ##n## for which ##a^n=e##, where ##a## is an element of the group besides e, the neutral element?
 
  • #4
Mr Davis 97 said:
Doesn't it differ by the fact that there exists no integer ##n## for which ##a^n=e##, where ##a## is an element of the group besides e, the neutral element?
Yes. So we have ##C = \langle a^n\,\vert \,n \in \mathbb{Z} \rangle = \{\ldots , a^{-2},a^{-1},e,a,a^2,\ldots\}##.
Non-trivial subgroup ##U## means ##\{e\}\subsetneq U \subsetneq C##.
So what can we conclude from ##\{e\}\subsetneq U##?
What could be a subgroup?
 
Back
Top