Prime-base logarithm of exponent
From Groupprops
Definition
For a group of prime power order, or more generally a p-group, with underlying prime , if the exponent is a finite number
, the prime-base logarithm of exponent is the number
.