Lie rings related to the $p$-groups of maximal class

Abstract

The Lazard correspondence induces a close relation between the $p$-groups of maximal class and a certain type of Lie ring constructed from $p$-adic number fields. Our aim here is to investigate such Lie rings. In particular, we show that they are always finite. It then follows that they are nilpotent of small class. These results close an important gap in (Eick, Komma \& Saha 2025).