User:Inthar/MV3: Difference between revisions

Inthar (talk | contribs)
No edit summary
Tags: Mobile edit Mobile web edit
Inthar (talk | contribs)
No edit summary
Tags: Mobile edit Mobile web edit
Line 83: Line 83:


PWF -> Consider mos temperings
PWF -> Consider mos temperings
* in x, ξ (ξ = y or z), with gen g1
* in x, ξ (ξ = y or z), with gen g1 -> g1g1...g1g1' (g1' = imperfect gen)
* in y, η (η = x or z), with gen g2
* in y, η (η = x or z), with gen g2
* in z, ζ (ζ = x or y), with gen g3.
* in z, ζ (ζ = x or y), with gen g3.
Line 89: Line 89:
Denote their detemperings as G11, G12, G13, G21, G22, G23, G31, G32, G33.
Denote their detemperings as G11, G12, G13, G21, G22, G23, G31, G32, G33.


Suppose no gen chain g_i detempers to a chain of alternating generators.
A gen chain g1...g1g1' detempers to G1i(1)G1i(2)...G1i(m-1)G13, where i(k) is in {1,2}. This word must be MV3, since otherwise the original scale wouldn't.


=== Proof of "ax by bz" (except in case xyxzxyx) ===
=== Proof of "ax by bz" (except in case xyxzxyx) ===