Panferov Lie group

For a ring and a natural number less than or equal to its powering threshold
Suppose $$R$$ is a commutative unital ring and $$n$$ is a natural number greater than or equal to 2 such that the additive group of $$R$$ is powered over the set of all natural numbers strictly less than $$n$$, or equivalently, $$n$$ is at most one more than the powering threshold of the additive group of $$R$$.

The Panferov Lie group for $$R$$ and $$n$$ is defined as the Lazard Lie group (via the Lazard correspondence) for the Panferov Lie algebra (defined below) with parameters $$R$$ and $$n$$.

For a prime number: the extreme case
Let $$p$$ be a prime number. The Panferov Lie group for $$p$$ is the Panferov Lie group corresponding to $$R = \mathbb{F}_p$$ (the prime field) and $$n = p$$.