Panferov Lie group for 7

Definition
This group is defined as the Panferov Lie group for the prime number 7. Explicitly, it is the Lazard Lie group corresponding to the Panferov Lie algebra for the prime 7. The definition of the Panferov Lie algebra for a prime number is below: