Ternary scale theorems: Difference between revisions
| Line 119: | Line 119: | ||
# ''s'' is ''not'' SV3. | # ''s'' is ''not'' SV3. | ||
# ''s'' is ''not'' chiral. | # ''s'' is ''not'' chiral. | ||
# If ''M'' = ''M''(y, z) is the primitive MOS above, then ''s'' = ''M''(XY, XZ) for some assignment of variable names X, Y, and Z to the three letters of ''s''. | # If ''M'' = ''M''(''y'', ''z'') is the primitive MOS necklace above, then ''s'' = ''M''(XY, XZ) for some assignment of variable names X, Y, and Z to the three letters of ''s''. | ||
=== 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). | ||