Generator-offset property: Difference between revisions
| Line 97: | Line 97: | ||
By modular arithmetic we have ''rk'' mod ''n'' = ''k''/2 iff ''r'' = ceil(''n''/2) mod ''n''. (Since gcd(2, ''n'') = 1, 2 is multiplicatively invertible mod ''n'', and we can multiply both sides by 2 to check this.) This proves that the offset, which must be reached after ceil(''n''/2) generator steps, is a ''k''/2-step, as desired. (If the offset wasn't reached in ceil(''n''/2) steps, the two generator chains either wouldn't be disjoint or wouldn't have the assumed lengths.) <math>\square</math> | By modular arithmetic we have ''rk'' mod ''n'' = ''k''/2 iff ''r'' = ceil(''n''/2) mod ''n''. (Since gcd(2, ''n'') = 1, 2 is multiplicatively invertible mod ''n'', and we can multiply both sides by 2 to check this.) This proves that the offset, which must be reached after ceil(''n''/2) generator steps, is a ''k''/2-step, as desired. (If the offset wasn't reached in ceil(''n''/2) steps, the two generator chains either wouldn't be disjoint or wouldn't have the assumed lengths.) <math>\square</math> | ||
=== Proposition 3 (Properties of even GO scales) === | |||
GO scales of even size have the following properties: | |||
# They are two parallel chains of mosses with offset a k-step with gcd(k, n) = 1 | |||
# They are not chiral | |||
== Open conjectures == | == Open conjectures == | ||