Definition
\(a\) is called a primitive root if the order of \(a\) modulo \(m\) is equal to \(\varphi(m)\)

References

  • Number Theory by George E. Andrews