Ternary parallelogram scales are MOS substitution: Difference between revisions

From Xenharmonic Wiki
Jump to navigation Jump to search
Inthar (talk | contribs)
No edit summary
Inthar (talk | contribs)
No edit summary
Line 1: Line 1:
This article proves the following theorem:
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 an axis.''
''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 an axis.''
== Definitions ==
== Definitions ==
=== Pitch-class group ===
=== Pitch-class group ===

Revision as of 03:11, 15 March 2026

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 an axis.

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