Generator-offset property: Difference between revisions
| Line 137: | Line 137: | ||
# It is ''not'' SV3 | # It is ''not'' SV3 | ||
# It is ''not'' chiral | # It is ''not'' chiral | ||
# It is a mos word of two of the letters interleaved with the third letter, for example: XYXZXYXZXY. | |||
==== 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) | (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). | ||
=== Theorem 4 (Classification of pairwise well-formed scales) === | === Theorem 4 (Classification of pairwise well-formed scales) === | ||