Epimorphic scale: Difference between revisions

Line 1:

A JI scale ''S'' is '''epimorphic''' if on the [[JI subgroup]] <math>A \leq \mathbb{Q}_{>0}</math> generated by the intervals of ''S'', there exists a linear map ''v'': ''A'' → ℤ, called an '''epimorphism''', such that ''v''(''S''[''i'']) = ''i'' for all ''i'' ∈ ℤ.

An '''epimorphic ~~temperament~~''' ~~of an epimorphic~~ scale ''S'' on ~~a JI subgroup~~ ''A'' is a ~~temperament~~ [[support]]ed by ~~its epimorphism on ''A''~~. Some [[temperament]]s (including [[val]]s for small edos) can be used as epimorphic temperaments for small epimorphic scales despite their relatively low accuracy:

Epimorphism is strictly stronger than [[constant structure]] (CS). When one assumes ''S'' is CS but not that it is epimorphic, there is a unique set map <math>v : \{\text{intervals of $S$}\} \to \mathbb{Z}</math> that witnesses that ''S'' is CS and satisfies ''v''(''S''[''i'']) = ''i'' for all ''i''. Thus a CS scale ''S'' is epimorphic if and only if this mapping ''v'' extends to a linear map on the entirety of ''A''.

This definition extends naturally to asking whether a higher-dimensional mapping <math>S:\mathbb{Z}^n \to P</math> for an arbitrary codomain <math>P</math> of relative pitches is epimorphic, in the same sense of there existing an abelian group <math>A</math> and a linear map <math>v : A \to \mathbb{Z}^n</math> such that <math>v(S(x)) = x.</math> This can be of practical interest: one might ask whether an isomorphic keyboard mapping <math>S : \mathbb{Z}^2 \to P</math> (for a theoretical infinite 2D isomorphic keyboard) is epimorphic.

Temperament [[support]]ed by epimorphisms for epimorphic scales have occasionally been considered. Some [[temperament]]s (including [[val]]s for small edos) can be used as epimorphic temperaments for small epimorphic scales despite their relatively low accuracy:

* The 2.3.5 temperament [[dicot]] supports [[nicetone]] (3L2M2s), [[blackdye]] (5L2M3s) and superzarlino (a 17-note epimorphic scale) scale structures.

* The 2.3.7 temperament [[semaphore]] supports [[archylino]] (2L3M2s), [[diasem]] (5L2M2s), and other scales in the [[Generator sequence|Tas series]].

Epimorphism is strictly stronger than [[constant structure]] (CS). When one assumes ''S'' is CS but not that it is epimorphic, there is a unique set map <math>v : \{\text{intervals of $S$}\} \to \mathbb{Z}</math> that witnesses that ''S'' is CS and satisfies ''v''(''S''[''i'']) = ''i'' for all ''i''. Thus a CS scale ''S'' is epimorphic if and only if this mapping ''v'' extends to a linear map on the entirety of ''A''.

== Example ==

Consider the Ptolemaic diatonic scale, {9/8, 5/4, 4/3, 3/2, 5/3, 15/8, 2/1}, which is nicetone with L = 9/8, M = 10/9, and s = 16/15. This scale is epimorphic because we can apply ⟨7 11 16], the [[7edo]] [[patent val]], to map the intervals into the number of scale steps:

@@ Line 1: / Line 1: @@
 A JI scale ''S'' is '''epimorphic''' if on the [[JI subgroup]] <math>A \leq \mathbb{Q}_{>0}</math> generated by the intervals of ''S'', there exists a linear map ''v'': ''A'' → ℤ, called an '''epimorphism''', such that ''v''(''S''[''i'']) = ''i'' for all ''i'' ∈ ℤ.
-An '''epimorphic temperament''' of an epimorphic scale ''S'' on a JI subgroup ''A'' is a temperament [[support]]ed by its epimorphism on ''A''. Some [[temperament]]s (including [[val]]s for small edos) can be used as epimorphic temperaments for small epimorphic scales despite their relatively low accuracy:
+Epimorphism is strictly stronger than [[constant structure]] (CS). When one assumes ''S'' is CS but not that it is epimorphic, there is a unique set map <math>v : \{\text{intervals of $S$}\} \to \mathbb{Z}</math> that witnesses that ''S'' is CS and satisfies ''v''(''S''[''i'']) = ''i'' for all ''i''. Thus a CS scale ''S'' is epimorphic if and only if this mapping ''v'' extends to a linear map on the entirety of ''A''.
+This definition extends naturally to asking whether a higher-dimensional mapping <math>S:\mathbb{Z}^n \to P</math> for an arbitrary codomain <math>P</math> of relative pitches is epimorphic, in the same sense of there existing an abelian group <math>A</math> and a linear map <math>v : A \to \mathbb{Z}^n</math> such that <math>v(S(x)) = x.</math> This can be of practical interest: one might ask whether an isomorphic keyboard mapping <math>S : \mathbb{Z}^2 \to P</math> (for a theoretical infinite 2D isomorphic keyboard) is epimorphic.
+Temperament [[support]]ed by epimorphisms for epimorphic scales have occasionally been considered. Some [[temperament]]s (including [[val]]s for small edos) can be used as epimorphic temperaments for small epimorphic scales despite their relatively low accuracy:
 * The 2.3.5 temperament [[dicot]] supports [[nicetone]] (3L2M2s), [[blackdye]] (5L2M3s) and superzarlino (a 17-note epimorphic scale) scale structures.
 * The 2.3.7 temperament [[semaphore]] supports [[archylino]] (2L3M2s), [[diasem]] (5L2M2s), and other scales in the [[Generator sequence|Tas series]].
-Epimorphism is strictly stronger than [[constant structure]] (CS). When one assumes ''S'' is CS but not that it is epimorphic, there is a unique set map <math>v : \{\text{intervals of $S$}\} \to \mathbb{Z}</math> that witnesses that ''S'' is CS and satisfies ''v''(''S''[''i'']) = ''i'' for all ''i''. Thus a CS scale ''S'' is epimorphic if and only if this mapping ''v'' extends to a linear map on the entirety of ''A''.
 == Example ==
 Consider the Ptolemaic diatonic scale, {9/8, 5/4, 4/3, 3/2, 5/3, 15/8, 2/1}, which is nicetone with L = 9/8, M = 10/9, and s = 16/15. This scale is epimorphic because we can apply ⟨7 11 16], the [[7edo]] [[patent val]], to map the intervals into the number of scale steps: