User:Inthar/MV3: Difference between revisions
Tags: Mobile edit Mobile web edit |
|||
| Line 76: | Line 76: | ||
=== Proof of the alternating-gens (AG) 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 | We now prove that except in the case xyxzxyx, if the scale is pairwise well-formed, the scale is generated by two chains of generators, either both of size ''m'' or one with size ''m'' and one of size ''m-1'' (AG). | ||
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) | ||