Permutation/Cycle/Definition

Cycle

Let be a finite set and let be a permutation on . Then is called a cycle of order , if there exists a subset , containing elements and such that is on the identity and such that commutes the elements of in a cyclic way. If , then we write