Panferov Lie group for 5

Definition
This group is defined as the Panferov Lie group for the prime number 5. Explicitly, it is the Panferov Lie group where the ring is field:F5 and $$n = 5$$.