SlideShare a Scribd company logo
Chapter 4

Complementary Sets Of
Systems Of Congruences
              Proceedings|NCUR VII. 1993, Vol. II, pp. 793 796.


                              Je rey F. Gold
               Department of Mathematics, Department of Physics
                              University of Utah
                              Don H. Tucker
                          Department of Mathematics
                              University of Utah

Introduction
We introduce remodulization and use it to characterize the complementary sets
of systems of congruences. The following is an excerpt of a continuing e ort to
characterize systems of congruences.

Remodulization
De nition 1 If a and b are integers, then
                      a mod b = fa; a  b; a  2b; : : :g :
   We will write x  a mod b, meaning that x is an element of the set a mod b.
The symbol  is not an equality symbol, but rather a specialized form of the
 2 or is an element of : : : symbol. The common terminology is to say that x

                                      1
CHAPTER 4. COMP. SETS OF SYSTEMS OF CONGRUENCES                                      2

is congruent to a modulo b. These sets are also frequently called residue classes
since they consist of those integers which, upon division by b, leave a remainder
residue of a. It is customary to write a as the least non-negative residue.

De nition 2 If a1; a2; : : : ; an,b 2 Z, then
                                                                        n
a1 ; a2 ; : : : ; an mod b = a1 mod b a2 mod b    an mod b =         ai mod b :
                                                                        i=1
Theorem 1 Remodulization Theorem Suppose a, b, and c 2 Z and c                     0,
then
            a mod b = a; a + b; : : : ; a + bc , 1 mod cb :
Proof. We write
   a mod b = f : : : a , cb; a , c , 1b; : : : a , b;
                         a;       a + b;         : : : a + c , 1b;
                         a + cb; a + c + 1b; : : : a + 2c , 1b; : : : g
and upon rewriting the columns,
 a mod b = f : : : a , cb; a + b , cb; : : : a + c , 1b , cb;
                       a;       a + b;      : : : a + c , 1b;
                       a + cb; a + b + cb; : : : a + c , 1b + cb; : : : g :
Then, forming unions on the extended columns, the result follows.
We refer to this process as remodulization by a factor c.


Complementary Sets
Using De nition 2, the complementary set of a mod b is given by
     a mod b c = Z n fa mod bg = 0; 1; 2; : : :; a , 1; a + 1; : : : ; b , 1 mod b :
In this case, the complementary set consists of b , 1 congruences modulo b. We
will always refer to the size of a complementary set with respect to a speci c
modulus.
   The following represents a system of congruences:
                           8
                               x  a1 mod b1
                               x  a2 mod b2
                                   ..                                             4.1
                                    .
                           : x  a mod b
                                       n       n
CHAPTER 4. COMP. SETS OF SYSTEMS OF CONGRUENCES                                  3

    Characterizing the size of the complementary set of a system of congruences
4.1 is equivalent to counting those integers which are not elements of any of the
given congruences. Our method will be to remove the set of numbers satisfying
the system of congruences 4.1 from the set of integers Z in a systematic way.
Note that Z can be written as a complete residue class, 1; 2; : : :; b mod b, for
all b 1.
    All numbers satisfying the rst congruence in 4.1 will be removed from Z,
leaving the complementary set for that congruence. Then we iterate the process
by removing all integers satisfying the second congruence from this remaining
set, and so on.
   Stated another way, we are interested in determining the size of
                                                          n              
     a1 mod b1 a2 mod b2    an mod bn = Z n  c                 ai mod bi ;
                                                            i=1
where the bi are pairwise relatively prime. Our method is to determine the
number of remaining congruences needed to characterize this complementary
set. Using the remodulization method, the set of congruences can be expressed
                                        Q
in terms of the common modulus, mod n=1 bi and the integers, Z, can be ex-
                                           i
pressed in terms of a complete residue class of the same modulus.
    To illustrate this procedure, suppose we have the following system of con-
gruences
                                  x  a1 mod b1
                                  x  a2 mod b2
where gcdb1 ; b2 = 1. By the Chinese Remainder Theorem 1,2 , these
intersect in a unique residue class modulo b1 b2 .
    Remodulizing the congruences by b2 and b1 , respectively, this system can be
expressed as
             a1 mod b1 = a1 ; a1 + b1 ; : : : ; a1 + b1 b2 , 1 mod b1 b2
             a2 mod b2 = a2 ; a2 + b2 ; : : : ; a2 + b2 b1 , 1 mod b1 b2
    The rst congruence, after remodulization, consists of b2 congruences mod b1 b2
while the second remodulized congruence consists of b1 congruences mod b1 b2 ;
furthermore, Z consists of b1 b2 congruences modulo b1 b2 . Therefore, subtract-
ing b1 and b2 from b1 b2 and adding one to this sum the unique intersection of
the two congruences was removed twice from b1 b2 , we obtain
                             b1 b2 , b1 , b2 + 1
remaining congruences mod b1 b2 in the complementary set
                        a1 mod b1 a2 mod b2 c :
CHAPTER 4. COMP. SETS OF SYSTEMS OF CONGRUENCES                                  4

However, b1 b2 , b1 , b2 + 1 can be rewritten as b1 , 1b2 , 1; this is typical.

Theorem 2 The complementary set of fnSn=1 ai mod big, where the bi arenpair-
                                       Q i                             Q
wise relatively prime, contains exactly i=1 bi , 1 congruences modulo i=1 bi .
Proof. Suppose we have a system of congruences 4.1 where the bi are pair-
wise relatively prime. We have already found that the complementary sets of
a1 mod b1 and a1 mod b1 a2 mod b2 consist of b1 , 1 congruences modulo b1
and b2 , 1b1 , 1 congruences modulo b1 b2 , respectively.
    For the induction argument, suppose we have found the complementary set
                                                           Q
up to kth congruence of 4.1 to consist of the union of k=1 bi , 1 congru-
               Qk                                             i
ences modulo i=1 bi ; then we remove from it the set of numbers congruent
fak+1 mod bk+1 g. The complementary set of the latter congruence is comprised
of bk+1 , 1 congruences modulo bk+1 . Each of these congruences shares a
unique intersection with each Q the congruences in the remaining complemen-
                              of                                      Q +1
tary set; there are bk+1 , 1 k=1 bi , 1 such intersections modulo k=1 bi .
                                 i                                      i
Therefore, the remaining complementary set, after removing the k + 1st con-
gruence from the remaining complementary set, consists of
                                           k+1
                                           Y
                                                 bi , 1
                                           i=1
                       k+1
                       Y
congruences modulo            bi .
                        i=1
    If the moduli bi are primes, then we may use Euler's phi function 3,4 , or
totient, to formulate the complementary set of a system of congruences. The
totient m counts the number of integers not exceeding m which are relatively
prime to m. For any prime p, p = p , 1; moreover, because the totient is
                                                                Q
multiplicative, p1 p2    pn  = p1 p2     pn  = n=1 pi , 1.
                                                                  i

Corollary 1 Suppose we have a system of congruences where the moduli pi are
primes and pi = pj , for i 6= j . Then the complementary set of
              6
                              8
                                  x  a1 mod p1
                                  x  a2 mod p2
                                            .
                                            .
                                     :
                                            .
                                         x  an mod pn
                n !                                    n
                 Y                                      Y
consists of          pi congruences modulo                   pi .
                i=1                                     i=1
CHAPTER 4. COMP. SETS OF SYSTEMS OF CONGRUENCES                                           5

De nition 3 The density of the complementary set of a system of congruences
                                     6
4.1, where gcdbi ; bj  = 1 for i = j , with respect to the set Z, is
                                        Y
bi , 1 
                                          n
                                 n =             bi   :
                                         i=1
    As an illustration, we calculate the size and density of the complementary
set of the following system:
                                    8
                                  x  1 mod 3
                                  x  2 mod 5
                               : x  3 mod 7

The complement of the rst congruence, 1 mod 3, is 2; 3 mod 3, a union of
two congruences modulo 3. The complement of 2 mod 5 is 1; 3; 4; 5 mod 5.
Each of the congruences in the complementary set modulo 3 shares a unique
intersection with the congruences of the complementary set modulo 5; there are
3 , 15 , 1 = 8 remaining congruences modulo 15. Finally, removing all num-
bers satisfying 3 mod 7 from these 8 remaining congruences, the complementary
set consists of 3 , 15 , 17 , 1 = 48 congruences modulo 105. The density
of the complementary set with respect to the set Z at each step in the process
is 2=3, 8=15, and 48=105, respectively.
   If a system consists of bi congruences of the same modulus bi , for each bi ,
we have the following extension of Theorem 2. Suppose
                     8
                         x  a1;1 ; a1;2 ; : : : ; a1;   b1   mod b1
                         x  a2;1 ; a2;2 ; : : : ; a2;        mod b2
                              ...
                                                         b2
                                                                                      4.2
                     :
                         x  an;1 ; an;2 ; : : : ; an;   bn   mod bn
where the bi are pairwise relatively prime, and ai;j 6= ai;k for all j = k, and   6
  bi bi .
    The complementary set of the rst congruence is the union of b1 , b1 con-
gruences. Likewise, the complementary set of the second congruence contains
b2 , b2 congruences; their intersection contains b2 , b2 b1 , b1  congruences
modulo b1 b2 . Iterating the process, Qn complementary set of 4.2 consists of
Qn                                    the
   i=1 bi , bi  congruences modulo i=1 bi . At each step, however, it is neces-
sary to insure that bi , bi 0; otherwise, if bi = bi , the complementary set
vanishes altogether, since for that particular value of i, ai;1 ; ai;2 ; : : : ; ai; bi is a
complete residue class modulo bi , i.e., the entire set Z.
                                               n                                 o
Theorem 3 The complementary set of Sn=1 ai;1 ; : : : ; ai; mod bi , where
                                        i                              bi
ai;j = ai;k for j 6= k, and b bi , and the bi are pairwise relatively prime,
     6                              i

More Related Content

What's hot

Calculus Homework Help
Calculus Homework HelpCalculus Homework Help
Calculus Homework Help
Math Homework Solver
 
UPSEE - Mathematics -2002 Unsolved Paper
UPSEE - Mathematics -2002 Unsolved PaperUPSEE - Mathematics -2002 Unsolved Paper
UPSEE - Mathematics -2002 Unsolved PaperVasista Vinuthan
 
7 system of linear equations ii x
7 system of linear equations ii x7 system of linear equations ii x
7 system of linear equations ii x
Tzenma
 
Hsn course revision notes
Hsn course revision notesHsn course revision notes
Hsn course revision notesMissParker
 
IITJEE - Mathematics 2008-i
IITJEE - Mathematics  2008-iIITJEE - Mathematics  2008-i
IITJEE - Mathematics 2008-iVasista Vinuthan
 
Calculus Homework Help
Calculus Homework HelpCalculus Homework Help
Calculus Homework Help
Math Homework Solver
 
Problems and solutions, inmo 2011
Problems and solutions, inmo 2011Problems and solutions, inmo 2011
Problems and solutions, inmo 2011askiitians
 
Chap 1 real number
Chap 1 real numberChap 1 real number
Chap 1 real number
JNV
 
IITJEE - 2009 ii - mathematics
IITJEE - 2009    ii - mathematicsIITJEE - 2009    ii - mathematics
IITJEE - 2009 ii - mathematicsVasista Vinuthan
 
Algebraic Number Theory
Algebraic Number Theory Algebraic Number Theory
Algebraic Number Theory
RajalakshmiRajalaksh5
 
Catholic High Emath Paper2_printed
Catholic High Emath Paper2_printedCatholic High Emath Paper2_printed
Catholic High Emath Paper2_printedFelicia Shirui
 
Math iecep
Math iecepMath iecep
Math iecep
Hector Ledesma
 
VIT - Mathematics -2008 Unsolved Paper
VIT - Mathematics -2008 Unsolved PaperVIT - Mathematics -2008 Unsolved Paper
VIT - Mathematics -2008 Unsolved PaperVasista Vinuthan
 
UPSEE - Mathematics -2000 Unsolved Paper
UPSEE - Mathematics -2000 Unsolved PaperUPSEE - Mathematics -2000 Unsolved Paper
UPSEE - Mathematics -2000 Unsolved PaperVasista Vinuthan
 
pensamiento geométrico y analítico
pensamiento geométrico y analíticopensamiento geométrico y analítico
pensamiento geométrico y analítico
FLORMARINAARIZARAMIR
 
IIT JEE - 2008 ii- mathematics
IIT JEE  - 2008  ii- mathematicsIIT JEE  - 2008  ii- mathematics
IIT JEE - 2008 ii- mathematicsVasista Vinuthan
 

What's hot (20)

Calculus Homework Help
Calculus Homework HelpCalculus Homework Help
Calculus Homework Help
 
UPSEE - Mathematics -2002 Unsolved Paper
UPSEE - Mathematics -2002 Unsolved PaperUPSEE - Mathematics -2002 Unsolved Paper
UPSEE - Mathematics -2002 Unsolved Paper
 
7 system of linear equations ii x
7 system of linear equations ii x7 system of linear equations ii x
7 system of linear equations ii x
 
Hsn course revision notes
Hsn course revision notesHsn course revision notes
Hsn course revision notes
 
IITJEE - Mathematics 2008-i
IITJEE - Mathematics  2008-iIITJEE - Mathematics  2008-i
IITJEE - Mathematics 2008-i
 
Problem Set 1
Problem Set 1Problem Set 1
Problem Set 1
 
Calculus Homework Help
Calculus Homework HelpCalculus Homework Help
Calculus Homework Help
 
Problems and solutions, inmo 2011
Problems and solutions, inmo 2011Problems and solutions, inmo 2011
Problems and solutions, inmo 2011
 
Chap 1 real number
Chap 1 real numberChap 1 real number
Chap 1 real number
 
AMU - Mathematics - 2000
AMU - Mathematics  - 2000AMU - Mathematics  - 2000
AMU - Mathematics - 2000
 
IITJEE - 2009 ii - mathematics
IITJEE - 2009    ii - mathematicsIITJEE - 2009    ii - mathematics
IITJEE - 2009 ii - mathematics
 
project
projectproject
project
 
Algebraic Number Theory
Algebraic Number Theory Algebraic Number Theory
Algebraic Number Theory
 
Catholic High Emath Paper2_printed
Catholic High Emath Paper2_printedCatholic High Emath Paper2_printed
Catholic High Emath Paper2_printed
 
Math iecep
Math iecepMath iecep
Math iecep
 
VIT - Mathematics -2008 Unsolved Paper
VIT - Mathematics -2008 Unsolved PaperVIT - Mathematics -2008 Unsolved Paper
VIT - Mathematics -2008 Unsolved Paper
 
UPSEE - Mathematics -2000 Unsolved Paper
UPSEE - Mathematics -2000 Unsolved PaperUPSEE - Mathematics -2000 Unsolved Paper
UPSEE - Mathematics -2000 Unsolved Paper
 
pensamiento geométrico y analítico
pensamiento geométrico y analíticopensamiento geométrico y analítico
pensamiento geométrico y analítico
 
Maths sa 1 synopsis
Maths sa 1 synopsisMaths sa 1 synopsis
Maths sa 1 synopsis
 
IIT JEE - 2008 ii- mathematics
IIT JEE  - 2008  ii- mathematicsIIT JEE  - 2008  ii- mathematics
IIT JEE - 2008 ii- mathematics
 

Viewers also liked

Gravitation
GravitationGravitation
Gravitation
Mahashankar Kumar
 
Gravitation
GravitationGravitation
Gravitation
indianeducation
 
Natural vegetation and wildlife
Natural vegetation and wildlifeNatural vegetation and wildlife
Natural vegetation and wildlifethemassmaker
 
36197659 erich-von-daniken-miracles-of-the-gods
36197659 erich-von-daniken-miracles-of-the-gods36197659 erich-von-daniken-miracles-of-the-gods
36197659 erich-von-daniken-miracles-of-the-godsToth Paul
 
Our changing earth
Our changing earthOur changing earth
Our changing earththemassmaker
 
Motions of the earth
Motions of the earthMotions of the earth
Motions of the earththemassmaker
 
Electrically Symmetric Poly(Phenylene Acetylene) Diodes
Electrically Symmetric Poly(Phenylene Acetylene) DiodesElectrically Symmetric Poly(Phenylene Acetylene) Diodes
Electrically Symmetric Poly(Phenylene Acetylene) Diodes
Jeffrey Gold
 
Is Gravitation A Result Of Asymmetric Coulomb Charge Interactions?
Is Gravitation A Result Of Asymmetric Coulomb Charge Interactions?Is Gravitation A Result Of Asymmetric Coulomb Charge Interactions?
Is Gravitation A Result Of Asymmetric Coulomb Charge Interactions?
Jeffrey Gold
 
Human environment interactions
Human environment interactionsHuman environment interactions
Human environment interactionsthemassmaker
 
A Characterization of Twin Prime Pairs
A Characterization of Twin Prime PairsA Characterization of Twin Prime Pairs
A Characterization of Twin Prime Pairs
Jeffrey Gold
 
A Novel Solution Of Linear Congruences
A Novel Solution Of Linear CongruencesA Novel Solution Of Linear Congruences
A Novel Solution Of Linear Congruences
Jeffrey Gold
 
Vector Products Revisited: A New and Efficient Method of Proving Vector Ident...
Vector Products Revisited: A New and Efficient Method of Proving Vector Ident...Vector Products Revisited: A New and Efficient Method of Proving Vector Ident...
Vector Products Revisited: A New and Efficient Method of Proving Vector Ident...
Jeffrey Gold
 
Knocking on the Devil’s Door: A Naive Introduction To Quantum Mechanics
Knocking on the Devil’s Door: A Naive Introduction To Quantum MechanicsKnocking on the Devil’s Door: A Naive Introduction To Quantum Mechanics
Knocking on the Devil’s Door: A Naive Introduction To Quantum Mechanics
Jeffrey Gold
 
Life in temperate grasslands
Life in temperate grasslandsLife in temperate grasslands
Life in temperate grasslandsthemassmaker
 
Primate evolution
Primate evolutionPrimate evolution
Primate evolutionm0nm0n
 

Viewers also liked (20)

Gravitation
GravitationGravitation
Gravitation
 
Air
AirAir
Air
 
Gravitation
GravitationGravitation
Gravitation
 
Maps
MapsMaps
Maps
 
Gravitation
GravitationGravitation
Gravitation
 
Natural vegetation and wildlife
Natural vegetation and wildlifeNatural vegetation and wildlife
Natural vegetation and wildlife
 
Inside our earth
Inside our earthInside our earth
Inside our earth
 
36197659 erich-von-daniken-miracles-of-the-gods
36197659 erich-von-daniken-miracles-of-the-gods36197659 erich-von-daniken-miracles-of-the-gods
36197659 erich-von-daniken-miracles-of-the-gods
 
Our changing earth
Our changing earthOur changing earth
Our changing earth
 
Motions of the earth
Motions of the earthMotions of the earth
Motions of the earth
 
Environment
EnvironmentEnvironment
Environment
 
Electrically Symmetric Poly(Phenylene Acetylene) Diodes
Electrically Symmetric Poly(Phenylene Acetylene) DiodesElectrically Symmetric Poly(Phenylene Acetylene) Diodes
Electrically Symmetric Poly(Phenylene Acetylene) Diodes
 
Is Gravitation A Result Of Asymmetric Coulomb Charge Interactions?
Is Gravitation A Result Of Asymmetric Coulomb Charge Interactions?Is Gravitation A Result Of Asymmetric Coulomb Charge Interactions?
Is Gravitation A Result Of Asymmetric Coulomb Charge Interactions?
 
Human environment interactions
Human environment interactionsHuman environment interactions
Human environment interactions
 
A Characterization of Twin Prime Pairs
A Characterization of Twin Prime PairsA Characterization of Twin Prime Pairs
A Characterization of Twin Prime Pairs
 
A Novel Solution Of Linear Congruences
A Novel Solution Of Linear CongruencesA Novel Solution Of Linear Congruences
A Novel Solution Of Linear Congruences
 
Vector Products Revisited: A New and Efficient Method of Proving Vector Ident...
Vector Products Revisited: A New and Efficient Method of Proving Vector Ident...Vector Products Revisited: A New and Efficient Method of Proving Vector Ident...
Vector Products Revisited: A New and Efficient Method of Proving Vector Ident...
 
Knocking on the Devil’s Door: A Naive Introduction To Quantum Mechanics
Knocking on the Devil’s Door: A Naive Introduction To Quantum MechanicsKnocking on the Devil’s Door: A Naive Introduction To Quantum Mechanics
Knocking on the Devil’s Door: A Naive Introduction To Quantum Mechanics
 
Life in temperate grasslands
Life in temperate grasslandsLife in temperate grasslands
Life in temperate grasslands
 
Primate evolution
Primate evolutionPrimate evolution
Primate evolution
 

Similar to Complementary Sets of Systems of Congruences

modul pembelajaran 4
modul pembelajaran 4modul pembelajaran 4
modul pembelajaran 4Ajrina Pia
 
Maths Assignment Help
Maths Assignment HelpMaths Assignment Help
Maths Assignment Help
Math Homework Solver
 
Ch4.pdf
Ch4.pdfCh4.pdf
Ch4.pdf
SnehSinha6
 
matrix theory and linear algebra.pptx
matrix theory and linear algebra.pptxmatrix theory and linear algebra.pptx
matrix theory and linear algebra.pptx
Maths Assignment Help
 
Maths Assignment Help
Maths Assignment HelpMaths Assignment Help
Maths Assignment Help
Maths Assignment Help
 
LINEAR RECURRENCE RELATIONS WITH CONSTANT COEFFICIENTS
 LINEAR RECURRENCE RELATIONS WITH CONSTANT COEFFICIENTS LINEAR RECURRENCE RELATIONS WITH CONSTANT COEFFICIENTS
LINEAR RECURRENCE RELATIONS WITH CONSTANT COEFFICIENTS
AartiMajumdar1
 
project-linearequationsintwovariables-180708062051.pdf
project-linearequationsintwovariables-180708062051.pdfproject-linearequationsintwovariables-180708062051.pdf
project-linearequationsintwovariables-180708062051.pdf
RohitGanesh9
 
PROJECT (PPT) ON PAIR OF LINEAR EQUATIONS IN TWO VARIABLES - CLASS 10
PROJECT (PPT) ON PAIR OF LINEAR EQUATIONS IN TWO VARIABLES - CLASS 10PROJECT (PPT) ON PAIR OF LINEAR EQUATIONS IN TWO VARIABLES - CLASS 10
PROJECT (PPT) ON PAIR OF LINEAR EQUATIONS IN TWO VARIABLES - CLASS 10
mayank78610
 
Pair of linear equations in two variables for classX
Pair of linear equations in two variables for classXPair of linear equations in two variables for classX
Pair of linear equations in two variables for classX
swastik999
 
Binomial Theorem, Recursion ,Tower of Honai, relations
Binomial Theorem, Recursion ,Tower of Honai, relationsBinomial Theorem, Recursion ,Tower of Honai, relations
Binomial Theorem, Recursion ,Tower of Honai, relations
Aqeel Rafique
 
Chapter 6
Chapter 6Chapter 6
Chapter 6
Kuan-Lun Wang
 
Trigonometry for class xi
Trigonometry for class xiTrigonometry for class xi
Trigonometry for class xiindu psthakur
 
P R E L I M R E V I S I O N U N I T 1
P R E L I M   R E V I S I O N    U N I T 1P R E L I M   R E V I S I O N    U N I T 1
P R E L I M R E V I S I O N U N I T 1mrmcdowall
 
Linear equations in 2 variables
Linear equations in 2 variables Linear equations in 2 variables
Linear equations in 2 variables
Bhavyam Arora
 
Linear Functions And Matrices
Linear Functions And MatricesLinear Functions And Matrices
Linear Functions And Matricesandrewhickson
 

Similar to Complementary Sets of Systems of Congruences (20)

modul pembelajaran 4
modul pembelajaran 4modul pembelajaran 4
modul pembelajaran 4
 
Maths Assignment Help
Maths Assignment HelpMaths Assignment Help
Maths Assignment Help
 
Ch4.pdf
Ch4.pdfCh4.pdf
Ch4.pdf
 
matrix theory and linear algebra.pptx
matrix theory and linear algebra.pptxmatrix theory and linear algebra.pptx
matrix theory and linear algebra.pptx
 
Maths Assignment Help
Maths Assignment HelpMaths Assignment Help
Maths Assignment Help
 
LINEAR RECURRENCE RELATIONS WITH CONSTANT COEFFICIENTS
 LINEAR RECURRENCE RELATIONS WITH CONSTANT COEFFICIENTS LINEAR RECURRENCE RELATIONS WITH CONSTANT COEFFICIENTS
LINEAR RECURRENCE RELATIONS WITH CONSTANT COEFFICIENTS
 
project-linearequationsintwovariables-180708062051.pdf
project-linearequationsintwovariables-180708062051.pdfproject-linearequationsintwovariables-180708062051.pdf
project-linearequationsintwovariables-180708062051.pdf
 
PROJECT (PPT) ON PAIR OF LINEAR EQUATIONS IN TWO VARIABLES - CLASS 10
PROJECT (PPT) ON PAIR OF LINEAR EQUATIONS IN TWO VARIABLES - CLASS 10PROJECT (PPT) ON PAIR OF LINEAR EQUATIONS IN TWO VARIABLES - CLASS 10
PROJECT (PPT) ON PAIR OF LINEAR EQUATIONS IN TWO VARIABLES - CLASS 10
 
Pair of linear equations in two variables for classX
Pair of linear equations in two variables for classXPair of linear equations in two variables for classX
Pair of linear equations in two variables for classX
 
Equations
EquationsEquations
Equations
 
Binomial Theorem, Recursion ,Tower of Honai, relations
Binomial Theorem, Recursion ,Tower of Honai, relationsBinomial Theorem, Recursion ,Tower of Honai, relations
Binomial Theorem, Recursion ,Tower of Honai, relations
 
Roots of polynomials
Roots of polynomialsRoots of polynomials
Roots of polynomials
 
Chapter 6
Chapter 6Chapter 6
Chapter 6
 
Diffy Q Paper
Diffy Q PaperDiffy Q Paper
Diffy Q Paper
 
Trigonometry for class xi
Trigonometry for class xiTrigonometry for class xi
Trigonometry for class xi
 
P R E L I M R E V I S I O N U N I T 1
P R E L I M   R E V I S I O N    U N I T 1P R E L I M   R E V I S I O N    U N I T 1
P R E L I M R E V I S I O N U N I T 1
 
Complex Eigenvalues
Complex EigenvaluesComplex Eigenvalues
Complex Eigenvalues
 
Linear equations in 2 variables
Linear equations in 2 variables Linear equations in 2 variables
Linear equations in 2 variables
 
Linear Functions And Matrices
Linear Functions And MatricesLinear Functions And Matrices
Linear Functions And Matrices
 
Duality
DualityDuality
Duality
 

More from Jeffrey Gold

MarCom/Branding Portfolio (Communication Designer: Jeffrey Gold)
MarCom/Branding Portfolio (Communication Designer: Jeffrey Gold)MarCom/Branding Portfolio (Communication Designer: Jeffrey Gold)
MarCom/Branding Portfolio (Communication Designer: Jeffrey Gold)
Jeffrey Gold
 
Usability Considerations in Website Design: Lessons from Architectural Design...
Usability Considerations in Website Design: Lessons from Architectural Design...Usability Considerations in Website Design: Lessons from Architectural Design...
Usability Considerations in Website Design: Lessons from Architectural Design...
Jeffrey Gold
 
The Importance of Arts In Education
The Importance of Arts In EducationThe Importance of Arts In Education
The Importance of Arts In Education
Jeffrey Gold
 
Short Lifetimes of Light Emitting Polymers
Short Lifetimes of Light Emitting PolymersShort Lifetimes of Light Emitting Polymers
Short Lifetimes of Light Emitting Polymers
Jeffrey Gold
 
Resume - Communication Designer: Jeffrey Gold
Resume - Communication Designer: Jeffrey GoldResume - Communication Designer: Jeffrey Gold
Resume - Communication Designer: Jeffrey Gold
Jeffrey Gold
 
Technical Illustrations
Technical IllustrationsTechnical Illustrations
Technical Illustrations
Jeffrey Gold
 
Graphic Design Portfolio - Designer: Jeffrey Gold
Graphic Design Portfolio - Designer: Jeffrey GoldGraphic Design Portfolio - Designer: Jeffrey Gold
Graphic Design Portfolio - Designer: Jeffrey Gold
Jeffrey Gold
 
Story Structure
Story StructureStory Structure
Story Structure
Jeffrey Gold
 

More from Jeffrey Gold (8)

MarCom/Branding Portfolio (Communication Designer: Jeffrey Gold)
MarCom/Branding Portfolio (Communication Designer: Jeffrey Gold)MarCom/Branding Portfolio (Communication Designer: Jeffrey Gold)
MarCom/Branding Portfolio (Communication Designer: Jeffrey Gold)
 
Usability Considerations in Website Design: Lessons from Architectural Design...
Usability Considerations in Website Design: Lessons from Architectural Design...Usability Considerations in Website Design: Lessons from Architectural Design...
Usability Considerations in Website Design: Lessons from Architectural Design...
 
The Importance of Arts In Education
The Importance of Arts In EducationThe Importance of Arts In Education
The Importance of Arts In Education
 
Short Lifetimes of Light Emitting Polymers
Short Lifetimes of Light Emitting PolymersShort Lifetimes of Light Emitting Polymers
Short Lifetimes of Light Emitting Polymers
 
Resume - Communication Designer: Jeffrey Gold
Resume - Communication Designer: Jeffrey GoldResume - Communication Designer: Jeffrey Gold
Resume - Communication Designer: Jeffrey Gold
 
Technical Illustrations
Technical IllustrationsTechnical Illustrations
Technical Illustrations
 
Graphic Design Portfolio - Designer: Jeffrey Gold
Graphic Design Portfolio - Designer: Jeffrey GoldGraphic Design Portfolio - Designer: Jeffrey Gold
Graphic Design Portfolio - Designer: Jeffrey Gold
 
Story Structure
Story StructureStory Structure
Story Structure
 

Recently uploaded

Digital Artifact 1 - 10VCD Environments Unit
Digital Artifact 1 - 10VCD Environments UnitDigital Artifact 1 - 10VCD Environments Unit
Digital Artifact 1 - 10VCD Environments Unit
chanes7
 
Group Presentation 2 Economics.Ariana Buscigliopptx
Group Presentation 2 Economics.Ariana BuscigliopptxGroup Presentation 2 Economics.Ariana Buscigliopptx
Group Presentation 2 Economics.Ariana Buscigliopptx
ArianaBusciglio
 
Your Skill Boost Masterclass: Strategies for Effective Upskilling
Your Skill Boost Masterclass: Strategies for Effective UpskillingYour Skill Boost Masterclass: Strategies for Effective Upskilling
Your Skill Boost Masterclass: Strategies for Effective Upskilling
Excellence Foundation for South Sudan
 
Top five deadliest dog breeds in America
Top five deadliest dog breeds in AmericaTop five deadliest dog breeds in America
Top five deadliest dog breeds in America
Bisnar Chase Personal Injury Attorneys
 
How to Add Chatter in the odoo 17 ERP Module
How to Add Chatter in the odoo 17 ERP ModuleHow to Add Chatter in the odoo 17 ERP Module
How to Add Chatter in the odoo 17 ERP Module
Celine George
 
kitab khulasah nurul yaqin jilid 1 - 2.pptx
kitab khulasah nurul yaqin jilid 1 - 2.pptxkitab khulasah nurul yaqin jilid 1 - 2.pptx
kitab khulasah nurul yaqin jilid 1 - 2.pptx
datarid22
 
Pollock and Snow "DEIA in the Scholarly Landscape, Session One: Setting Expec...
Pollock and Snow "DEIA in the Scholarly Landscape, Session One: Setting Expec...Pollock and Snow "DEIA in the Scholarly Landscape, Session One: Setting Expec...
Pollock and Snow "DEIA in the Scholarly Landscape, Session One: Setting Expec...
National Information Standards Organization (NISO)
 
South African Journal of Science: Writing with integrity workshop (2024)
South African Journal of Science: Writing with integrity workshop (2024)South African Journal of Science: Writing with integrity workshop (2024)
South African Journal of Science: Writing with integrity workshop (2024)
Academy of Science of South Africa
 
Introduction to AI for Nonprofits with Tapp Network
Introduction to AI for Nonprofits with Tapp NetworkIntroduction to AI for Nonprofits with Tapp Network
Introduction to AI for Nonprofits with Tapp Network
TechSoup
 
World environment day ppt For 5 June 2024
World environment day ppt For 5 June 2024World environment day ppt For 5 June 2024
World environment day ppt For 5 June 2024
ak6969907
 
A Strategic Approach: GenAI in Education
A Strategic Approach: GenAI in EducationA Strategic Approach: GenAI in Education
A Strategic Approach: GenAI in Education
Peter Windle
 
The Diamonds of 2023-2024 in the IGRA collection
The Diamonds of 2023-2024 in the IGRA collectionThe Diamonds of 2023-2024 in the IGRA collection
The Diamonds of 2023-2024 in the IGRA collection
Israel Genealogy Research Association
 
Reflective and Evaluative Practice PowerPoint
Reflective and Evaluative Practice PowerPointReflective and Evaluative Practice PowerPoint
Reflective and Evaluative Practice PowerPoint
amberjdewit93
 
S1-Introduction-Biopesticides in ICM.pptx
S1-Introduction-Biopesticides in ICM.pptxS1-Introduction-Biopesticides in ICM.pptx
S1-Introduction-Biopesticides in ICM.pptx
tarandeep35
 
DRUGS AND ITS classification slide share
DRUGS AND ITS classification slide shareDRUGS AND ITS classification slide share
DRUGS AND ITS classification slide share
taiba qazi
 
A Survey of Techniques for Maximizing LLM Performance.pptx
A Survey of Techniques for Maximizing LLM Performance.pptxA Survey of Techniques for Maximizing LLM Performance.pptx
A Survey of Techniques for Maximizing LLM Performance.pptx
thanhdowork
 
Lapbook sobre os Regimes Totalitários.pdf
Lapbook sobre os Regimes Totalitários.pdfLapbook sobre os Regimes Totalitários.pdf
Lapbook sobre os Regimes Totalitários.pdf
Jean Carlos Nunes Paixão
 
Normal Labour/ Stages of Labour/ Mechanism of Labour
Normal Labour/ Stages of Labour/ Mechanism of LabourNormal Labour/ Stages of Labour/ Mechanism of Labour
Normal Labour/ Stages of Labour/ Mechanism of Labour
Wasim Ak
 
June 3, 2024 Anti-Semitism Letter Sent to MIT President Kornbluth and MIT Cor...
June 3, 2024 Anti-Semitism Letter Sent to MIT President Kornbluth and MIT Cor...June 3, 2024 Anti-Semitism Letter Sent to MIT President Kornbluth and MIT Cor...
June 3, 2024 Anti-Semitism Letter Sent to MIT President Kornbluth and MIT Cor...
Levi Shapiro
 
CACJapan - GROUP Presentation 1- Wk 4.pdf
CACJapan - GROUP Presentation 1- Wk 4.pdfCACJapan - GROUP Presentation 1- Wk 4.pdf
CACJapan - GROUP Presentation 1- Wk 4.pdf
camakaiclarkmusic
 

Recently uploaded (20)

Digital Artifact 1 - 10VCD Environments Unit
Digital Artifact 1 - 10VCD Environments UnitDigital Artifact 1 - 10VCD Environments Unit
Digital Artifact 1 - 10VCD Environments Unit
 
Group Presentation 2 Economics.Ariana Buscigliopptx
Group Presentation 2 Economics.Ariana BuscigliopptxGroup Presentation 2 Economics.Ariana Buscigliopptx
Group Presentation 2 Economics.Ariana Buscigliopptx
 
Your Skill Boost Masterclass: Strategies for Effective Upskilling
Your Skill Boost Masterclass: Strategies for Effective UpskillingYour Skill Boost Masterclass: Strategies for Effective Upskilling
Your Skill Boost Masterclass: Strategies for Effective Upskilling
 
Top five deadliest dog breeds in America
Top five deadliest dog breeds in AmericaTop five deadliest dog breeds in America
Top five deadliest dog breeds in America
 
How to Add Chatter in the odoo 17 ERP Module
How to Add Chatter in the odoo 17 ERP ModuleHow to Add Chatter in the odoo 17 ERP Module
How to Add Chatter in the odoo 17 ERP Module
 
kitab khulasah nurul yaqin jilid 1 - 2.pptx
kitab khulasah nurul yaqin jilid 1 - 2.pptxkitab khulasah nurul yaqin jilid 1 - 2.pptx
kitab khulasah nurul yaqin jilid 1 - 2.pptx
 
Pollock and Snow "DEIA in the Scholarly Landscape, Session One: Setting Expec...
Pollock and Snow "DEIA in the Scholarly Landscape, Session One: Setting Expec...Pollock and Snow "DEIA in the Scholarly Landscape, Session One: Setting Expec...
Pollock and Snow "DEIA in the Scholarly Landscape, Session One: Setting Expec...
 
South African Journal of Science: Writing with integrity workshop (2024)
South African Journal of Science: Writing with integrity workshop (2024)South African Journal of Science: Writing with integrity workshop (2024)
South African Journal of Science: Writing with integrity workshop (2024)
 
Introduction to AI for Nonprofits with Tapp Network
Introduction to AI for Nonprofits with Tapp NetworkIntroduction to AI for Nonprofits with Tapp Network
Introduction to AI for Nonprofits with Tapp Network
 
World environment day ppt For 5 June 2024
World environment day ppt For 5 June 2024World environment day ppt For 5 June 2024
World environment day ppt For 5 June 2024
 
A Strategic Approach: GenAI in Education
A Strategic Approach: GenAI in EducationA Strategic Approach: GenAI in Education
A Strategic Approach: GenAI in Education
 
The Diamonds of 2023-2024 in the IGRA collection
The Diamonds of 2023-2024 in the IGRA collectionThe Diamonds of 2023-2024 in the IGRA collection
The Diamonds of 2023-2024 in the IGRA collection
 
Reflective and Evaluative Practice PowerPoint
Reflective and Evaluative Practice PowerPointReflective and Evaluative Practice PowerPoint
Reflective and Evaluative Practice PowerPoint
 
S1-Introduction-Biopesticides in ICM.pptx
S1-Introduction-Biopesticides in ICM.pptxS1-Introduction-Biopesticides in ICM.pptx
S1-Introduction-Biopesticides in ICM.pptx
 
DRUGS AND ITS classification slide share
DRUGS AND ITS classification slide shareDRUGS AND ITS classification slide share
DRUGS AND ITS classification slide share
 
A Survey of Techniques for Maximizing LLM Performance.pptx
A Survey of Techniques for Maximizing LLM Performance.pptxA Survey of Techniques for Maximizing LLM Performance.pptx
A Survey of Techniques for Maximizing LLM Performance.pptx
 
Lapbook sobre os Regimes Totalitários.pdf
Lapbook sobre os Regimes Totalitários.pdfLapbook sobre os Regimes Totalitários.pdf
Lapbook sobre os Regimes Totalitários.pdf
 
Normal Labour/ Stages of Labour/ Mechanism of Labour
Normal Labour/ Stages of Labour/ Mechanism of LabourNormal Labour/ Stages of Labour/ Mechanism of Labour
Normal Labour/ Stages of Labour/ Mechanism of Labour
 
June 3, 2024 Anti-Semitism Letter Sent to MIT President Kornbluth and MIT Cor...
June 3, 2024 Anti-Semitism Letter Sent to MIT President Kornbluth and MIT Cor...June 3, 2024 Anti-Semitism Letter Sent to MIT President Kornbluth and MIT Cor...
June 3, 2024 Anti-Semitism Letter Sent to MIT President Kornbluth and MIT Cor...
 
CACJapan - GROUP Presentation 1- Wk 4.pdf
CACJapan - GROUP Presentation 1- Wk 4.pdfCACJapan - GROUP Presentation 1- Wk 4.pdf
CACJapan - GROUP Presentation 1- Wk 4.pdf
 

Complementary Sets of Systems of Congruences

  • 1. Chapter 4 Complementary Sets Of Systems Of Congruences Proceedings|NCUR VII. 1993, Vol. II, pp. 793 796. Je rey F. Gold Department of Mathematics, Department of Physics University of Utah Don H. Tucker Department of Mathematics University of Utah Introduction We introduce remodulization and use it to characterize the complementary sets of systems of congruences. The following is an excerpt of a continuing e ort to characterize systems of congruences. Remodulization De nition 1 If a and b are integers, then a mod b = fa; a b; a 2b; : : :g : We will write x a mod b, meaning that x is an element of the set a mod b. The symbol is not an equality symbol, but rather a specialized form of the 2 or is an element of : : : symbol. The common terminology is to say that x 1
  • 2. CHAPTER 4. COMP. SETS OF SYSTEMS OF CONGRUENCES 2 is congruent to a modulo b. These sets are also frequently called residue classes since they consist of those integers which, upon division by b, leave a remainder residue of a. It is customary to write a as the least non-negative residue. De nition 2 If a1; a2; : : : ; an,b 2 Z, then n a1 ; a2 ; : : : ; an mod b = a1 mod b a2 mod b an mod b = ai mod b : i=1 Theorem 1 Remodulization Theorem Suppose a, b, and c 2 Z and c 0, then a mod b = a; a + b; : : : ; a + bc , 1 mod cb : Proof. We write a mod b = f : : : a , cb; a , c , 1b; : : : a , b; a; a + b; : : : a + c , 1b; a + cb; a + c + 1b; : : : a + 2c , 1b; : : : g and upon rewriting the columns, a mod b = f : : : a , cb; a + b , cb; : : : a + c , 1b , cb; a; a + b; : : : a + c , 1b; a + cb; a + b + cb; : : : a + c , 1b + cb; : : : g : Then, forming unions on the extended columns, the result follows. We refer to this process as remodulization by a factor c. Complementary Sets Using De nition 2, the complementary set of a mod b is given by a mod b c = Z n fa mod bg = 0; 1; 2; : : :; a , 1; a + 1; : : : ; b , 1 mod b : In this case, the complementary set consists of b , 1 congruences modulo b. We will always refer to the size of a complementary set with respect to a speci c modulus. The following represents a system of congruences: 8 x a1 mod b1 x a2 mod b2 .. 4.1 . : x a mod b n n
  • 3. CHAPTER 4. COMP. SETS OF SYSTEMS OF CONGRUENCES 3 Characterizing the size of the complementary set of a system of congruences 4.1 is equivalent to counting those integers which are not elements of any of the given congruences. Our method will be to remove the set of numbers satisfying the system of congruences 4.1 from the set of integers Z in a systematic way. Note that Z can be written as a complete residue class, 1; 2; : : :; b mod b, for all b 1. All numbers satisfying the rst congruence in 4.1 will be removed from Z, leaving the complementary set for that congruence. Then we iterate the process by removing all integers satisfying the second congruence from this remaining set, and so on. Stated another way, we are interested in determining the size of n a1 mod b1 a2 mod b2 an mod bn = Z n c ai mod bi ; i=1 where the bi are pairwise relatively prime. Our method is to determine the number of remaining congruences needed to characterize this complementary set. Using the remodulization method, the set of congruences can be expressed Q in terms of the common modulus, mod n=1 bi and the integers, Z, can be ex- i pressed in terms of a complete residue class of the same modulus. To illustrate this procedure, suppose we have the following system of con- gruences x a1 mod b1 x a2 mod b2 where gcdb1 ; b2 = 1. By the Chinese Remainder Theorem 1,2 , these intersect in a unique residue class modulo b1 b2 . Remodulizing the congruences by b2 and b1 , respectively, this system can be expressed as a1 mod b1 = a1 ; a1 + b1 ; : : : ; a1 + b1 b2 , 1 mod b1 b2 a2 mod b2 = a2 ; a2 + b2 ; : : : ; a2 + b2 b1 , 1 mod b1 b2 The rst congruence, after remodulization, consists of b2 congruences mod b1 b2 while the second remodulized congruence consists of b1 congruences mod b1 b2 ; furthermore, Z consists of b1 b2 congruences modulo b1 b2 . Therefore, subtract- ing b1 and b2 from b1 b2 and adding one to this sum the unique intersection of the two congruences was removed twice from b1 b2 , we obtain b1 b2 , b1 , b2 + 1 remaining congruences mod b1 b2 in the complementary set a1 mod b1 a2 mod b2 c :
  • 4. CHAPTER 4. COMP. SETS OF SYSTEMS OF CONGRUENCES 4 However, b1 b2 , b1 , b2 + 1 can be rewritten as b1 , 1b2 , 1; this is typical. Theorem 2 The complementary set of fnSn=1 ai mod big, where the bi arenpair- Q i Q wise relatively prime, contains exactly i=1 bi , 1 congruences modulo i=1 bi . Proof. Suppose we have a system of congruences 4.1 where the bi are pair- wise relatively prime. We have already found that the complementary sets of a1 mod b1 and a1 mod b1 a2 mod b2 consist of b1 , 1 congruences modulo b1 and b2 , 1b1 , 1 congruences modulo b1 b2 , respectively. For the induction argument, suppose we have found the complementary set Q up to kth congruence of 4.1 to consist of the union of k=1 bi , 1 congru- Qk i ences modulo i=1 bi ; then we remove from it the set of numbers congruent fak+1 mod bk+1 g. The complementary set of the latter congruence is comprised of bk+1 , 1 congruences modulo bk+1 . Each of these congruences shares a unique intersection with each Q the congruences in the remaining complemen- of Q +1 tary set; there are bk+1 , 1 k=1 bi , 1 such intersections modulo k=1 bi . i i Therefore, the remaining complementary set, after removing the k + 1st con- gruence from the remaining complementary set, consists of k+1 Y bi , 1 i=1 k+1 Y congruences modulo bi . i=1 If the moduli bi are primes, then we may use Euler's phi function 3,4 , or totient, to formulate the complementary set of a system of congruences. The totient m counts the number of integers not exceeding m which are relatively prime to m. For any prime p, p = p , 1; moreover, because the totient is Q multiplicative, p1 p2 pn = p1 p2 pn = n=1 pi , 1. i Corollary 1 Suppose we have a system of congruences where the moduli pi are primes and pi = pj , for i 6= j . Then the complementary set of 6 8 x a1 mod p1 x a2 mod p2 . . : . x an mod pn n ! n Y Y consists of pi congruences modulo pi . i=1 i=1
  • 5. CHAPTER 4. COMP. SETS OF SYSTEMS OF CONGRUENCES 5 De nition 3 The density of the complementary set of a system of congruences 6 4.1, where gcdbi ; bj = 1 for i = j , with respect to the set Z, is Y
  • 6. bi , 1 n n = bi : i=1 As an illustration, we calculate the size and density of the complementary set of the following system: 8 x 1 mod 3 x 2 mod 5 : x 3 mod 7 The complement of the rst congruence, 1 mod 3, is 2; 3 mod 3, a union of two congruences modulo 3. The complement of 2 mod 5 is 1; 3; 4; 5 mod 5. Each of the congruences in the complementary set modulo 3 shares a unique intersection with the congruences of the complementary set modulo 5; there are 3 , 15 , 1 = 8 remaining congruences modulo 15. Finally, removing all num- bers satisfying 3 mod 7 from these 8 remaining congruences, the complementary set consists of 3 , 15 , 17 , 1 = 48 congruences modulo 105. The density of the complementary set with respect to the set Z at each step in the process is 2=3, 8=15, and 48=105, respectively. If a system consists of bi congruences of the same modulus bi , for each bi , we have the following extension of Theorem 2. Suppose 8 x a1;1 ; a1;2 ; : : : ; a1; b1 mod b1 x a2;1 ; a2;2 ; : : : ; a2; mod b2 ... b2 4.2 : x an;1 ; an;2 ; : : : ; an; bn mod bn where the bi are pairwise relatively prime, and ai;j 6= ai;k for all j = k, and 6 bi bi . The complementary set of the rst congruence is the union of b1 , b1 con- gruences. Likewise, the complementary set of the second congruence contains b2 , b2 congruences; their intersection contains b2 , b2 b1 , b1 congruences modulo b1 b2 . Iterating the process, Qn complementary set of 4.2 consists of Qn the i=1 bi , bi congruences modulo i=1 bi . At each step, however, it is neces- sary to insure that bi , bi 0; otherwise, if bi = bi , the complementary set vanishes altogether, since for that particular value of i, ai;1 ; ai;2 ; : : : ; ai; bi is a complete residue class modulo bi , i.e., the entire set Z. n o Theorem 3 The complementary set of Sn=1 ai;1 ; : : : ; ai; mod bi , where i bi ai;j = ai;k for j 6= k, and b bi , and the bi are pairwise relatively prime, 6 i
  • 7. CHAPTER 4. COMP. SETS OF SYSTEMS OF CONGRUENCES 6 Q Qn contains exactly n=1 bi , bi congruences modulo i=1 bi . The density of the i Qn complementary set is n = i=1 bi ,i bi . b References 1 Gold, Je rey F. and Don H. Tucker, Remodulization of Congruences and Its Applications. To be submitted. 2 Gold, Je rey F. and Don H. Tucker, Remodulization of Congruences, Pro- ceedings - National Conference on Undergraduate Research, University of North Carolina Press, Asheville, North Carolina, 1992, Vol. II, pp. 1036 41. 3 David M. Burton, Elementary Number Theory Wm. C. Brown Publishers, Iowa, 1989, Second Edition, pp. 156 160. 4 Oystein Ore, Number Theory and Its History Dover Publications, Inc., New York, 1988, pp. 109 115.