Ternary parallelogram scales are MOS substitution: Difference between revisions
| Line 20: | Line 20: | ||
== Proof == | == Proof == | ||
=== Step 1: Get a surjective homomorphism <math>\mathbb{Z}^2 \to \mathbb{Z}/mn\mathbb{Z}</math> === | === Step 1: Get a surjective homomorphism <math>\mathbb{Z}^2 \to \mathbb{Z}/mn\mathbb{Z}</math> === | ||
The π-image of any ''k''-step interval (abelianized slice) {{nowrap|ab(''w''[''i'' : ''i'' + ''k''])}} is identical to that of {{nowrap|ab(''w''[''i'' : ''i'' + ''k'' + ''mn'']).}} Hence there is a well-defined map from the pitch classes of intervals of ''w'' to {{nowrap|ℤ/''mn''ℤ.}} Traversing ''w'' step by step gives a traversal of {{nowrap|[0 : ''m''] × [0 : ''n'']}} where we label each grid point with the index of the current note in ''w''. We thus wish to constrain ways of labeling {{nowrap|[0 : ''m''] × [0 : ''n''] | The π-image of any ''k''-step interval (abelianized slice) {{nowrap|ab(''w''[''i'' : ''i'' + ''k''])}} is identical to that of {{nowrap|ab(''w''[''i'' : ''i'' + ''k'' + ''mn'']).}} Hence there is a well-defined map from the pitch classes of intervals of ''w'' to {{nowrap|ℤ/''mn''ℤ.}} Traversing ''w'' step by step gives a traversal of {{nowrap|[0 : ''m''] × [0 : ''n'']}} where we label each grid point with the index of the current note in ''w''. We thus wish to constrain ways of labeling {{nowrap|[0 : ''m''] × [0 : ''n'']}} with {{nowrap|ℤ/''mn''ℤ}} elements such that | ||
* {{nowrap|'''v''' {{=}} (1, 0)}} is consistently the π-image of a ''k''<sub>'''v'''</sub>-step interval of ''w'', {{nowrap|0 < ''k''<sub>'''v'''</sub> < ''mn''}} | * {{nowrap|'''v''' {{=}} (1, 0)}} is consistently the π-image of a ''k''<sub>'''v'''</sub>-step interval of ''w'', {{nowrap|0 < ''k''<sub>'''v'''</sub> < ''mn''}} | ||
* {{nowrap|'''w''' {{=}} (0, 1)}} is consistently the π-image of a ''k''<sub>'''w'''</sub>-step interval, {{nowrap|0 < ''k''<sub>'''w'''</sub> < ''mn''.}} | * {{nowrap|'''w''' {{=}} (0, 1)}} is consistently the π-image of a ''k''<sub>'''w'''</sub>-step interval, {{nowrap|0 < ''k''<sub>'''w'''</sub> < ''mn''.}} | ||
* every element of {{nowrap|ℤ/''mn''ℤ}} is used exactly once in the labeling. | |||
After rotating ''w'', we may assume that (0, 0) is labeled 0. This corresponds to a surjective homomorphism <math>\mathbb{Z}^2 \to \mathbb{Z}/mn\mathbb{Z}.</math> | |||
=== Step 2: By ternarity, exactly one of the step vectors is parallel to a coordinate axis === | === Step 2: By ternarity, exactly one of the step vectors is parallel to a coordinate axis === | ||