User:Inthar/MV3: Difference between revisions

Inthar (talk | contribs)
No edit summary
Tags: Mobile edit Mobile web edit
Inthar (talk | contribs)
Tags: Mobile edit Mobile web edit
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.


A gen chain g1...g1g1' detempers to G1i(1)G1i(2)...G1i(m-1)G13, where i(t) is in {1,2}. This word must be MV3, since otherwise the original scale wouldn't.
A gen chain g1...g1g1' detempers to G1i(1)G1i(2)...G1i(n-1)G13, where i(t) is in {1,2} and n = len(S). This word must be MV3, since otherwise the original scale wouldn't.


Similarly, g2...g2g2' detempers to G2j(1)...G2j(m-1)G23, and g3...g3g3' detempers to G3k(1)...G3k(m-1)G33.
Similarly, g2...g2g2' detempers to G2j(1)...G2j(n-1)G23, and g3...g3g3' detempers to G3k(1)...G3k(n-1)G33.


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