<abstract xmlns="http://www.w3.org/1999/xhtml"><p>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].</p></abstract>

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].

Basic Properties of Primitive Root and Order Function

Qingdao University of Science and Technology, China

Formalized Mathematics

{"article-title":"Basic Properties of Primitive Root and Order Function"}

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,...

Basic Properties of Primitive Root and Order Function

Publié en ligne: 02 févr. 2013

Pages: 265 - 269

DOI: https://doi.org/10.2478/v10037-012-0031-z

This content is open access.