Detempering: Difference between revisions
m Typo |
|||
| Line 51: | Line 51: | ||
Define the linear map <math>v:A \to \mathbb{Z}</math> by defining <math>v(\mathbf{s}) = 1</math> for any step <math>\mathbf{s} \in C_1</math> and extending uniquely by linearity. Then for any <math>i \in \mathbb{Z}</math> we have <math>v(S[i]) = v(S[i]/S[i-1]\cdots S[1]) = v(S[i]/S[i-1]) + \cdots + v(S[1]) = i,</math> whence ''v'' is a strong CS. That <math>v(2) = n</math> is also automatic. | Define the linear map <math>v:A \to \mathbb{Z}</math> by defining <math>v(\mathbf{s}) = 1</math> for any step <math>\mathbf{s} \in C_1</math> and extending uniquely by linearity. Then for any <math>i \in \mathbb{Z}</math> we have <math>v(S[i]) = v(S[i]/S[i-1]\cdots S[1]) = v(S[i]/S[i-1]) + \cdots + v(S[1]) = i,</math> whence ''v'' is a strong CS. That <math>v(2) = n</math> is also automatic. | ||
}} | }} | ||
=== Terminology === | |||
As this is a common concept, one-to-one detempering has also been called by a number of other names in xen theory, including ''[[transversal]]'' and ''epimorphic scale''. | |||
[[Category:Scale]] | [[Category:Scale]] | ||