Dado un número natural n, decimos que a es una raíz primitiva módulo n, si a genera como grupo a Z n ∗ {\displaystyle \mathbb {Z} _{n}^{*}}, es decir, si ∀ b ∈ Z n ∗ {\displaystyle \forall b\in \mathbb {Z} _{n}^{*}} existe k ∈ Z {\displaystyle k\in \mathbb {Z} } tal que a k ≡ b {\displaystyle a^{k}\equiv b{\pmod {n}}}. Wikipedia