Rank-3 scale theorems: Difference between revisions
| Line 112: | Line 112: | ||
Label the notes (1,k) and (2,k), 1 ≤ k ≤ m or m-1, for notes in the upper and lower chain respectively. | Label the notes (1,k) and (2,k), 1 ≤ k ≤ m or m-1, for notes in the upper and lower chain respectively. | ||
In case 1 (even scale size), | In case 1 (even scale size), we have the chain g1 g2 g1 g2... g1 g3. Consider the sizes of the n/2-step (which is an odd number of generator steps): | ||
# g1 ... g1, (n/2-1)*g0 + g1 = n/2 g1 + (n/2-1) g2 | # g1 ... g1, (n/2-1)*g0 + g1 = n/2 g1 + (n/2-1) g2 | ||
# g2 ... g2, (n/2-1)*g0 + g2 = (n/2-1) g1 + n/2 g2 | # g2 ... g2, (n/2-1)*g0 + g2 = (n/2-1) g1 + n/2 g2 | ||