Definition:Primitive Root of Unity/Definition 1