In section 4.1 Group Actions and Permutation Representations Dummit and Foote define an orbit as follows:

================================================== ========

"Let G be a group acting on the nonempty set A.

The equivalence class {g.a | g G} is called the orbit of G containing a."

================================================== ========

However, Fraleigh [A First Course in Abstract Algebra] defines Orbits in Section 9: Orbits, Cycles and Alternative Groups as follows: [calling it an orbit of a permutation]

================================================== ========

"Each permutation of a set A determines a natural partition of A into cells with the property that a,b A are in the same cell if an only if b = for some n Z"

================================================== ========

Are these two definitions equivalent. If so, can someone please explicity & formally demonstrate how/why they are equivalent?

Peter