Math Group Structure of $(\mathbb{Z}/2^n \mathbb{Z})^\ast$ Why CKKS rotations use automorphisms $x \mapsto x^{-1}$ and $x \mapsto x^{5^k}$
