Ternary parallelogram scales are MOS substitution: Difference between revisions
| Line 7: | Line 7: | ||
The ''pitch-class group'' of a scale word ''w'' in letters {{nowrap|'''x'''<sub>1</sub>, ..., '''x'''<sub>''r''</sub>}} with [[step signature]] {{nowrap|'''e''' ∈ ℤ<sup>''r''</sup>{{angbr|'''x'''<sub>1</sub>, ..., '''x'''<sub>''r''</sub>}}}} is the abelian group {{nowrap|C(''w'') :{{=}} ℤ<sup>''r''</sup>{{angbr|'''x'''<sub>1</sub>, ..., '''x'''<sub>''r''</sub>}}/{{angbr|'''e'''}}.}} The pitch-class group is associated with a canonical map π that sends every step vector to its pitch class. | The ''pitch-class group'' of a scale word ''w'' in letters {{nowrap|'''x'''<sub>1</sub>, ..., '''x'''<sub>''r''</sub>}} with [[step signature]] {{nowrap|'''e''' ∈ ℤ<sup>''r''</sup>{{angbr|'''x'''<sub>1</sub>, ..., '''x'''<sub>''r''</sub>}}}} is the abelian group {{nowrap|C(''w'') :{{=}} ℤ<sup>''r''</sup>{{angbr|'''x'''<sub>1</sub>, ..., '''x'''<sub>''r''</sub>}}/{{angbr|'''e'''}}.}} The pitch-class group is associated with a canonical map π that sends every step vector to its pitch class. | ||
Below we take it as known that if the gcd of the coordinates ''v''<sub>''i''</sub> of '''v''' ∈ ℤ<sup>''r''</sup> is 1, then the quotient group ℤ<sup>''r''</sup>/{{angbr|'''v'''}} is torsion-free; this | Below we take it as known that if the gcd of the coordinates ''v''<sub>''i''</sub> of '''v''' ∈ ℤ<sup>''r''</sup> is 1, then the quotient group ℤ<sup>''r''</sup>/{{angbr|'''v'''}} is torsion-free; this can be proven using Bézout's identity. | ||
=== Parallelogram scale === | === Parallelogram scale === | ||