Generator-offset property: Difference between revisions
| Line 138: | Line 138: | ||
# It is ''not'' SV3 | # It is ''not'' SV3 | ||
# It is ''not'' chiral | # It is ''not'' chiral | ||
# It is a primitive mos word of two of the letters interleaved with the third letter, for example: XYXZXYXZXY. | # It is a primitive mos word of two of the letters interleaved with the third letter, for example: XYXZXYXZXY, made by interleaving X's in the mos word YZYZY. | ||
==== Proof ==== | ==== Proof ==== | ||
(1) and (2) were proved in the proof of Proposition 1 (the part that we appeal to, from "all multiples of the generator g must be even-steps ..." to "These are all distinct by Z-linear independence", does not rely on ''S'' having the SGA property). (3) and (4) are easy to check using (1). | (1) and (2) were proved in the proof of Proposition 1 (the part that we appeal to, from "all multiples of the generator g must be even-steps ..." to "These are all distinct by Z-linear independence", does not rely on ''S'' having the SGA property). (3) and (4) are easy to check using (1). | ||