Ternary parallelogram scales are MOS substitution

Revision as of 03:11, 15 March 2026 by Inthar (talk | contribs)

This article proves the following theorem:

Ternary parallelogram scale words are MOS substitution scale words, where the period count (gcd of step signature) of the template MOS is the number of rows of the parallelogram parallel to the unique step parallel to a side of the parallelogram.

Definitions

Pitch-class group

The pitch-class group of a scale word w in letters x1, ..., xr with step signature e ∈ ℤrx1, ..., xr is the abelian group C(w) := ℤrx1, ..., xr/e. 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 (equiv. a free abelian group) 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.

Proof

Step 1: Get a homomorphism [math]\displaystyle{ \mathbb{Z}^2 \to \mathbb{Z}/mn\mathbb{Z} }[/math]

Step 2: Ternarity implies that exactly one of the step vectors is parallel to an axis

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