Proving a Group is Cyclic: What is the Generator of G?

  • Thread starter Thread starter zooxanthellae
  • Start date Start date
  • Tags Tags
    Cyclic Group
Click For Summary
SUMMARY

The group G defined by the functions f_{n}(x) = x + n for each integer n is cyclic. A generator of G is f_{1}(x) = x + 1, as its inverse f_{-1}(x) = x - 1 allows for the generation of all elements in G through compositions and inverses. The key to understanding cyclic groups is recognizing that both compositions and inverses of the generator must be included to cover the entire group. This clarification resolves common misconceptions regarding the requirements for a group to be cyclic.

PREREQUISITES
  • Understanding of cyclic groups in abstract algebra
  • Familiarity with function composition and inverses
  • Basic knowledge of integer operations
  • Concept of group theory notation and definitions
NEXT STEPS
  • Study the properties of cyclic groups in abstract algebra
  • Learn about group generators and their inverses
  • Explore examples of cyclic groups beyond integer functions
  • Investigate the implications of group theory in mathematical proofs
USEFUL FOR

Students of abstract algebra, mathematicians exploring group theory, and anyone seeking to understand the structure and properties of cyclic groups.

zooxanthellae
Messages
157
Reaction score
1

Homework Statement



For each integer n, define [tex]f_{n}[/tex] by [tex]f_{n}(x) = x + n.[/tex] Let [tex]G = {f_{n} : n \in \mathbb{Z}}.[/tex] Prove that G is cyclic, and indicate a generator of G.

Homework Equations



None as far as I can tell.

The Attempt at a Solution



Doesn't this require us to find one element of [tex]G[/tex] such that, by applying that element over and over again e.g. [tex]f_n(f_n(...)[/tex] we can produce any element of G? My main problem with this is I don't understand how one could find a way to go from positive to negative elements or vice-versa. For example if we let the generator be [tex]f(x) = x + 1[/tex] how could we generate [tex]f_{-1}(x) = x - 1?[/tex] Or do I misinterpret the definition of G/requirements of a cyclic group?
 
Physics news on Phys.org
zooxanthellae said:
Or do I misinterpret the definition of G/requirements of a cyclic group?

Yes. Being a cyclic group means that the group can be generated by 1 element. But what does generated mean? Well, it means that if you take all compositions and all inverses, then you get the entire group.

So, in other words, a group G is cyclicly generated by x iff

[tex]G=\{...,x^{-3},x^{-2},x^{-1},e,x,x^2,x^3,...\}[/tex]

So, in your example, you don't only allow compositions of the fn, but also inverses.
 
Oh, so then [tex]f_{1} = x + 1[/tex] is actually a generating group, since its inverse is [tex]f_{-1} = x - 1[/tex] and together these can account for any element of G.

Thanks much micromass, the book I'm using didn't specify (or I missed it if it did) that inverses are part of a generating group. That clears things up.
 

Similar threads

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