Unlikely intersection in higher-dimensional formal groups

In this work, we identify a certain family of higher-dimensional formal groups over the ring of $p$-adic integers such that any two formal groups in that class coincide if they share infinitely many torsion points. As a useful application, we provide a sufficient condition for two abelian varieties to be isogenous just by looking at their $p$-power torsion points.