Math 2.0

statement proposition

Order of a permutation is the lcm of its cycle lengths

Statement

Let σ∈Sn\sigma \in S_n, and let σ=c1c2⋯cr\sigma = c_1 c_2 \cdots c_r be its decomposition into disjoint cycles of lengths k1,…,krk_1, \dots, k_r. Then the order of σ\sigma is lcm⁡(k1,…,kr)\operatorname{lcm}(k_1, \dots, k_r).

Remarks

A kk-cycle has order kk. The disjoint cycles commute, so σm=c1m⋯crm\sigma^m = c_1^m \cdots c_r^m, and this is the identity exactly when each cimc_i^m is the identity. For example, (1 2)(3 4 5)(1\ 2)(3\ 4\ 5) has order 66.

Explanations

L1 human

A permutation returns to the identity when each of its cycles is back at the start. A cycle of length kk is back at the start after each multiple of kk steps. So you need the first common multiple of all the cycle lengths.

What this node needs for W1
  • an inventory row: the row of the inventory that the node accounts for (0 of 1)

The writing levels say how complete the text of a node is. They do not measure its truth.

What this needs

To read this node, read these 8 nodes in this order. The foundations come first, and the list ends with this node.

Each node uses the nodes above it. The colour of the bar on a box shows the evidence level, and the box also gives it as text. The list below has the same nodes.
  • no evidence level
  1. Cycle notation concept
  2. Group concept
  3. Laws of exponents in a group statement
  4. Symmetric group definition
  5. Disjoint cycles commute statement
  6. Order of an element definition
  7. Decomposition of a permutation into disjoint cycles statement
  8. Order of a permutation is the lcm of its cycle lengths statement

Sources

  1. Web https://en.wikipedia.org/wiki/Permutation, Order of a permutation