Extra methods for the prime power case + change of the implementation of the structure of the congruence subgroup#152