Generator-offset property: Difference between revisions
→Proposition 1: Added part 4, reasonably confident the proof is basically correct Tags: Mobile edit Mobile web edit |
No edit summary Tags: Mobile edit Mobile web edit |
||
| Line 30: | Line 30: | ||
# ''S'' is of the form ''ax by bz'' for some permutation (''x'', ''y'', ''z'') of (L, M, s). | # ''S'' is of the form ''ax by bz'' for some permutation (''x'', ''y'', ''z'') of (L, M, s). | ||
# The cardinality (size) of ''S'' is either odd, or 4 (and ''S'' is of the form ''xyxz''). | # The cardinality (size) of ''S'' is either odd, or 4 (and ''S'' is of the form ''xyxz''). | ||
# If |S| is odd, then | # If |S| is odd, then S = aX bY bZ is obtained from the mos aX 2bW by replacing all the W's successively with alternating Y's and Z's (or alternating Z's and Y's for the other chirality). | ||
[Note: This is not true with SGA replaced with GO; [[blackdye]] is a counterexample that is MV4.] | [Note: This is not true with SGA replaced with GO; [[blackdye]] is a counterexample that is MV4.] | ||