A little update after thinking about it more, since its dependant on the character table for the cyclic subgroup with k (O(k)) (this is kinda the whole idea - t

A little update after thinking about it more, since its dependant on the character table for the cyclic subgroup with k (O(k)) (this is kinda the whole idea - to do so with Frobenius Reciprocity); o(p(n)^3) is kinda inaccurate, as it ends up being that character group operation plus around O(k*p(n)) plus potentially another p(n).