Basic Properties of Primitive Root and Order Function

Pole DC	Wartość	Język
dc.contributor.author	Ma, Na	-
dc.contributor.author	Liang, Xiquan	-
dc.date.accessioned	2015-12-06T19:06:08Z	-
dc.date.available	2015-12-06T19:06:08Z	-
dc.date.issued	2012	-
dc.identifier.citation	Formalized Mathematics, Volume 20, Issue 4, 2012, Pages 265-269	-
dc.identifier.issn	1426-2630	-
dc.identifier.issn	1898-9934	-
dc.identifier.uri	http://hdl.handle.net/11320/3651	-
dc.description	Authors thank Andrzej Trybulec and Yatsuka Nakamura for the help during writing this article	-
dc.description.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].	-
dc.language.iso	en	-
dc.publisher	De Gruyter Open	-
dc.title	Basic Properties of Primitive Root and Order Function	-
dc.type	Article	-
dc.identifier.doi	10.2478/v10037-012-0031-z	-
dc.description.Affiliation	Ma Na - Qingdao University of Science and Technology, China	-
dc.description.Affiliation	Liang Xiquan - Qingdao University of Science and Technology, China	-
dc.description.references	Grzegorz Bancerek. Cardinal numbers. Formalized Mathematics, 1(2):377-382, 1990.	-
dc.description.references	Grzegorz Bancerek. The fundamental properties of natural numbers. Formalized Mathematics, 1(1):41-46, 1990.	-
dc.description.references	Grzegorz Bancerek. The ordinal numbers. Formalized Mathematics, 1(1):91-96, 1990.	-
dc.description.references	Grzegorz Bancerek and Krzysztof Hryniewiecki. Segments of natural numbers and finite sequences. Formalized Mathematics, 1(1):107-114, 1990.	-
dc.description.references	Czesław Bylinski. Functions and their basic properties. Formalized Mathematics, 1(1):55-65, 1990.	-
dc.description.references	Czesław Bylinski. Some basic properties of sets. Formalized Mathematics, 1(1):47-53, 1990.	-
dc.description.references	Agata Darmochwał. Finite sets. Formalized Mathematics, 1(1):165-167, 1990.	-
dc.description.references	Zhang Dexin. Integer Theory. Science Publication, China, 1965.	-
dc.description.references	Yoshinori Fujisawa and Yasushi Fuwa. The Euler’s function. Formalized Mathematics, 6(4):549-551, 1997.	-
dc.description.references	Yoshinori Fujisawa, Yasushi Fuwa, and Hidetaka Shimizu. Public-key cryptography and Pepin’s test for the primality of Fermat numbers. Formalized Mathematics, 7(2):317-321, 1998.	-
dc.description.references	G.H. Hardy and E.M. Wright. An Introduction to the Theory of Numbers. Posts and Telecom Press, China, 2007.	-
dc.description.references	Hua Loo Keng. Introduction to Number Theory. Beijing Science Publication, China, 1957.	-
dc.description.references	Andrzej Kondracki. Basic properties of rational numbers. Formalized Mathematics, 1(5):841-845, 1990.	-
dc.description.references	Artur Korniłowicz. Collective operations on number-membered sets. Formalized Mathematics, 17(2):99-115, 2009, doi: 10.2478/v10037-009-0011-0.	-
dc.description.references	Rafał Kwiatek. Factorial and Newton coefficients. Formalized Mathematics, 1(5):887-890, 1990.	-
dc.description.references	Rafał Kwiatek and Grzegorz Zwara. The divisibility of integers and integer relative primes. Formalized Mathematics, 1(5):829-832, 1990.	-
dc.description.references	Xiquan Liang, Li Yan, and Junjie Zhao. Linear congruence relation and complete residue systems. Formalized Mathematics, 15(4):181-187, 2007, doi:10.2478/v10037-007-0022-7.	-
dc.description.references	Konrad Raczkowski and Paweł Sadowski. Equivalence relations and classes of abstraction. Formalized Mathematics, 1(3):441-444, 1990.	-
dc.description.references	Andrzej Trybulec. On the sets inhabited by numbers. Formalized Mathematics, 11(4):341-347, 2003.	-
dc.description.references	Michał J. Trybulec. Integers. Formalized Mathematics, 1(3):501-505, 1990.	-
dc.description.references	Zinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67-71, 1990.	-
dc.description.references	Edmund Woronowicz. Relations and their basic properties. Formalized Mathematics, 1(1):73-83, 1990.	-
dc.description.references	Edmund Woronowicz. Relations defined on sets. Formalized Mathematics, 1(1):181-186, 1990.	-
Występuje w kolekcji(ach):	Formalized Mathematics, 2012, Volume 20, Issue 4

Pliki w tej pozycji:

Plik	Opis	Rozmiar	Format
v10037-012-0031-z.pdf		264,88 kB	Adobe PDF	Otwórz

Pokaż uproszczony widok rekordu Zobacz statystyki

Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL