Ternary parallelogram scales are MOS substitution: Difference between revisions
No edit summary |
|||
| Line 18: | Line 18: | ||
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 2: Ternarity implies that one of the step vectors is parallel to an axis === | |||
=== Step 3: When the two non-axial steps are identified, the result is a MOS === | |||
=== Step 4: When the axial step is deleted, the result is a MOS === | |||
[[Category:Pages with proofs]] | [[Category:Pages with proofs]] | ||