The Chinese Remainder Theorem
|
|
- Silvester White
- 5 years ago
- Views:
Transcription
1 FORMALIZED MATHEMATICS Volume 6, Number 4, 1997 University of Białystok The Chinese Remainder Theorem Andrzej Kondracki AMS Management Systems Poland Warsaw Summary.ThearticleisatranslationofthefirstchaptersofabookWstęp do teorii liczb(eng. Introduction to Number Theory) by W. Sierpiński, WSiP, Biblioteczka Matematyczna, Warszawa, The first few pages of this book have already been formalized in MML. We prove the Chinese Remainder Theorem and Thue s Theorem as well as several useful number theory propositions. MML Identifier: WSIERP 1. The terminology and notation used in this paper are introduced in the following articles:[20],[16],[9],[14],[18],[1],[10],[13],[12],[15],[11],[17],[21],[6],[7], [2],[5],[3],[8],[4],and[19]. Forsimplicity,wefollowtherules: x, y, z, wdenoterealnumbers, a, b, c, d, e, f, gdenotenaturalnumbers, k, l, m, n, m 1, n 1 denoteintegers,and qdenotes a rational number. The following propositions are true: (1) If y 0,then ( x y )a = xa y a. (2) x 2 = x xand ( x) 2 = x 2. (3) ( x) 2 a = x 2 a and ( x) 2 a+1 = x 2 a+1. (4) If x 0,then x a Z = xa. (5) If x 0and y 0and d > 0and x d = y d,then x = y. (6) x >max(y, z)iff x > yand x > z. (7) If x 0and y z,then y x zand y z + x. (8) If x 0and y > zor x < 0and y z,then y > z + xand y x > z. Letusconsider a, b.thengcd(a,b)isanaturalnumber.letusobservethat the functor gcd(a, b) is commutative. Letusconsider m, n.then mgcdnisaninteger.letusobservethatthe functor m gcd n is commutative. 573 c 1997 University of Białystok ISSN
2 574 andrzej kondracki Letusconsider k, a.then k a isaninteger. Letusconsider a, b.then a b isanaturalnumber. We now state a number of propositions: (9) If k mand k n,then k m + n. (10) If k mand k n,then k m m 1 + n n 1. (11) If mgcdn = 1and kgcdn = 1,then m kgcdn = 1. (12) Ifgcd(a,b) = 1andgcd(c,b) = 1,thengcd(a c,b) = 1. (13) 0gcdm = m and 1gcdm = 1. (14) 1and karerelativeprime. (15) If kand larerelativeprime,then k a and larerelativeprime. (16) If kand larerelativeprime,then k a and l b arerelativeprime. (17) If kgcdl = 1,then kgcdl b = 1and k a gcdl b = 1. (18) m kiff m k. (19) If a b,then a c b c. (20) If a 1,then a = 1. (21) If d aandgcd(a,b) = 1,thengcd(d,b) = 1. (22) If k 0,then k liff l k isaninteger. (23) If a b c,then a band c b. Inthesequel f 1, f 2, f 3 arefinitesequences. Next we state two propositions: (24) If a Seglenf 2,then a Seglen(f 2 f 3 ). (25) If a Seglenf 3,thenlenf 2 + a Seglen(f 2 f 3 ). Let f 4 beafinitesequenceofelementsof Randletusconsider a.then f 4 (a) isarealnumber. Let f 5 beafinitesequenceofelementsof Zandletusconsider a.then f 5 (a) is an integer. Let f 6 beafinitesequenceofelementsof Nandletusconsider a.then f 6 (a) is a natural number. Let Dbeanonemptysetandlet D 1 beanonemptysubsetof D.Wesee thatthefinitesequenceofelementsof D 1 isafinitesequenceofelementsof D. Let Dbeanonemptyset,let D 1 beanonemptysubsetof D,andlet f 7, f 8 befinitesequencesofelementsof D 1.Then f 7 f 8 isafinitesequenceof elementsof D 1. Let Dbeanonemptysetandlet D 1 beanonemptysubsetof D.Then ε (D1 )isanemptyfinitesequenceofelementsof D 1. Zisanonemptysubsetof R. Forsimplicity,weadoptthefollowingconvention: D, D 1 arenonempty sets, v 1, v 2, v 3 aresets, f 6 isafinitesequenceofelementsof N, f 5, f 9 arefinite sequencesofelementsof Z,and f 4 isafinitesequenceofelementsof R.
3 the chinese remainder theorem 575 Letusconsider f 5.Then f 5 isaninteger.then f 5 isaninteger. Letusconsider f 6.Then f 6 isanaturalnumber.then f 6 isanatural number. Letusconsider a, f 1.Thefunctor f 1 ayieldingafinitesequenceisdefined as follows: (Def.1)(i) f 1 a = f 1 if a / domf 1, (ii) len(f 1 a) + 1 =len f 1 andforevery bholdsif b < a,then (f 1 a)(b) = f 1 (b)andif b a,then (f 1 a)(b) = f 1 (b + 1),otherwise. Letusconsider D,letusconsider a,andlet f 1 beafinitesequenceofelements of D.Then f 1 aisafinitesequenceofelementsof D. Letusconsider D,let D 1 beanonemptysubsetof D,letusconsider a,and let f 1 beafinitesequenceofelementsof D 1.Then f 1 aisafinitesequenceof elementsof D 1. One can prove the following propositions: (26) v 1 1 = εand v 1,v 2 1 = v 2 and v 1,v 2 2 = v 1 and v 1,v 2, v 3 1 = v 2,v 3 and v 1,v 2,v 3 2 = v 1,v 3 and v 1,v 2, v 3 3 = v 1,v 2. (27) If 1 aand a lenf 4,then (f 4 a) + f 4 (a) = f 4. (28) If a Seglen f 6 and f 6 (a) 0,then f6 f 6 (a) isanaturalnumber. (29) numqanddenqarerelativeprime. (30) If q 0and q = k aand a 0and kand aarerelativeprime,then k =numqand a =denq. (31) Ifthereexists qsuchthat a = q b,thenthereexists ksuchthat a = k b. (32) Ifthereexists qsuchthat a = q d,thenthereexists bsuchthat a = b d. (33) If e > 0and a e b e,then a b. (34) Thereexist m, nsuchthatgcd(a, b) = a m+b n. (35) Thereexist m 1, n 1 suchthat mgcdn = m m 1 + n n 1. (36) If m n kand mgcdn = 1,then m k. (37) Ifgcd(a,b) = 1and a b c,then a c. (38) If a 0and b 0,thenthereexist c, dsuchthatgcd(a,b) = a c b d. (39) If f > 0and g > 0andgcd(f,g) = 1and a f = b g,thenthereexists e suchthat a = e g and b = e f. Inthesequel x, y, z, tdenoteintegers. Next we state several propositions: (40) Thereexist x, ysuchthat m x+n y = kiff mgcdn k. (41) Suppose m 0and n 0and m m 1 + n n 1 = k.letgiven x, y.if n m x+n y = k,thenthereexists tsuchthat x = m 1 + t mgcd n and m y = n 1 t mgcd n. (42) Ifgcd(a, b) = 1and a b = c d,thenthereexist e, fsuchthat a = e d and b = f d.
4 576 andrzej kondracki (43) For every d such that for every a such that a Seglen f 6 holds gcd(f 6 (a),d) = 1holdsgcd( f 6,d) = 1. (44) Supposelenf 6 2andforall b, csuchthat b Seglenf 6 and c Seglenf 6 and b choldsgcd(f 6 (b),f 6 (c)) = 1.Letgiven f 5.Suppose lenf 5 =len f 6.Thenthereexists f 9 suchthatlenf 9 =len f 6 andforevery bsuchthat b Seglenf 6 holds f 6 (b) f 9 (b) + f 5 (b) = f 6 (1) f 9 (1) + f 5 (1). (45) If x < yand z wor x yand z > wor x < yand z > w,then x z < y w. (46) If a 0and agcdk = 1,thenthereexist b, esuchthat 0 band 0 e and b aand e aand a k b + eor a k b e. References [1] Grzegorz Bancerek. The fundamental properties of natural numbers. Formalized Mathematics, 1(1):41 46, [2] Grzegorz Bancerek and Krzysztof Hryniewiecki. Segments of natural numbers and finite sequences. Formalized Mathematics, 1(1): , [3] Grzegorz Bancerek and Piotr Rudnicki. Two programs for scm. Part I- preliminaries. Formalized Mathematics, 4(1):69 72, [4] JózefBiałasandYatsukaNakamura.DyadicnumbersandT 4topologicalspaces.Formalized Mathematics, 5(3): , [5] Czesław Byliński. Finite sequences and tuples of elements of a non-empty sets. Formalized Mathematics, 1(3): , [6] Czesław Byliński. Functions and their basic properties. Formalized Mathematics, 1(1):55 65, [7] Czesław Byliński. Functions from a set to a set. Formalized Mathematics, 1(1): , [8] Czesław Byliński. The sum and product of finite sequences of real numbers. Formalized Mathematics, 1(4): , [9] Krzysztof Hryniewiecki. Basic properties of real numbers. Formalized Mathematics, 1(1):35 40, [10] Andrzej Kondracki. Basic properties of rational numbers. Formalized Mathematics, 1(5): , [11] Jarosław Kotowicz. Real sequences and basic operations on them. Formalized Mathematics, 1(2): , [12] Rafał Kwiatek. Factorial and Newton coefficients. Formalized Mathematics, 1(5): , [13] Rafał Kwiatek and Grzegorz Zwara. The divisibility of integers and integer relative primes. Formalized Mathematics, 1(5): , [14] Jan Popiołek. Some properties of functions modul and signum. Formalized Mathematics, 1(2): , [15] Konrad Raczkowski. Integer and rational exponents. Formalized Mathematics, 2(1): , [16] Andrzej Trybulec. Tarski Grothendieck set theory. Formalized Mathematics, 1(1):9 11, [17] Andrzej Trybulec and Czesław Byliński. Some properties of real numbers. Formalized Mathematics, 1(3): , [18] Michał J. Trybulec. Integers. Formalized Mathematics, 1(3): , [19] Wojciech A. Trybulec. Pigeon hole principle. Formalized Mathematics, 1(3): , [20] Zinaida Trybulec and Halina Święczkowska. Boolean properties of sets. Formalized Mathematics, 1(1):17 23,
5 the chinese remainder theorem 577 [21] Edmund Woronowicz. Relations and their basic properties. Formalized Mathematics, 1(1):73 83, Received December 30, 1997
Asymptotic Notation. Part II: Examples andproblems 1
FORMALIZED MATHEMATICS Volume 9, Number 1, 2001 University of Białystok Asymptotic Notation. Part II: Examples andproblems 1 Richard Krueger University of Alberta Edmonton Piotr Rudnicki University of
More informationCommutator and Center of a Group
FORMALIZED MATHEMATICS Vol.2, No.4, September October 1991 Université Catholique de Louvain Commutator and Center of a Group Wojciech A. Trybulec Warsaw University Summary. We introduce the notions of
More informationThe Complex Numbers. Czesław Byliński Warsaw University Białystok
JOURNAL OF FORMALIZED MATHEMATICS Volume 2, Released 1990, Published 2003 Inst. of Computer Science, Univ. of Białystok The Complex Numbers Czesław Byliński Warsaw University Białystok Summary. We define
More informationCyclic Groups and Some of Their Properties - Part I
FORMALIZED MATHEMATICS Vol2,No5, November December 1991 Université Catholique de Louvain Cyclic Groups and Some of Their Properties - Part I Dariusz Surowik Warsaw University Bia lystok Summary Some properties
More informationDecomposing a Go-Board into Cells
FORMALIZED MATHEMATICS Volume 5, Number 3, 1996 Warsaw University - Bia lystok Decomposing a Go-Board into Cells Yatsuka Nakamura Shinshu University Nagano Andrzej Trybulec Warsaw University Bia lystok
More informationHiroyuki Okazaki Shinshu University Nagano, Japan
FORMALIZED MATHEMATICS Vol. 20, No. 4, Pages 275 280, 2012 DOI: 10.2478/v10037-012-0033-x versita.com/fm/ Free Z-module 1 Yuichi Futa Shinshu University Nagano, Japan Hiroyuki Okazaki Shinshu University
More informationConnectedness Conditions Using Polygonal Arcs
JOURNAL OF FORMALIZED MATHEMATICS Volume 4, Released 199, Published 003 Inst. of Computer Science, Univ. of Białystok Connectedness Conditions Using Polygonal Arcs Yatsuka Nakamura Shinshu University Nagano
More informationThe Concept of Fuzzy Set and Membership Function and Basic Properties of Fuzzy Set Operation
FORMALIZED MATHEMATICS Volume 9, Number 2, 2001 University of Białystok The Concept of Fuzzy Set and Membership Function and Basic Properties of Fuzzy Set Operation Takashi Mitsuishi Shinshu University
More informationAffine Independence in Vector Spaces
FORMALIZED MATHEMATICS Vol. 18, No. 1, Pages 87 93, 2010 Affine Independence in Vector Spaces Karol Pąk Institute of Informatics University of Białystok Poland Summary. In this article we describe the
More informationMultiplication of Polynomials using Discrete Fourier Transformation
FORMALIZED MATHEMATICS Volume 14, Number 4, Pages 121 128 University of Bia lystok, 2006 Multiplication of Polynomials using Discrete Fourier Transformation Krzysztof Treyderowski Department of Computer
More informationAssociated Matrix of Linear Map
FORMALIZED MATHEMATICS Volume 5, Number 3, 1996 Warsaw University - Bia lystok Associated Matrix of Linear Map Robert Milewski Warsaw University Bia lystok MML Identifier: MATRLIN. The notation and terminology
More informationThe Steinitz Theorem and the Dimension of a Vector Space
FORMALIZED MATHEMATICS Volume 5, Number 3, 1996 Warsaw University - Bia lystok The Steinitz Theorem and the Dimension of a Vector Space Mariusz Żynel Warsaw University Bia lystok Summary. The main purpose
More informationMore on Multivariate Polynomials: Monomials and Constant Polynomials
JOURNAL OF FORMALIZED MATHEMATICS Volume 13, Released 2001, Published 2003 Inst. of Computer Science, Univ. of Białystok More on Multivariate Polynomials: Monomials and Constant Polynomials Christoph Schwarzweller
More informationEquivalence of Deterministic and Nondeterministic Epsilon Automata
FORMALIZED MATHEMATICS Vol. 17, No. 2, Pages 193 199, 2009 Equivalence of Deterministic and Nondeterministic Epsilon Automata Michał Trybulec YAC Software Warsaw, Poland Summary. Based on concepts introduced
More informationordinal arithmetics 2 Let f be a sequence of ordinal numbers and let a be an ordinal number. Observe that f(a) is ordinal-like. Let us consider A, B.
JOURNAL OF FORMALIZED MATHEMATICS Volume 2, Released 1990, Published 2000 Inst. of Computer Science, University of Bia lystok Ordinal Arithmetics Grzegorz Bancerek Warsaw University Bia lystok Summary.
More informationJordan Matrix Decomposition
FORMALIZED MATHEMATICS Vol. 16, No. 4, Pages 297 303, 2008 Jordan Matrix Decomposition Karol Pąk Institute of Computer Science University of Białystok Poland Summary. In this paper I present the Jordan
More informationOn the Category of Posets
FORMALIZED MATHEMATICS Volume 5, Number 4, 1996 Warsaw University - Bia lystok On the Category of Posets Adam Grabowski Warsaw University Bia lystok Summary. In the paper the construction of a category
More informationThe Inner Product and Conjugate of Matrix of Complex Numbers
FORMALIZED MATHEMATICS Volume 13, Number 4, Pages 493 499 University of Bia lystok, 2005 The Inner Product and Conjugate of Matrix of Complex Numbers Wenpai Chang Shinshu University Nagano, Japan Hiroshi
More informationThe Differentiable Functions from R into R n
FORMALIZED MATHEMATICS Vol. 20, No. 1, Pages 65 71, 2012 DOI: 10.2478/v10037-012-0009-x versita.com/fm/ The Differentiable Functions from R into R n Keiko Narita Hirosaki-city Aomori, Japan Artur Korniłowicz
More informationString Rewriting Systems
FORMALIZED MATHEMATICS 2007, Vol. 15, No. 3, Pages 121 126 String Rewriting Systems Micha l Trybulec Motorola Software Group Cracow, Poland Summary. Basing on the definitions from [15], semi-thue systems,
More informationArmstrong s Axioms 1
JOURNAL OF FORMALIZED MATHEMATICS Volume 14, Released 2002, Published 2003 Inst. of Computer Science, Univ. of Białystok Armstrong s Axioms 1 William W. Armstrong Dendronic Decisions Ltd Edmonton Yatsuka
More informationLower Tolerance. Preliminaries to Wroclaw Taxonomy 1
JOURNAL OF FORMALIZED MATHEMATICS Volume 12, Released 2000, Published 2003 Inst. of Computer Science, Univ. of Białystok Lower Tolerance. Preliminaries to Wroclaw Taxonomy 1 Mariusz Giero University of
More informationA First-Order Predicate Calculus
FORMALIZED MATHEMATICS Vol.1, No.4, September October 1990 Université Catholique de Louvain A First-Order Predicate Calculus Agata Darmochwa l 1 Warsaw Uniwersity Bia lystok Summary. A continuation of
More informationATreeofExecutionofaMacroinstruction 1
FORMALIZED MATHEMATICS Volume 12, Number 1, 2004 University of Białystok ATreeofExecutionofaMacroinstruction 1 Artur Korniłowicz University of Białystok Summary.Atreeofexecutionofamacroinstructionisdefined.Itisatree
More informationEigenvalues of a Linear Transformation
FORMALIZED MATHEMATICS Vol. 16, No. 4, Pages 289 295, 2008 Eigenvalues of a Linear Transformation Karol Pąk Institute of Computer Science University of Białystok Poland Summary. The article presents well
More informationThe Inner Product and Conjugate of Finite Sequences of Complex Numbers
FORMALIZED MATHEMATICS Volume 13, Number 3, Pages 367 373 University of Bia lystok, 2005 The Inner Product and Conjugate of Finite Sequences of Complex Numbers Wenpai Chang Shinshu University Nagano, Japan
More informationFormal Topological Spaces
FORMALIZED MATHEMATICS Volume 9, Number 3, 2001 University of Białystok Formal Topological Spaces Gang Liu Tokyo University of Mercantile Marine Yasushi Fuwa Shinshu University Nagano Masayoshi Eguchi
More informationDefinition of Convex Function and Jensen s Inequality
FORMALIZED MATHEMATICS Volume 11, Number 4, 2003 University of Białystok Definition of Convex Function and Jensen s Inequality Grigory E. Ivanov Moscow Institute for Physics and Technology Summary.Convexityofafunctioninareallinearspaceisdefinedas
More informationOrthomodular Lattices
FORMALIZED MATHEMATICS Volume 16, Number 3, Pages 283 288 University of Białystok, 2008 Orthomodular Lattices Elżbieta Mądra Institute of Mathematics University of Białystok Akademicka 2, 15-267 Białystok
More informationMinimization of Finite State Machines 1
FORMALIZED MATHEMATICS Volume 5, Number 2, 1996 Warsa University - Bia lystok Minimization of Finite State Machines 1 Miroslava Kaloper University of Alberta Department of Computing Science Piotr Rudnicki
More informationSegments of Natural Numbers and Finite Sequences 1
JOURNAL OF FORMALIZED MATHEMATICS Volume 1, Released 1989, Published 2003 Inst. of Computer Science, Univ. of Białystok Segments of Natural Numbers and Finite Sequences 1 Grzegorz Bancerek Warsaw University
More informationEuler s Polyhedron Formula
FORMALIZED MATHEMATICS Volume 16, Number 1, Pages 9 19 University of Białystok, 2008 Euler s Polyhedron Formula Jesse Alama Department of Philosophy Stanford University USA Summary. Euler s polyhedron
More informationRings and Modules Part II
JOURNAL OF FORMALIZED MATHEMATICS Volume 3, Released 1991, Published 2003 Inst. of Computer Science, Univ. of Białystok Rings and Modules Part II Michał Muzalewski Warsaw University Białystok Summary.
More informationIntroduction to Trees
FORMALIZED MATHEMATICS Vol.1, No.2, March April 1990 Université Catholique de Louvain Introduction to Trees Grzegorz Bancerek 1 Warsaw University Bia lystok Summary. The article consists of two parts:
More informationEuler s Polyhedron Formula
FORMALIZED MATHEMATICS Volume 16, Number 1, Pages 9 19 University of Białystok, 2008 Euler s Polyhedron Formula Jesse Alama Department of Philosophy Stanford University USA Summary. Euler s polyhedron
More informationBasic Properties of the Rank of Matrices over a Field
FORMALIZED MATHEMATICS 2007, Vol 15, No 4, Pages 199 211 Basic Properties of the Rank of Matrices over a Field Karol P ak Institute of Computer Science University of Bia lystok Poland Summary In this paper
More informationThe Rotation Group. Karol Pąk Institute of Informatics University of Białystok Poland
FORMALIZED MATHEMATICS Vol. 20, No. 1, Pages 23 29, 2012 DOI: 10.2478/v10037-012-0004-2 versita.com/fm/ The Rotation Group Karol Pąk Institute of Informatics University of Białystok Poland Summary. We
More informationProperties of Real Functions
FORMALIZED MATHEMATICS Vol.1, No.4, September October 1990 Université Catholique de Louvain Properties of Real Functions Jaros law Kotowicz 1 Warsaw University Bia lystok Summary. The list of theorems
More informationTranspose Matrices and Groups of Permutations
FORMALIZED MATHEMATICS Vol2,No5, November December 1991 Université Catholique de Louvain Transpose Matrices and Groups of Permutations Katarzyna Jankowska Warsaw University Bia lystok Summary Some facts
More informationVeblen Hierarchy. Grzegorz Bancerek Białystok Technical University Poland
FORMALIZED MATHEMATICS Vol. 19, No. 2, Pages 83 92, 2011 Veblen Hierarchy Grzegorz Bancerek Białystok Technical University Poland Summary. The Veblen hierarchy is an extension of the construction of epsilon
More informationMatrices. Abelian Group of Matrices
FORMALIZED MATHEMATICS Vol2, No4, September October 1991 Université Catholique de Louvain Matrices Abelian Group of Matrices atarzyna Jankowska Warsaw University Bia lystok Summary The basic conceptions
More informationOrthomodular Lattices
FORMALIZED MATHEMATICS Vol. 16, No. 3, Pages 277 282, 2008 Orthomodular Lattices Elżbieta Mądra Institute of Mathematics University of Białystok Akademicka 2, 15-267 Białystok Poland Adam Grabowski Institute
More informationCartesian Product of Functions
FORMALIZED MATHEMATICS Vol.2, No.4, September October 1991 Université Catholique de Louvain Cartesian Product of Functions Grzegorz Bancerek Warsaw University Bia lystok Summary. A supplement of [3] and
More informationSubmodules and Cosets of Submodules in Left Module over Associative Ring 1
FORMALIZED MATHEMATICS Vol.2, No.2, March April 1991 Université Catholique de Louvain Submodules and Cosets of Submodules in Left Module over Associative Ring 1 Micha l Muzalewski Warsaw University Bia
More informationEpsilon Numbers and Cantor Normal Form
FORMALIZED MATHEMATICS Vol. 17, No. 4, Pages 249 256, 2009 Epsilon Numbers and Cantor Normal Form Grzegorz Bancerek Białystok Technical University Poland Summary. An epsilon number is a transfinite number
More informationCoincidence Lemma and Substitution Lemma 1
FORMALIZED MATHEMATICS Volume 13, Number 1, 2005 University of Bia lystok Coincidence Lemma and Substitution Lemma 1 Patrick Braselmann University of Bonn Peter Koepke University of Bonn Summary. This
More informationFormulas and Identities of Inverse Hyperbolic Functions
FORMALIZED MATHEMATICS Volume 13, Number 3, Pages 383 387 Universit of Bia lstok, 005 Formulas and Identities of Inverse Hperbolic Functions Fuguo Ge Qingdao Universit of Science and Technolog Xiquan Liang
More informationProperties of Binary Relations
FORMALIZED MATHEMATICS Number 1, January 1990 Université Catholique de Louvain Properties of Binary Relations Edmund Woronowicz 1 Warsaw University Bia lystok Anna Zalewska 2 Warsaw University Bia lystok
More informationRiemann Integral of Functions from R into R n
FORMLIZED MTHEMTICS Vol. 17, No. 2, Pges 175 181, 2009 DOI: 10.2478/v10037-009-0021-y Riemnn Integrl of Functions from R into R n Keiichi Miyjim Ibrki University Hitchi, Jpn Ysunri Shidm Shinshu University
More informationSequences of Ordinal Numbers
JOURNAL OF FORMALIZED MATHEMATICS Volume 1, Released 1989, Published 2003 Inst. of Computer Science, Univ. of Białystok Sequences of Ordinal Numbers Grzegorz Bancerek Warsaw University Białystok Summary.
More informationBinary Operations Applied to Functions
FORMALIZED MATHEMATICS Vol.1, No.2, March April 1990 Université Catholique de Louvain Binary Operations Applied to Functions Andrzej Trybulec 1 Warsaw University Bia lystok Summary. In the article we introduce
More informationThe Lattice of Domains of an Extremally Disconnected Space 1
FORMALIZED MATHEMATICS Volume 3, Number 2, 1992 Université Catholique de Louvain The Lattice of Domains of an Extremally Disconnected Space 1 Zbigniew Karno Warsaw University Bia lystok Summary. Let X
More informationExtended Riemann Integral of Functions of Real Variable and One-sided Laplace Transform 1
FORMALIZED MATHEMATICS Vol. 16, No. 4, Pges 311 317, 2008 Etended Riemnn Integrl of Functions of Rel Vrible nd One-sided Lplce Trnsform 1 Mshiko Ymzki Shinshu University Ngno, Jpn Hiroshi Ymzki Shinshu
More informationRiemann Integral of Functions R into C
FORMLIZED MTHEMTICS Vol. 18, No. 4, Pges 201 206, 2010 Riemnn Integrl of Functions R into C Keiichi Miyjim Ibrki University Fculty of Engineering Hitchi, Jpn Tkhiro Kto Grdute School of Ibrki University
More informationBinary Operations. Czes law Byliński 1 Warsaw University Bia lystok
FORMALIZED MATHEMATICS Number 1, January 1990 Université Catholique de Louvain Binary Operations Czes law Byliński 1 Warsaw University Bia lystok Summary. In this paper we define binary and unary operations
More informationThe Product and the Determinant of Matrices with Entries in a Field. Katarzyna Zawadzka Warsaw University Bialystok
FORMALIZED MATHEMATICS volume 4, Number 1, 1993 Universite Catholique dc Louvain The Product and the Determinant of Matrices with Entries in a Field Katarzyna Zawadzka Warsaw University Bialystok Summary.
More informationFormalization of Definitions and Theorems Related to an Elliptic Curve Over a Finite Prime Field by Using Mizar
J Autom Reasoning (2013) 50:161 172 DOI 10.1007/s10817-012-9265-2 Formalization of Definitions and Theorems Related to an Elliptic Curve Over a Finite Prime Field by Using Mizar Yuichi Futa Hiroyuki Okazaki
More informationThe Chinese Remainder Theorem, its Proofs and its Generalizations in Mathematical Repositories
STUDIES IN LOGIC, GRAMMAR AND RHETORIC 18 (31) 2009 The Chinese Remainder Theorem, its Proofs and its Generalizations in Mathematical Repositories Christoph Schwarzweller Department of Computer Science,
More informationAxioms of Incidence. Wojciech A. Trybulec 1 Warsaw University
FORMALIZED MATHEMATICS Number 1, January 1990 Université Catholique de Louvain Axioms of Incidence Wojciech A. Trybulec 1 Warsaw University Summary. This article is based on Foundations of Geometry by
More information2.3 In modular arithmetic, all arithmetic operations are performed modulo some integer.
CHAPTER 2 INTRODUCTION TO NUMBER THEORY ANSWERS TO QUESTIONS 2.1 A nonzero b is a divisor of a if a = mb for some m, where a, b, and m are integers. That is, b is a divisor of a if there is no remainder
More informationThe Mizar System. Quang M. Tran Course: CAS760 Logic for Practical Use Instructor: Dr. William M.
The System Quang M. Tran E-mail: tranqm@mcmaster.ca Course: CAS760 Logic for Practical Use Instructor: Dr. William M. Farmer Department of Computing and Software McMaster University, ON, Hamilton, Canada
More informationM381 Number Theory 2004 Page 1
M81 Number Theory 2004 Page 1 [[ Comments are written like this. Please send me (dave@wildd.freeserve.co.uk) details of any errors you find or suggestions for improvements. ]] Question 1 20 = 2 * 10 +
More informationMTH 346: The Chinese Remainder Theorem
MTH 346: The Chinese Remainder Theorem March 3, 2014 1 Introduction In this lab we are studying the Chinese Remainder Theorem. We are going to study how to solve two congruences, find what conditions are
More information4 Powers of an Element; Cyclic Groups
4 Powers of an Element; Cyclic Groups Notation When considering an abstract group (G, ), we will often simplify notation as follows x y will be expressed as xy (x y) z will be expressed as xyz x (y z)
More informationBasic Algorithms in Number Theory
Basic Algorithms in Number Theory Algorithmic Complexity... 1 Basic Algorithms in Number Theory Francesco Pappalardi #2-b - Euclidean Algorithm. September 2 nd 2015 SEAMS School 2015 Number Theory and
More informationCOMP239: Mathematics for Computer Science II. Prof. Chadi Assi EV7.635
COMP239: Mathematics for Computer Science II Prof. Chadi Assi assi@ciise.concordia.ca EV7.635 The Euclidean Algorithm The Euclidean Algorithm Finding the GCD of two numbers using prime factorization is
More informationCHAPTER 3. Congruences. Congruence: definitions and properties
CHAPTER 3 Congruences Part V of PJE Congruence: definitions and properties Definition. (PJE definition 19.1.1) Let m > 0 be an integer. Integers a and b are congruent modulo m if m divides a b. We write
More informationNumber Theory Solutions Packet
Number Theory Solutions Pacet 1 There exist two distinct positive integers, both of which are divisors of 10 10, with sum equal to 157 What are they? Solution Suppose 157 = x + y for x and y divisors of
More informationChinese Remainder Theorem
Chinese Remainder Theorem Theorem Let R be a Euclidean domain with m 1, m 2,..., m k R. If gcd(m i, m j ) = 1 for 1 i < j k then m = m 1 m 2 m k = lcm(m 1, m 2,..., m k ) and R/m = R/m 1 R/m 2 R/m k ;
More informationPart V. Chapter 19. Congruence of integers
Part V. Chapter 19. Congruence of integers Congruence modulo m Let m be a positive integer. Definition. Integers a and b are congruent modulo m if and only if a b is divisible by m. For example, 1. 277
More informationNumber Theory. CSS322: Security and Cryptography. Sirindhorn International Institute of Technology Thammasat University CSS322. Number Theory.
CSS322: Security and Cryptography Sirindhorn International Institute of Technology Thammasat University Prepared by Steven Gordon on 29 December 2011 CSS322Y11S2L06, Steve/Courses/2011/S2/CSS322/Lectures/number.tex,
More informationIntegers modulo N. Geoff Smith c 1998
Integers modulo N Geoff Smith c 1998 Divisibility Suppose that a, b Z. We say that b divides a exactly when there is c Zsuch that a = bc. We express the fact that b divides a in symbols by writing b a.
More informationMATH 145 Algebra, Solutions to Assignment 4
MATH 145 Algebra, Solutions to Assignment 4 1: a Let a 975 and b161 Find d gcda, b and find s, t Z such that as + bt d Solution: The Euclidean Algorithm gives 161 975 1 + 86, 975 86 3 + 117, 86 117 + 5,
More information2301 Assignment 1 Due Friday 19th March, 2 pm
Show all your work. Justify your solutions. Answers without justification will not receive full marks. Only hand in the problems on page 2. Practice Problems Question 1. Prove that if a b and a 3c then
More informationDivisibility. Def: a divides b (denoted a b) if there exists an integer x such that b = ax. If a divides b we say that a is a divisor of b.
Divisibility Def: a divides b (denoted a b) if there exists an integer x such that b ax. If a divides b we say that a is a divisor of b. Thm: (Properties of Divisibility) 1 a b a bc 2 a b and b c a c 3
More informationBasic elements of number theory
Cryptography Basic elements of number theory Marius Zimand 1 Divisibility, prime numbers By default all the variables, such as a, b, k, etc., denote integer numbers. Divisibility a 0 divides b if b = a
More informationBasic elements of number theory
Cryptography Basic elements of number theory Marius Zimand By default all the variables, such as a, b, k, etc., denote integer numbers. Divisibility a 0 divides b if b = a k for some integer k. Notation
More informationChapter 1 A Survey of Divisibility 14
Chapter 1 A Survey of Divisibility 14 SECTION C Euclidean Algorithm By the end of this section you will be able to use properties of the greatest common divisor (gcd) obtain the gcd using the Euclidean
More informationChapter 5.1: Induction
Chapter.1: Induction Monday, July 1 Fermat s Little Theorem Evaluate the following: 1. 1 (mod ) 1 ( ) 1 1 (mod ). (mod 7) ( ) 8 ) 1 8 1 (mod ). 77 (mod 19). 18 (mod 1) 77 ( 18 ) 1 1 (mod 19) 18 1 (mod
More informationMATH 501 Discrete Mathematics. Lecture 6: Number theory. German University Cairo, Department of Media Engineering and Technology.
MATH 501 Discrete Mathematics Lecture 6: Number theory Prof. Dr. Slim Abdennadher, slim.abdennadher@guc.edu.eg German University Cairo, Department of Media Engineering and Technology 1 Number theory Number
More informationInduction. Induction. Induction. Induction. Induction. Induction 2/22/2018
The principle of mathematical induction is a useful tool for proving that a certain predicate is true for all natural numbers. It cannot be used to discover theorems, but only to prove them. If we have
More informationChapter 4. Greatest common divisors of polynomials. 4.1 Polynomial remainder sequences
Chapter 4 Greatest common divisors of polynomials 4.1 Polynomial remainder sequences If K is a field, then K[x] is a Euclidean domain, so gcd(f, g) for f, g K[x] can be computed by the Euclidean algorithm.
More informationThe Fundamental Theorem of Arithmetic
Chapter 1 The Fundamental Theorem of Arithmetic 1.1 Primes Definition 1.1. We say that p N is prime if it has just two factors in N, 1 and p itself. Number theory might be described as the study of the
More informationNumber Theory Alex X. Liu & Haipeng Dai
Number Theory Alex X. Liu & Haipeng Dai haipengdai@nju.edu.cn 313 CS Building Department of Computer Science and Technology Nanjing University How to compute gcd(x,y) Observation: gcd(x,y) = gcd(x-y, y)
More informationThe Chinese Remainder Theorem
Chapter 4 The Chinese Remainder Theorem The Monkey-Sailor-Coconut Problem Three sailors pick up a number of coconuts, place them in a pile and retire for the night. During the night, the first sailor wanting
More informationWORKSHEET ON NUMBERS, MATH 215 FALL. We start our study of numbers with the integers: N = {1, 2, 3,...}
WORKSHEET ON NUMBERS, MATH 215 FALL 18(WHYTE) We start our study of numbers with the integers: Z = {..., 2, 1, 0, 1, 2, 3,... } and their subset of natural numbers: N = {1, 2, 3,...} For now we will not
More information1 Overview and revision
MTH6128 Number Theory Notes 1 Spring 2018 1 Overview and revision In this section we will meet some of the concerns of Number Theory, and have a brief revision of some of the relevant material from Introduction
More information2. THE EUCLIDEAN ALGORITHM More ring essentials
2. THE EUCLIDEAN ALGORITHM More ring essentials In this chapter: rings R commutative with 1. An element b R divides a R, or b is a divisor of a, or a is divisible by b, or a is a multiple of b, if there
More informationCh 4.2 Divisibility Properties
Ch 4.2 Divisibility Properties - Prime numbers and composite numbers - Procedure for determining whether or not a positive integer is a prime - GCF: procedure for finding gcf (Euclidean Algorithm) - Definition:
More informationLecture notes: Algorithms for integers, polynomials (Thorsten Theobald)
Lecture notes: Algorithms for integers, polynomials (Thorsten Theobald) 1 Euclid s Algorithm Euclid s Algorithm for computing the greatest common divisor belongs to the oldest known computing procedures
More informationAlgebra Homework, Edition 2 9 September 2010
Algebra Homework, Edition 2 9 September 2010 Problem 6. (1) Let I and J be ideals of a commutative ring R with I + J = R. Prove that IJ = I J. (2) Let I, J, and K be ideals of a principal ideal domain.
More informationAn integer p is prime if p > 1 and p has exactly two positive divisors, 1 and p.
Chapter 6 Prime Numbers Part VI of PJE. Definition and Fundamental Results Definition. (PJE definition 23.1.1) An integer p is prime if p > 1 and p has exactly two positive divisors, 1 and p. If n > 1
More informationThe group (Z/nZ) February 17, In these notes we figure out the structure of the unit group (Z/nZ) where n > 1 is an integer.
The group (Z/nZ) February 17, 2016 1 Introduction In these notes we figure out the structure of the unit group (Z/nZ) where n > 1 is an integer. If we factor n = p e 1 1 pe, where the p i s are distinct
More information(e) Commutativity: a b = b a. (f) Distributivity of times over plus: a (b + c) = a b + a c and (b + c) a = b a + c a.
Math 299 Midterm 2 Review Nov 4, 2013 Midterm Exam 2: Thu Nov 7, in Recitation class 5:00 6:20pm, Wells A-201. Topics 1. Methods of proof (can be combined) (a) Direct proof (b) Proof by cases (c) Proof
More informationCongruence of Integers
Congruence of Integers November 14, 2013 Week 11-12 1 Congruence of Integers Definition 1. Let m be a positive integer. For integers a and b, if m divides b a, we say that a is congruent to b modulo m,
More informationNumber Theory and Group Theoryfor Public-Key Cryptography
Number Theory and Group Theory for Public-Key Cryptography TDA352, DIT250 Wissam Aoudi Chalmers University of Technology November 21, 2017 Wissam Aoudi Number Theory and Group Theoryfor Public-Key Cryptography
More informationSimultaneous Linear, and Non-linear Congruences
Simultaneous Linear, and Non-linear Congruences CIS002-2 Computational Alegrba and Number Theory David Goodwin david.goodwin@perisic.com 09:00, Friday 18 th November 2011 Outline 1 Polynomials 2 Linear
More informationChinese Remainder Theorem explained with rotations
Chinese Remainder Theorem explained with rotations Reference: Antonella Perucca, The Chinese Remainder Clock, The College Mathematics Journal, 2017, Vol. 48, No. 2, pp. 82-89. 2 One step-wise rotation
More informationChapter 2. Divisibility. 2.1 Common Divisors
Chapter 2 Divisibility 2.1 Common Divisors Definition 2.1.1. Let a and b be integers. A common divisor of a and b is any integer that divides both a and b. Suppose that a and b are not both zero. By Proposition
More informationExercises Exercises. 2. Determine whether each of these integers is prime. a) 21. b) 29. c) 71. d) 97. e) 111. f) 143. a) 19. b) 27. c) 93.
Exercises Exercises 1. Determine whether each of these integers is prime. a) 21 b) 29 c) 71 d) 97 e) 111 f) 143 2. Determine whether each of these integers is prime. a) 19 b) 27 c) 93 d) 101 e) 107 f)
More information