What is hallucinogenic and exists for every group with order divisible by p^k? A psilocybin p-subgroup