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 88: Line 88:


=== Proof of "ax by bz" (except in case xyxzxyx) ===
=== Proof of "ax by bz" (except in case xyxzxyx) ===
Assume len(S) >= 8. Write S in x's and q's, as above. By PWF, we have that the word of x's and q's is a MOS.
'''Assuming the alternating generator property''', we have two chains of generator g0 (going right). The two cases are:
'''Assuming the alternating generator property''', we have two chains of generator g0 (going right). The two cases are:
  O-O-...-O (m notes)
  O-O-...-O (m notes)