Generator-offset property: Difference between revisions

Line 116:

Let S(a,b,c) be a scale word in three step sizes a, b, c. Suppose S is PWF. Then S is SV3 and has an odd number of notes. Moreover, S is either GO or equivalent to the scale word abacaba.

==== Proof ====

Suppose S has n notes (after dealing with small cases, we may assume n >= 7) and S projects to single-period mosses S1 (via identifying b ~ c), S2 (via identifying a ~ c) and S3 (via identifying a ~ b). Suppose S1's generator is a k-step, which comes in two sizes: P, the perfect k-step, and I, the imperfect k-step. By stacking k-steps, we get two words of length n of k-steps of S2 and S3, respectively. These words, which we call Σ2 and Σ3, must be mosses. Both Σ2 and Σ3 are single period, since (k, n) = 1.

Suppose S has n notes (after dealing with small cases, we may assume n >= 7) and S projects to single-period mosses S1 (via identifying b ~ c), S2 (via identifying a ~ c) and S3 (via identifying a ~ b). Suppose S1's generator is a k-step, which comes in two sizes: P, the perfect k-step, and I, the imperfect k-step. By stacking k-steps, we get two words of length n of k-steps of S2 and S3, respectively. These words, which we call Σ2 and Σ3, must be mosses: since every m-step in the new mos word coresponds to mk-steps in the original mos words, which come in at most two sizes. Both Σ2 and Σ3 are single-period mosses, since (k, n) = 1.

index: 1 2 3 4 ... n

@@ Line 116: / Line 116: @@
 Let S(a,b,c) be a scale word in three step sizes a, b, c. Suppose S is PWF. Then S is SV3 and has an odd number of notes. Moreover, S is either GO or equivalent to the scale word abacaba.
 ==== Proof ====
-Suppose S has n notes (after dealing with small cases, we may assume n >= 7) and S projects to single-period mosses S1 (via identifying b ~ c), S2 (via identifying a ~ c) and S3 (via identifying a ~ b). Suppose S1's generator is a k-step, which comes in two sizes: P, the perfect k-step, and I, the imperfect k-step. By stacking k-steps, we get two words of length n of k-steps of S2 and S3, respectively. These words, which we call Σ2 and Σ3, must be mosses. Both Σ2 and Σ3 are single period, since (k, n) = 1.
+Suppose S has n notes (after dealing with small cases, we may assume n >= 7) and S projects to single-period mosses S1 (via identifying b ~ c), S2 (via identifying a ~ c) and S3 (via identifying a ~ b). Suppose S1's generator is a k-step, which comes in two sizes: P, the perfect k-step, and I, the imperfect k-step. By stacking k-steps, we get two words of length n of k-steps of S2 and S3, respectively. These words, which we call Σ2 and Σ3, must be mosses: since every m-step in the new mos word coresponds to mk-steps in the original mos words, which come in at most two sizes.  Both Σ2 and Σ3 are single-period mosses, since (k, n) = 1.
   index: 1 2 3 4 ...   n