Rank-3 scale theorems: Difference between revisions
Tags: Mobile edit Mobile web edit |
→MV3 Theorem 1 (WIP): another exception to PMOS |
||
| Line 58: | Line 58: | ||
''The following are equivalent for a non-multiperiod scale word S with steps x, y, z:'' | ''The following are equivalent for a non-multiperiod scale word S with steps x, y, z:'' | ||
# ''S is MV3.'' | # ''S is MV3.'' | ||
# ''S is PMOS, or S is of the form x'y'z'y'x' or its repetitions.'' | # ''(a) S is PMOS, or (b) S is of the form x'y'z'y'x' or its repetitions, or (c) S has signature nx ny nz, n ≥ 2.'' | ||
# ''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.'' | ||
====== MV3 implies LQ except in the case "xyzyx" (WIP) ====== | ====== MV3 implies LQ except in the case "xyzyx" (WIP) ====== | ||