Generator-offset property: Difference between revisions
| Line 120: | Line 120: | ||
=== Theorem 4 (PWF implies SV3 and either GO or abacaba) === | === Theorem 4 (PWF implies SV3 and either GO or abacaba) === | ||
Let ''S''(a, b, c) be a scale word in three '''Z'''-linearly independent 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 | Let ''S''(a, b, c) be a scale word in three '''Z'''-linearly independent 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 ==== | ==== Proof ==== | ||
===== If the generator of a projection of ''S'' is a ''k''-step, the word of stacked ''k''-steps in ''S'' is PWF ===== | ===== If the generator of a projection of ''S'' is a ''k''-step, the word of stacked ''k''-steps in ''S'' is PWF ===== | ||