Ternary parallelogram scales are MOS substitution: Difference between revisions
No edit summary |
|||
| Line 19: | Line 19: | ||
== Proof == | == Proof == | ||
=== Step 1: Get a homomorphism <math>\mathbb{Z}^2 \to \mathbb{Z}/mn\mathbb{Z}</math> === | === Step 1: Get a homomorphism <math>\mathbb{Z}^2 \to \mathbb{Z}/mn\mathbb{Z}</math> === | ||
=== Step 2: Ternarity implies that one of the step vectors is parallel to an axis === | === Step 2: Ternarity implies that exactly one of the step vectors is parallel to an axis === | ||
=== Step 3: The axial step is a MOS substitution slot letter === | === Step 3: The axial step is a MOS substitution slot letter === | ||
==== When the two non-axial steps are identified, the result is a MOS ==== | ==== When the two non-axial steps are identified, the result is a MOS ==== | ||