Ternary parallelogram scales are MOS substitution: Difference between revisions
| (5 intermediate revisions by the same user not shown) | |||
| Line 6: | Line 6: | ||
=== Pitch-class group === | === Pitch-class group === | ||
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 the gcd of the coordinates ''v''<sub>''i''</sub> of '''v''' ∈ ℤ<sup>''r''</sup> is 1 iff the quotient group ℤ<sup>''r''</sup>/{{angbr|'''v'''}} is torsion-free; this can be proven using Bézout's identity. | |||
=== Parallelogram scale === | === Parallelogram scale === | ||