Page 1

Displaying 1 – 4 of 4

Showing per page

Basic Properties of Primitive Root and Order Function

Na Ma, Xiquan Liang (2012)

Formalized Mathematics

In this paper we defined the reduced residue system and proved its fundamental properties. Then we proved the basic properties of the order function. Finally, we defined the primitive root and proved its fundamental properties. Our work is based on [12], [8], and [11].

Currently displaying 1 – 4 of 4

Page 1