Rank-3 scale theorems: Difference between revisions

Inthar (talk | contribs)
Inthar (talk | contribs)
Line 61: Line 61:
# ''S is AG, or S is of the form x'y'z'y'x' or its repetitions, or x'y'x'z'x'y'x' or its repetitions.''
# ''S is AG, or S is of the form x'y'z'y'x' or its repetitions, or x'y'x'z'x'y'x' or its repetitions.''


====== Lemma 1: S is pairwise MOS (PMOS) except in the case "xyzyx" (WIP) ======
====== Lemma 1: An MV3 is pairwise MOS (PMOS) except in the case "xyzyx" (WIP) ======
TODO: account for case xyzyx.
TODO: account for case xyzyx.