0P8G
Lemma 7.1.10 . Let Y Y 1 1 X X y ∈ Y y\in Y I = { e 2 i π d / n y , X } 0 ≤ d < n y , Y I=\{e^{2i\pi d/n_{y,X}}\}_{0\leq d<n_{y,Y}} U U y y X X St ( n y , X ) → ∼ U , 0 ↦ y \operatorname{St}\nolimits(n_{y,X})\mathrel{\mathop{\kern 0.0pt\to}\limits^{\sim}}U,\ 0\mapsto y St ( I ) \operatorname{St}\nolimits(I) St ( I ) → ∼ U ∩ Y \operatorname{St}\nolimits(I)\mathrel{\mathop{\kern 0.0pt\to}\limits^{\sim}}U\cap Y
St ( n y , X ) \textstyle{\operatorname{St}\nolimits(n_{y,X})\ignorespaces\ignorespaces\ignorespaces\ignorespaces} ∼ \scriptstyle{\sim} U \textstyle{U} St ( I ) \textstyle{\operatorname{St}\nolimits(I)\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces} ∼ \scriptstyle{\sim} U ∩ Y \textstyle{U\cap Y\ignorespaces\ignorespaces\ignorespaces\ignorespaces}