Ternary parallelogram scales are MOS substitution: Difference between revisions
| Line 19: | Line 19: | ||
See [[MOS substitution]]. | See [[MOS substitution]]. | ||
== Proof == | == Proof == | ||
=== Step 1: Get a homomorphism <math>\mathbb{Z}^2 \to \mathbb{Z}/mn\mathbb{Z}</math> === | === Step 1: Get a surjective homomorphism <math>\mathbb{Z}^2 \to \mathbb{Z}/mn\mathbb{Z}</math> === | ||
=== Step 2: By ternarity, exactly one of the step vectors is parallel to a coordinate axis === | === Step 2: By ternarity, exactly one of the step vectors is parallel to a coordinate axis === | ||