Torsion points of generalized Honda formal groups (Q2227790)

Let \(p\) be an odd prime, let \(k_1\) be a finite extension of the \(p\)-adic field \(\mathbb{Q}_p\), and let \(k/k_1\) be a finite extension. Let \(\mathcal{O}\) be the ring of integers of \(k\), let \(\mathcal{O}_1\) be the ring of integers of \(k_1\), and let \(\pi\) be a uniformizer for \(k_1\). In [\textit{O. V. Demchenko}, St. Petersbg. Math. J. 14, No. 3, 55--85 (2003; Zbl 1040.11085); translation from Algebra Anal. 14, No. 3, 55--85 (2002)] a construction was given for ``generalized Honda formal groups'' over \(\mathcal{O}\). Let \(F(X,Y)\) be a generalized Honda formal group associated to the extension \(k/k_1\). Then \(F\) is a formal \(\mathcal{O}_1\)-module, i.e., for each \(a\in\mathcal{O}_1\) there is a unique endomorphism \([a]_F(X)\) of \(F\) such that \([a]_F(X)=aX+\cdots\). A Lubin-Tate formal group over \(\mathcal{O}_1\) is a formal \(\mathcal{O}_1\)-module which is defined in terms of a distinguished endomorphism \([\pi]_F(X)\). Given a Honda formal group \(F\), there exists a formal group \(F_1\) and a distinguished homomorphism from \(F\) to \(F_1\) which factors through \([\pi]_F(X)\) (see [\textit{O. V. Demchenko}, St. Petersbg. Math. J. 10, No. 5, 1 (1998; Zbl 0946.14023); translation from Algebra Anal. 10, No. 5, 77--84 (1998)]). Let \(F(X,Y)\) be a generalized Honda formal group. In this paper it is shown that there is a sequence \(F\rightarrow F_1\rightarrow\cdots\rightarrow F_r\) of distinguished homomorphisms whose composition factors through \([\pi]_F(X)\). Thus the \([\pi]_F\)-torsion points of \(F(X,Y)\) are contained in the kernel of this composition of homomorphisms. This fact allows the authors to use these distinguished homomorphisms to get information about the \([\pi^n]_F\)-torsion subgroups of generalized Honda formal groups.