User:Inthar/Epimorphic temperament: Difference between revisions
| Line 2: | Line 2: | ||
* The 2.3.5 temperament [[dicot]] supports [[nicetone]] (3L2M2s), [[blackdye]] (5L2M3s) and superzarlino (a 17-form) scale structures. | * The 2.3.5 temperament [[dicot]] supports [[nicetone]] (3L2M2s), [[blackdye]] (5L2M3s) and superzarlino (a 17-form) scale structures. | ||
* The 2.3.7 temperament [[semaphore]] supports [[archylino]] (2L3M2s), [[diasem]] (5L2M2s), and other scales in the [[Tas series]]. | * The 2.3.7 temperament [[semaphore]] supports [[archylino]] (2L3M2s), [[diasem]] (5L2M2s), and other scales in the [[Tas series]]. | ||
== | == Facts == | ||
=== If the steps of a CS scale are linearly independent, then the scale is epimorphic === | |||
Theorem: Suppose ''S'' is a 2/1-equivalent increasing constant structure JI scale of length ''n''. Let <math>C_1</math> be the set of 1-steps of ''S'', and suppose that <math>C_1</math> is a ''basis'' for the JI group ''A'' generated by it. Then there exists an epimorphic val <math> v: A \to \mathbb{Z}</math> which is a val of ''n''-edo (and a similar statement holds for other equaves). | Theorem: Suppose ''S'' is a 2/1-equivalent increasing constant structure JI scale of length ''n''. Let <math>C_1</math> be the set of 1-steps of ''S'', and suppose that <math>C_1</math> is a ''basis'' for the JI group ''A'' generated by it. Then there exists an epimorphic val <math> v: A \to \mathbb{Z}</math> which is a val of ''n''-edo (and a similar statement holds for other equaves). | ||