Ternary parallelogram scales are MOS substitution: Difference between revisions
No edit summary |
No edit summary |
||
| Line 20: | Line 20: | ||
=== Step 1: Get a homomorphism <math>\mathbb{Z}^2 \to \mathbb{Z}/mn\mathbb{Z}</math> === | === Step 1: Get a homomorphism <math>\mathbb{Z}^2 \to \mathbb{Z}/mn\mathbb{Z}</math> === | ||
=== Step 2: Ternarity implies that one of the step vectors is parallel to an axis === | === Step 2: Ternarity implies that one of the step vectors is parallel to an axis === | ||
=== Step 3: When the two non-axial steps are identified, the result is a MOS === | === Step 3: The axial step is a MOS substitution slot letter === | ||
=== | ==== When the two non-axial steps are identified, the result is a MOS ==== | ||
==== When the axial step is deleted, the result is a MOS ==== | |||
[[Category:Pages with proofs]] | [[Category:Pages with proofs]] | ||
Revision as of 00:33, 15 March 2026
This article proves the following theorem:
Ternary parallelogram scale words are MOS substitution scale words.
Definitions
Pitch-class group
The pitch-class group of a scale word w in letters x1, ..., xr with step signature s ∈ ℤr⟨x1, ..., xr⟩ is the abelian group C(w) := ℤr⟨x1, ..., xr⟩/⟨s⟩. The pitch-class group is associated with a canonical map π that sends every step vector to its pitch class.
Parallelogram scale
A scale word w is a parallelogram scale word if C(w) is torsion-free and there exists integers m, n > 1 and linearly independent elements v and w in C(w) such that the π-image of
[math]\displaystyle{ \mathcal{I}_w := \{\mathrm{ab}(\epsilon), \mathrm{ab}(w[0:1]), ..., \mathrm{ab}(w[0:|w|-1])\} }[/math]
is of the form
[math]\displaystyle{ \{i\mathbf{v} + j\mathbf{w} : i \in [0:m], j \in [0:n]\}. }[/math]
MOS substitution scale
See MOS substitution.