User:Inthar/MV3: Difference between revisions
| Line 75: | Line 75: | ||
''To be continued...'' | ''To be continued...'' | ||
=== Proof of the alternating-gens property (except in the case xyxzxyx) === | === Proof of the alternating-gens (AG) property (except in the case xyxzxyx) === | ||
We now prove that except in the case xyxzxyx, if the scale is pairwise well-formed, the scale is generated by alternating generators. | We now prove that except in the case xyxzxyx, if the scale is pairwise well-formed, the scale is generated by alternating generators. | ||
To eliminate xyxzxyx we manually check all words up to length 7... (todo) | To eliminate xyxzxyx we manually check all words up to length 7... (todo) | ||
Now assume len(S) >= 8. | Now assume len(S) >= 8. | ||
=== Proof of "ax by bz" (except in case xyxzxyx) === | === Proof of "ax by bz" (except in case xyxzxyx) === | ||