Ternary parallelogram scales are MOS substitution: Difference between revisions
| Line 51: | Line 51: | ||
==== Lemma 2: If ''a'' has order > ''n'' in {{nowrap|ℤ/''mn''ℤ}}, then {{nowrap|{''a'', 2''a'', ..., (''n'' - 1)''a''}}} and {{nowrap|[-''m'' + 1 : ''m'']}} are not disjoint ==== | ==== Lemma 2: If ''a'' has order > ''n'' in {{nowrap|ℤ/''mn''ℤ}}, then {{nowrap|{''a'', 2''a'', ..., (''n'' - 1)''a''}}} and {{nowrap|[-''m'' + 1 : ''m'']}} are not disjoint ==== | ||
This is a technical lemma about ℤ/ | This is a technical lemma about ℤ/''mn''ℤ dynamics. | ||
==== The two non-axial step vectors differ by (0, ''n'') if the axial step is parallel to '''v''' and by (''m'', 0) otherwise ==== | ==== The two non-axial step vectors differ by (0, ''n'') if the axial step is parallel to '''v''' and by (''m'', 0) otherwise ==== | ||