SlideShare ist ein Scribd-Unternehmen logo
1 von 15
Downloaden Sie, um offline zu lesen
FINITE MATHEMATICS
Igor Rivin, St Andrews, Fall 2015
WHAT IS THIS ABOUT?
• We will be learning about some basic basic techniques, which include:
• Residue arithmetic
• Elements of finite groups
• Elements of finite rings and fields. One of the goals is proving Wedderburn’s theorem,
which states that every finite division ring is a field.
• Elements of number theory (Extended Euclidean algorithm, Chinese Remainder
Theorem, etc)
• Elements of cyclotomic polynomials.
• The very basics of finite vector spaces, as well as affine and projective spaces.
WHAT IS THIS ABOUT, CONTINUED
• The style of the course is leisurely and discourcive – we will take interesting
diversions where we find them,The main point of the course is learning how (some)
mathematicians think, and how we discover mathematics.While much of the
mathematics we are covering is quite classical, all (or most) of it is new to us.
• Our main criterion is not some putative utility, but aesthetics and elegance. One of
the wonderful things about mathematics, is that beautiful things wind up being more
useful!
• What this means is that we often don’t know where we are going, until we get there,
and these notes will be trailing behind the actual course a lot of the time.
RESIDUES
• Consider an integer n. The set 𝑛𝑛ℤ is the set of multiples of n,so 𝑛𝑛ℤ = {𝑛𝑛, 2𝑛𝑛, 3𝑛𝑛, … }. We
define an equivalence relation on the integers ℤ, by saying that 𝑎𝑎 ≡ 𝑏𝑏 (𝑚𝑚𝑚𝑚𝑚𝑚 𝑛𝑛),
whenever 𝑎𝑎 − 𝑏𝑏 ∈ 𝑛𝑛𝑛.We denote the set of equivalence classes of this relation by
ℤ/𝑛𝑛𝑛.
• Given two equivalence classes, we can add and multiply them (by taking integer
representatives, adding or multiplying those, and taking the equivalence class of the
sum or product, respectively).
• It is not hard to see that the classes of 0 and 1 are the additive and multiplicative
identities, respectively, in ℤ/𝑛𝑛𝑛.
RESIDUES
• We thus see that ℤ/𝑛𝑛𝑛 is a commutative ring with 1. (look up the definition!)
• Recall that such a ring is called an integral domain if no non-zero element a is a
divisor of zero. In other words, given a, there is a b, such that a b = 0, if and only if a=0.
• Observation: ℤ/𝑛𝑛𝑛 is not an integral domain unless n is prime. Why? If n is not prime,
then there are 1<k, l<n, such that n = k l. Clearly the residue classes of k and l are 0-
divisors.
• Similarly, we see that ℤ/𝑝𝑝ℤ, for p prime is an integral domain (if k is not a multiple of
p, and l is not a multiple of p, we can’t have k l a multiple of p by the fundamental
theorem of arithmetic.
FUNDAMENTAL THEOREM OF ARITHMETIC
• Any positive integer n can be written as 𝑛𝑛 = 𝑝𝑝1
𝑎𝑎
𝑝𝑝2
𝑏𝑏
…𝑝𝑝𝑘𝑘
𝑐𝑐
, where the 𝑝𝑝𝑖𝑖 are prime, and
this representation is unique up to the order of the factors.
• Proof: existence is easy by induction: either n is prime, in which case there is nothing
to do, or n = k l, in which case represent k and l by induction.The harder part is
uniqueness, which we leave as a challenging problem (we will need the method we
develop in the next little while.
RESIDUE RINGS MODULO A PRIME
• For a prime p, we can show that ℤ/𝑝𝑝𝑝 is not just an integral domain, but a field. This
means that for any nonzero a, there exists a b,such that 𝑎𝑎 𝑏𝑏 ≡ 1 𝑚𝑚𝑚𝑚𝑚𝑚 𝑝𝑝 .
• PROOF 1: Consider the map 𝑀𝑀 𝑎𝑎 : ℤ/𝑝𝑝𝑝 ⟶ ℤ/𝑝𝑝𝑝 , given by M(a)(b) = a b. Since we
know that ℤ/𝑝𝑝𝑝 is an integral domain, this map is 1-1, but a 1-1 map of finite sets of the
same cardinality is a bijection, so there is a b, such that M(a)(b) = 1 = ab.
• The above proof has the virtue of extreme simplicity, but the downside of being non-
constructive (we know that the inverse exists, but don’t really know how to find one).
• PROOF 2: This uses the fundamental properties of the Euclidean Algorithm (see the
sequel) to show the following fundamental result:
CHARACTERIZATION OF THE GREATEST
COMMON DIVISOR
• Suppose m, n are integers.Then, the greatest common divisor of m, n is the smallest
positive value of a linear combination with integer coefficients a m + b n.
• The proof uses the Euclidean Algorithm, which is the following (essentially optimal)
• We want to find the greatest common divisor of n and m.
• Divide with remainder to write n = q m + r.
• Note that the greatest common divisor of n and m is the same as the greatest common
divisor of m and r, but note also that r < min(n,m).
• Which means that the algorithm terminates.
EUCLIDEAN ALGORITHM
• What is more, the remainder r is an integer linear combination of m and n. The next
remainder will be a linear combination of m and r, and so of m and n. So will the last
remainder (which is the gcd).That shows that the value of the smallest linear positive
linear combination of m and n is no bigger than the gcd of m and n. But obviously, the
gcd has to divide any linear combination, so we are done…
APPLICATIONS
• ℤ/𝑝𝑝𝑝 is a field. Indeed, any n not divisible by a prime p is relatively prime to it, so
there exist a, b such that a n + b p = 1. Taking equivalence classes modulo p of both
sides, get a𝑛𝑛 ≡ 1 (𝑚𝑚𝑚𝑚𝑚𝑚 𝑝𝑝)
• Chinese remainder theorem: given moduli 𝑛𝑛1, 𝑛𝑛2,… 𝑛𝑛𝑘𝑘, pairwise relatively prime,
and remainders 𝑟𝑟1, 𝑟𝑟2,… 𝑟𝑟𝑘𝑘, there exists an integer x, such that x ≡ 𝑟𝑟𝑖𝑖 (mod 𝑛𝑛𝑖𝑖), for
every i.
• Proof of CRT by induction on k: first, do it for k=2. Look for x in the form
• 𝑥𝑥 = 𝑎𝑎 𝑛𝑛1+b 𝑛𝑛2.We see that 𝑎𝑎𝑛𝑛1 ≡ 𝑟𝑟2 (𝑚𝑚𝑚𝑚𝑚𝑚 𝑛𝑛2), and 𝑏𝑏𝑛𝑛2 ≡ 𝑟𝑟1 (𝑚𝑚𝑚𝑚𝑚𝑚 𝑛𝑛1), so we see that
𝑎𝑎 ≡ 𝑟𝑟2 𝑛𝑛1
−1
(𝑚𝑚𝑚𝑚𝑚𝑚 𝑛𝑛2), and 𝑏𝑏 ≡ 𝑟𝑟1 𝑛𝑛2
−1
(𝑚𝑚𝑚𝑚𝑚𝑚 𝑛𝑛1).
FIELDS
CHARACTERISTIC OF A FIELD
• The characteristic of a field F is the smallest integer c such that c x = 0, for any
element x of F. If there is no such positive integer, the characteristic is said to be
equal to 0.
• Observation: the characteristic, if not equal to 0, has to be prime. If not, c = a b, so 0 =
𝑐𝑐 × 1 = 𝑎𝑎 × 1 × 𝑏𝑏 × 1 , which contradicts the existence of 0-divisors in a field.
• Another observation: any field F of characteristic p contains a copy of 𝔽𝔽𝑝𝑝=ℤ/𝑝𝑝𝑝.
Indeed, the elements 0,1, …, p-1 are such a copy.This copy is called the prime field
of F.
VECTOR SPACES
• A vector space V over a field F is an abelian group (which we will denote additively)
with an action by F, satisfying:
• 0x = 0, for all x in V.
• 1x = x, for all x in V.
• 𝑐𝑐 𝑑𝑑 𝑥𝑥 = 𝑐𝑐𝑐𝑐 𝑥𝑥, for all x in V, and c,d in F.
• 𝑐𝑐 + 𝑑𝑑 𝑥𝑥 = 𝑐𝑐 𝑥𝑥 + 𝑑𝑑 𝑥𝑥, for all x in V, c, d in F.
• 𝑐𝑐 𝑥𝑥 + 𝑦𝑦 = 𝑐𝑐 𝑥𝑥 + 𝑐𝑐 𝑦𝑦, for all c in F, and x, y in F.
VECTOR SPACES
• A set of elements S= 𝑣𝑣1, 𝑣𝑣2 … , 𝑣𝑣𝑘𝑘 has a span, which is the set of all linear
combinations of elements in S. This is denoted by 𝑆𝑆 . A set S is called spanning, if
𝑆𝑆 =V.
• A set of elements S is called independent, if 𝑓𝑓1 𝑣𝑣1 + 𝑓𝑓2 𝑣𝑣2 + ⋯ 𝑓𝑓𝑘𝑘 𝑣𝑣𝑘𝑘 = 0 impliest that all
of the 𝑓𝑓𝑖𝑖 are zero.
• A set of elements S is called a basis, if it is both spanning and independent.
• Every finite vector space V has a basis (keep adding elements) B, and the cardinality
𝑉𝑉 = 𝐹𝐹 𝐵𝐵
VECTOR SPACES AND FINITE FIELDS
• Note that every finite field is a vector space over its prime field, so we see that
• The cardinality of every finite field is 𝒑𝒑𝒌𝒌
, for some prime p.
• Interesting fact: up to isomorphism, there is exactly one field of given
cardinality.

Weitere ähnliche Inhalte

Was ist angesagt?

Hausdorff and Non-Hausdorff Spaces
Hausdorff and Non-Hausdorff SpacesHausdorff and Non-Hausdorff Spaces
Hausdorff and Non-Hausdorff Spacesgizemk
 
Lagrange's equation with one application
Lagrange's equation with one applicationLagrange's equation with one application
Lagrange's equation with one applicationZakaria Hossain
 
6.2 Reflexivity, symmetry and transitivity (handout)
6.2 Reflexivity, symmetry and transitivity (handout)6.2 Reflexivity, symmetry and transitivity (handout)
6.2 Reflexivity, symmetry and transitivity (handout)Jan Plaza
 
6.3 Equivalences versus partitions
6.3 Equivalences versus partitions6.3 Equivalences versus partitions
6.3 Equivalences versus partitionsJan Plaza
 
6.2 Reflexivity, symmetry and transitivity (dynamic slides)
6.2 Reflexivity, symmetry and transitivity (dynamic slides)6.2 Reflexivity, symmetry and transitivity (dynamic slides)
6.2 Reflexivity, symmetry and transitivity (dynamic slides)Jan Plaza
 
Note on closed sets in topological spaces
Note on    closed sets in topological spacesNote on    closed sets in topological spaces
Note on closed sets in topological spacesAlexander Decker
 
Tim Maudlin: New Foundations for Physical Geometry
Tim Maudlin: New Foundations for Physical GeometryTim Maudlin: New Foundations for Physical Geometry
Tim Maudlin: New Foundations for Physical GeometryArun Gupta
 
January 14
January 14January 14
January 14khyps13
 
Unit 1: Topological spaces (its definition and definition of open sets)
Unit 1:  Topological spaces (its definition and definition of open sets)Unit 1:  Topological spaces (its definition and definition of open sets)
Unit 1: Topological spaces (its definition and definition of open sets)nasserfuzt
 
Section 11: Normal Subgroups
Section 11: Normal SubgroupsSection 11: Normal Subgroups
Section 11: Normal SubgroupsKevin Johnson
 
M1 unit iv-jntuworld
M1 unit iv-jntuworldM1 unit iv-jntuworld
M1 unit iv-jntuworldmrecedu
 
6.1 Partitions
6.1 Partitions6.1 Partitions
6.1 PartitionsJan Plaza
 
Conformal symmetry transformations and nonlinear Maxwell equations, G.A.Goldi...
Conformal symmetry transformations and nonlinear Maxwell equations, G.A.Goldi...Conformal symmetry transformations and nonlinear Maxwell equations, G.A.Goldi...
Conformal symmetry transformations and nonlinear Maxwell equations, G.A.Goldi...Steven Duplij (Stepan Douplii)
 

Was ist angesagt? (20)

Part VI - Group Theory
Part VI - Group TheoryPart VI - Group Theory
Part VI - Group Theory
 
topology definitions
 topology definitions topology definitions
topology definitions
 
Topology M.Sc. 2 semester Mathematics compactness, unit - 4
Topology M.Sc. 2 semester Mathematics compactness, unit - 4Topology M.Sc. 2 semester Mathematics compactness, unit - 4
Topology M.Sc. 2 semester Mathematics compactness, unit - 4
 
Loci
LociLoci
Loci
 
Hausdorff and Non-Hausdorff Spaces
Hausdorff and Non-Hausdorff SpacesHausdorff and Non-Hausdorff Spaces
Hausdorff and Non-Hausdorff Spaces
 
Lagrange's equation with one application
Lagrange's equation with one applicationLagrange's equation with one application
Lagrange's equation with one application
 
Topology
TopologyTopology
Topology
 
6.2 Reflexivity, symmetry and transitivity (handout)
6.2 Reflexivity, symmetry and transitivity (handout)6.2 Reflexivity, symmetry and transitivity (handout)
6.2 Reflexivity, symmetry and transitivity (handout)
 
6.3 Equivalences versus partitions
6.3 Equivalences versus partitions6.3 Equivalences versus partitions
6.3 Equivalences versus partitions
 
6.2 Reflexivity, symmetry and transitivity (dynamic slides)
6.2 Reflexivity, symmetry and transitivity (dynamic slides)6.2 Reflexivity, symmetry and transitivity (dynamic slides)
6.2 Reflexivity, symmetry and transitivity (dynamic slides)
 
Note on closed sets in topological spaces
Note on    closed sets in topological spacesNote on    closed sets in topological spaces
Note on closed sets in topological spaces
 
Tim Maudlin: New Foundations for Physical Geometry
Tim Maudlin: New Foundations for Physical GeometryTim Maudlin: New Foundations for Physical Geometry
Tim Maudlin: New Foundations for Physical Geometry
 
UCSD NANO106 - 01 - Introduction to Crystallography
UCSD NANO106 - 01 - Introduction to CrystallographyUCSD NANO106 - 01 - Introduction to Crystallography
UCSD NANO106 - 01 - Introduction to Crystallography
 
January 14
January 14January 14
January 14
 
Unit 1: Topological spaces (its definition and definition of open sets)
Unit 1:  Topological spaces (its definition and definition of open sets)Unit 1:  Topological spaces (its definition and definition of open sets)
Unit 1: Topological spaces (its definition and definition of open sets)
 
Text book pdf
Text book pdfText book pdf
Text book pdf
 
Section 11: Normal Subgroups
Section 11: Normal SubgroupsSection 11: Normal Subgroups
Section 11: Normal Subgroups
 
M1 unit iv-jntuworld
M1 unit iv-jntuworldM1 unit iv-jntuworld
M1 unit iv-jntuworld
 
6.1 Partitions
6.1 Partitions6.1 Partitions
6.1 Partitions
 
Conformal symmetry transformations and nonlinear Maxwell equations, G.A.Goldi...
Conformal symmetry transformations and nonlinear Maxwell equations, G.A.Goldi...Conformal symmetry transformations and nonlinear Maxwell equations, G.A.Goldi...
Conformal symmetry transformations and nonlinear Maxwell equations, G.A.Goldi...
 

Andere mochten auch

Billiards talk
Billiards talkBilliards talk
Billiards talkIgor Rivin
 
Taleb interaction
Taleb interactionTaleb interaction
Taleb interactionIgor Rivin
 
Bms friday Colloquium
Bms friday ColloquiumBms friday Colloquium
Bms friday ColloquiumIgor Rivin
 
An up to date resume.
An up to date resume.An up to date resume.
An up to date resume.Igor Rivin
 
Ike's nightmare
Ike's nightmareIke's nightmare
Ike's nightmareIgor Rivin
 
Random 3-manifolds
Random 3-manifoldsRandom 3-manifolds
Random 3-manifoldsIgor Rivin
 
Geometry, combinatorics, computation with Zeolites
Geometry, combinatorics, computation with ZeolitesGeometry, combinatorics, computation with Zeolites
Geometry, combinatorics, computation with ZeolitesIgor Rivin
 

Andere mochten auch (8)

Billiards talk
Billiards talkBilliards talk
Billiards talk
 
Taleb interaction
Taleb interactionTaleb interaction
Taleb interaction
 
Hot topics
Hot topicsHot topics
Hot topics
 
Bms friday Colloquium
Bms friday ColloquiumBms friday Colloquium
Bms friday Colloquium
 
An up to date resume.
An up to date resume.An up to date resume.
An up to date resume.
 
Ike's nightmare
Ike's nightmareIke's nightmare
Ike's nightmare
 
Random 3-manifolds
Random 3-manifoldsRandom 3-manifolds
Random 3-manifolds
 
Geometry, combinatorics, computation with Zeolites
Geometry, combinatorics, computation with ZeolitesGeometry, combinatorics, computation with Zeolites
Geometry, combinatorics, computation with Zeolites
 

Ähnlich wie Finite mathematics

Mathematics in the Modern World (Patterns and Sequences).pptx
Mathematics in the Modern World (Patterns and Sequences).pptxMathematics in the Modern World (Patterns and Sequences).pptx
Mathematics in the Modern World (Patterns and Sequences).pptxReignAnntonetteYayai
 
Vector space introduction
Vector space introductionVector space introduction
Vector space introductionROHAN GAIKWAD
 
Universal Approximation Theorem
Universal Approximation TheoremUniversal Approximation Theorem
Universal Approximation TheoremJamie Seol
 
Grovers Algorithm
Grovers Algorithm Grovers Algorithm
Grovers Algorithm CaseyHaaland
 
AP Advantage: AP Calculus
AP Advantage: AP CalculusAP Advantage: AP Calculus
AP Advantage: AP CalculusShashank Patil
 
Variational inference
Variational inference  Variational inference
Variational inference Natan Katz
 
Transform as a vector? Tying functional parity with rotation angle of coordin...
Transform as a vector? Tying functional parity with rotation angle of coordin...Transform as a vector? Tying functional parity with rotation angle of coordin...
Transform as a vector? Tying functional parity with rotation angle of coordin...SayakBhattacharjee4
 
Chap 1 real number
Chap 1 real numberChap 1 real number
Chap 1 real numberJNV
 
Gnt lecture notes (1)
Gnt lecture notes (1)Gnt lecture notes (1)
Gnt lecture notes (1)vahidmesic1
 
Cantor Infinity theorems
Cantor Infinity theoremsCantor Infinity theorems
Cantor Infinity theoremsOren Ish-Am
 
Optimum Engineering Design - Day 2b. Classical Optimization methods
Optimum Engineering Design - Day 2b. Classical Optimization methodsOptimum Engineering Design - Day 2b. Classical Optimization methods
Optimum Engineering Design - Day 2b. Classical Optimization methodsSantiagoGarridoBulln
 
Additional Mathematics Revision
Additional Mathematics RevisionAdditional Mathematics Revision
Additional Mathematics RevisionKatie B
 
applied modern geometry.pptx
applied modern geometry.pptxapplied modern geometry.pptx
applied modern geometry.pptxJennilynBalusdan3
 
Mkk1013 chapter 2.1
Mkk1013 chapter 2.1Mkk1013 chapter 2.1
Mkk1013 chapter 2.1ramlahmailok
 
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, relationsAqeel Rafique
 

Ähnlich wie Finite mathematics (20)

Mathematics in the Modern World (Patterns and Sequences).pptx
Mathematics in the Modern World (Patterns and Sequences).pptxMathematics in the Modern World (Patterns and Sequences).pptx
Mathematics in the Modern World (Patterns and Sequences).pptx
 
Ch01
Ch01Ch01
Ch01
 
Vector space introduction
Vector space introductionVector space introduction
Vector space introduction
 
Universal Approximation Theorem
Universal Approximation TheoremUniversal Approximation Theorem
Universal Approximation Theorem
 
Grovers Algorithm
Grovers Algorithm Grovers Algorithm
Grovers Algorithm
 
AP Advantage: AP Calculus
AP Advantage: AP CalculusAP Advantage: AP Calculus
AP Advantage: AP Calculus
 
Variational inference
Variational inference  Variational inference
Variational inference
 
Transform as a vector? Tying functional parity with rotation angle of coordin...
Transform as a vector? Tying functional parity with rotation angle of coordin...Transform as a vector? Tying functional parity with rotation angle of coordin...
Transform as a vector? Tying functional parity with rotation angle of coordin...
 
Chap 1 real number
Chap 1 real numberChap 1 real number
Chap 1 real number
 
Note.pdf
Note.pdfNote.pdf
Note.pdf
 
Gnt lecture notes (1)
Gnt lecture notes (1)Gnt lecture notes (1)
Gnt lecture notes (1)
 
L16
L16L16
L16
 
Cantor Infinity theorems
Cantor Infinity theoremsCantor Infinity theorems
Cantor Infinity theorems
 
Optimum Engineering Design - Day 2b. Classical Optimization methods
Optimum Engineering Design - Day 2b. Classical Optimization methodsOptimum Engineering Design - Day 2b. Classical Optimization methods
Optimum Engineering Design - Day 2b. Classical Optimization methods
 
Additional Mathematics Revision
Additional Mathematics RevisionAdditional Mathematics Revision
Additional Mathematics Revision
 
Vectors Yr 1.pptx
Vectors Yr 1.pptxVectors Yr 1.pptx
Vectors Yr 1.pptx
 
applied modern geometry.pptx
applied modern geometry.pptxapplied modern geometry.pptx
applied modern geometry.pptx
 
Mkk1013 chapter 2.1
Mkk1013 chapter 2.1Mkk1013 chapter 2.1
Mkk1013 chapter 2.1
 
Unit v
Unit vUnit v
Unit v
 
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
 

Mehr von Igor Rivin

Options: a cynical boy's guide
Options: a cynical boy's guideOptions: a cynical boy's guide
Options: a cynical boy's guideIgor Rivin
 
Computing with matrix groups, or "how dense is dense"
Computing with matrix groups, or "how dense is dense"Computing with matrix groups, or "how dense is dense"
Computing with matrix groups, or "how dense is dense"Igor Rivin
 
Bursting bubbles or what recovery?
Bursting bubbles or what recovery?Bursting bubbles or what recovery?
Bursting bubbles or what recovery?Igor Rivin
 
Random 3-manifolds
Random 3-manifoldsRandom 3-manifolds
Random 3-manifoldsIgor Rivin
 
Talk at Quantopian.com quant finance meetup.
Talk at Quantopian.com quant finance meetup.Talk at Quantopian.com quant finance meetup.
Talk at Quantopian.com quant finance meetup.Igor Rivin
 
Gtc 2010 py_cula_better
Gtc 2010 py_cula_betterGtc 2010 py_cula_better
Gtc 2010 py_cula_betterIgor Rivin
 
Asymptotic geometry of convex sets
Asymptotic geometry of convex setsAsymptotic geometry of convex sets
Asymptotic geometry of convex setsIgor Rivin
 
Conformal matching
Conformal matchingConformal matching
Conformal matchingIgor Rivin
 

Mehr von Igor Rivin (9)

Options: a cynical boy's guide
Options: a cynical boy's guideOptions: a cynical boy's guide
Options: a cynical boy's guide
 
Computing with matrix groups, or "how dense is dense"
Computing with matrix groups, or "how dense is dense"Computing with matrix groups, or "how dense is dense"
Computing with matrix groups, or "how dense is dense"
 
Standrewstalk
StandrewstalkStandrewstalk
Standrewstalk
 
Bursting bubbles or what recovery?
Bursting bubbles or what recovery?Bursting bubbles or what recovery?
Bursting bubbles or what recovery?
 
Random 3-manifolds
Random 3-manifoldsRandom 3-manifolds
Random 3-manifolds
 
Talk at Quantopian.com quant finance meetup.
Talk at Quantopian.com quant finance meetup.Talk at Quantopian.com quant finance meetup.
Talk at Quantopian.com quant finance meetup.
 
Gtc 2010 py_cula_better
Gtc 2010 py_cula_betterGtc 2010 py_cula_better
Gtc 2010 py_cula_better
 
Asymptotic geometry of convex sets
Asymptotic geometry of convex setsAsymptotic geometry of convex sets
Asymptotic geometry of convex sets
 
Conformal matching
Conformal matchingConformal matching
Conformal matching
 

Kürzlich hochgeladen

Animal Communication- Auditory and Visual.pptx
Animal Communication- Auditory and Visual.pptxAnimal Communication- Auditory and Visual.pptx
Animal Communication- Auditory and Visual.pptxUmerFayaz5
 
Formation of low mass protostars and their circumstellar disks
Formation of low mass protostars and their circumstellar disksFormation of low mass protostars and their circumstellar disks
Formation of low mass protostars and their circumstellar disksSérgio Sacani
 
Presentation Vikram Lander by Vedansh Gupta.pptx
Presentation Vikram Lander by Vedansh Gupta.pptxPresentation Vikram Lander by Vedansh Gupta.pptx
Presentation Vikram Lander by Vedansh Gupta.pptxgindu3009
 
Call Girls in Munirka Delhi 💯Call Us 🔝9953322196🔝 💯Escort.
Call Girls in Munirka Delhi 💯Call Us 🔝9953322196🔝 💯Escort.Call Girls in Munirka Delhi 💯Call Us 🔝9953322196🔝 💯Escort.
Call Girls in Munirka Delhi 💯Call Us 🔝9953322196🔝 💯Escort.aasikanpl
 
Botany 4th semester file By Sumit Kumar yadav.pdf
Botany 4th semester file By Sumit Kumar yadav.pdfBotany 4th semester file By Sumit Kumar yadav.pdf
Botany 4th semester file By Sumit Kumar yadav.pdfSumit Kumar yadav
 
Orientation, design and principles of polyhouse
Orientation, design and principles of polyhouseOrientation, design and principles of polyhouse
Orientation, design and principles of polyhousejana861314
 
Bentham & Hooker's Classification. along with the merits and demerits of the ...
Bentham & Hooker's Classification. along with the merits and demerits of the ...Bentham & Hooker's Classification. along with the merits and demerits of the ...
Bentham & Hooker's Classification. along with the merits and demerits of the ...Nistarini College, Purulia (W.B) India
 
Disentangling the origin of chemical differences using GHOST
Disentangling the origin of chemical differences using GHOSTDisentangling the origin of chemical differences using GHOST
Disentangling the origin of chemical differences using GHOSTSérgio Sacani
 
Hubble Asteroid Hunter III. Physical properties of newly found asteroids
Hubble Asteroid Hunter III. Physical properties of newly found asteroidsHubble Asteroid Hunter III. Physical properties of newly found asteroids
Hubble Asteroid Hunter III. Physical properties of newly found asteroidsSérgio Sacani
 
Recombinant DNA technology (Immunological screening)
Recombinant DNA technology (Immunological screening)Recombinant DNA technology (Immunological screening)
Recombinant DNA technology (Immunological screening)PraveenaKalaiselvan1
 
Analytical Profile of Coleus Forskohlii | Forskolin .pptx
Analytical Profile of Coleus Forskohlii | Forskolin .pptxAnalytical Profile of Coleus Forskohlii | Forskolin .pptx
Analytical Profile of Coleus Forskohlii | Forskolin .pptxSwapnil Therkar
 
Cultivation of KODO MILLET . made by Ghanshyam pptx
Cultivation of KODO MILLET . made by Ghanshyam pptxCultivation of KODO MILLET . made by Ghanshyam pptx
Cultivation of KODO MILLET . made by Ghanshyam pptxpradhanghanshyam7136
 
Artificial Intelligence In Microbiology by Dr. Prince C P
Artificial Intelligence In Microbiology by Dr. Prince C PArtificial Intelligence In Microbiology by Dr. Prince C P
Artificial Intelligence In Microbiology by Dr. Prince C PPRINCE C P
 
Nightside clouds and disequilibrium chemistry on the hot Jupiter WASP-43b
Nightside clouds and disequilibrium chemistry on the hot Jupiter WASP-43bNightside clouds and disequilibrium chemistry on the hot Jupiter WASP-43b
Nightside clouds and disequilibrium chemistry on the hot Jupiter WASP-43bSérgio Sacani
 
All-domain Anomaly Resolution Office U.S. Department of Defense (U) Case: “Eg...
All-domain Anomaly Resolution Office U.S. Department of Defense (U) Case: “Eg...All-domain Anomaly Resolution Office U.S. Department of Defense (U) Case: “Eg...
All-domain Anomaly Resolution Office U.S. Department of Defense (U) Case: “Eg...Sérgio Sacani
 
Work, Energy and Power for class 10 ICSE Physics
Work, Energy and Power for class 10 ICSE PhysicsWork, Energy and Power for class 10 ICSE Physics
Work, Energy and Power for class 10 ICSE Physicsvishikhakeshava1
 
Analytical Profile of Coleus Forskohlii | Forskolin .pdf
Analytical Profile of Coleus Forskohlii | Forskolin .pdfAnalytical Profile of Coleus Forskohlii | Forskolin .pdf
Analytical Profile of Coleus Forskohlii | Forskolin .pdfSwapnil Therkar
 
G9 Science Q4- Week 1-2 Projectile Motion.ppt
G9 Science Q4- Week 1-2 Projectile Motion.pptG9 Science Q4- Week 1-2 Projectile Motion.ppt
G9 Science Q4- Week 1-2 Projectile Motion.pptMAESTRELLAMesa2
 
CALL ON ➥8923113531 🔝Call Girls Kesar Bagh Lucknow best Night Fun service 🪡
CALL ON ➥8923113531 🔝Call Girls Kesar Bagh Lucknow best Night Fun service  🪡CALL ON ➥8923113531 🔝Call Girls Kesar Bagh Lucknow best Night Fun service  🪡
CALL ON ➥8923113531 🔝Call Girls Kesar Bagh Lucknow best Night Fun service 🪡anilsa9823
 

Kürzlich hochgeladen (20)

Animal Communication- Auditory and Visual.pptx
Animal Communication- Auditory and Visual.pptxAnimal Communication- Auditory and Visual.pptx
Animal Communication- Auditory and Visual.pptx
 
Formation of low mass protostars and their circumstellar disks
Formation of low mass protostars and their circumstellar disksFormation of low mass protostars and their circumstellar disks
Formation of low mass protostars and their circumstellar disks
 
Presentation Vikram Lander by Vedansh Gupta.pptx
Presentation Vikram Lander by Vedansh Gupta.pptxPresentation Vikram Lander by Vedansh Gupta.pptx
Presentation Vikram Lander by Vedansh Gupta.pptx
 
Call Girls in Munirka Delhi 💯Call Us 🔝9953322196🔝 💯Escort.
Call Girls in Munirka Delhi 💯Call Us 🔝9953322196🔝 💯Escort.Call Girls in Munirka Delhi 💯Call Us 🔝9953322196🔝 💯Escort.
Call Girls in Munirka Delhi 💯Call Us 🔝9953322196🔝 💯Escort.
 
Botany 4th semester file By Sumit Kumar yadav.pdf
Botany 4th semester file By Sumit Kumar yadav.pdfBotany 4th semester file By Sumit Kumar yadav.pdf
Botany 4th semester file By Sumit Kumar yadav.pdf
 
Orientation, design and principles of polyhouse
Orientation, design and principles of polyhouseOrientation, design and principles of polyhouse
Orientation, design and principles of polyhouse
 
Bentham & Hooker's Classification. along with the merits and demerits of the ...
Bentham & Hooker's Classification. along with the merits and demerits of the ...Bentham & Hooker's Classification. along with the merits and demerits of the ...
Bentham & Hooker's Classification. along with the merits and demerits of the ...
 
Disentangling the origin of chemical differences using GHOST
Disentangling the origin of chemical differences using GHOSTDisentangling the origin of chemical differences using GHOST
Disentangling the origin of chemical differences using GHOST
 
CELL -Structural and Functional unit of life.pdf
CELL -Structural and Functional unit of life.pdfCELL -Structural and Functional unit of life.pdf
CELL -Structural and Functional unit of life.pdf
 
Hubble Asteroid Hunter III. Physical properties of newly found asteroids
Hubble Asteroid Hunter III. Physical properties of newly found asteroidsHubble Asteroid Hunter III. Physical properties of newly found asteroids
Hubble Asteroid Hunter III. Physical properties of newly found asteroids
 
Recombinant DNA technology (Immunological screening)
Recombinant DNA technology (Immunological screening)Recombinant DNA technology (Immunological screening)
Recombinant DNA technology (Immunological screening)
 
Analytical Profile of Coleus Forskohlii | Forskolin .pptx
Analytical Profile of Coleus Forskohlii | Forskolin .pptxAnalytical Profile of Coleus Forskohlii | Forskolin .pptx
Analytical Profile of Coleus Forskohlii | Forskolin .pptx
 
Cultivation of KODO MILLET . made by Ghanshyam pptx
Cultivation of KODO MILLET . made by Ghanshyam pptxCultivation of KODO MILLET . made by Ghanshyam pptx
Cultivation of KODO MILLET . made by Ghanshyam pptx
 
Artificial Intelligence In Microbiology by Dr. Prince C P
Artificial Intelligence In Microbiology by Dr. Prince C PArtificial Intelligence In Microbiology by Dr. Prince C P
Artificial Intelligence In Microbiology by Dr. Prince C P
 
Nightside clouds and disequilibrium chemistry on the hot Jupiter WASP-43b
Nightside clouds and disequilibrium chemistry on the hot Jupiter WASP-43bNightside clouds and disequilibrium chemistry on the hot Jupiter WASP-43b
Nightside clouds and disequilibrium chemistry on the hot Jupiter WASP-43b
 
All-domain Anomaly Resolution Office U.S. Department of Defense (U) Case: “Eg...
All-domain Anomaly Resolution Office U.S. Department of Defense (U) Case: “Eg...All-domain Anomaly Resolution Office U.S. Department of Defense (U) Case: “Eg...
All-domain Anomaly Resolution Office U.S. Department of Defense (U) Case: “Eg...
 
Work, Energy and Power for class 10 ICSE Physics
Work, Energy and Power for class 10 ICSE PhysicsWork, Energy and Power for class 10 ICSE Physics
Work, Energy and Power for class 10 ICSE Physics
 
Analytical Profile of Coleus Forskohlii | Forskolin .pdf
Analytical Profile of Coleus Forskohlii | Forskolin .pdfAnalytical Profile of Coleus Forskohlii | Forskolin .pdf
Analytical Profile of Coleus Forskohlii | Forskolin .pdf
 
G9 Science Q4- Week 1-2 Projectile Motion.ppt
G9 Science Q4- Week 1-2 Projectile Motion.pptG9 Science Q4- Week 1-2 Projectile Motion.ppt
G9 Science Q4- Week 1-2 Projectile Motion.ppt
 
CALL ON ➥8923113531 🔝Call Girls Kesar Bagh Lucknow best Night Fun service 🪡
CALL ON ➥8923113531 🔝Call Girls Kesar Bagh Lucknow best Night Fun service  🪡CALL ON ➥8923113531 🔝Call Girls Kesar Bagh Lucknow best Night Fun service  🪡
CALL ON ➥8923113531 🔝Call Girls Kesar Bagh Lucknow best Night Fun service 🪡
 

Finite mathematics

  • 1. FINITE MATHEMATICS Igor Rivin, St Andrews, Fall 2015
  • 2. WHAT IS THIS ABOUT? • We will be learning about some basic basic techniques, which include: • Residue arithmetic • Elements of finite groups • Elements of finite rings and fields. One of the goals is proving Wedderburn’s theorem, which states that every finite division ring is a field. • Elements of number theory (Extended Euclidean algorithm, Chinese Remainder Theorem, etc) • Elements of cyclotomic polynomials. • The very basics of finite vector spaces, as well as affine and projective spaces.
  • 3. WHAT IS THIS ABOUT, CONTINUED • The style of the course is leisurely and discourcive – we will take interesting diversions where we find them,The main point of the course is learning how (some) mathematicians think, and how we discover mathematics.While much of the mathematics we are covering is quite classical, all (or most) of it is new to us. • Our main criterion is not some putative utility, but aesthetics and elegance. One of the wonderful things about mathematics, is that beautiful things wind up being more useful! • What this means is that we often don’t know where we are going, until we get there, and these notes will be trailing behind the actual course a lot of the time.
  • 4. RESIDUES • Consider an integer n. The set 𝑛𝑛ℤ is the set of multiples of n,so 𝑛𝑛ℤ = {𝑛𝑛, 2𝑛𝑛, 3𝑛𝑛, … }. We define an equivalence relation on the integers ℤ, by saying that 𝑎𝑎 ≡ 𝑏𝑏 (𝑚𝑚𝑚𝑚𝑚𝑚 𝑛𝑛), whenever 𝑎𝑎 − 𝑏𝑏 ∈ 𝑛𝑛𝑛.We denote the set of equivalence classes of this relation by ℤ/𝑛𝑛𝑛. • Given two equivalence classes, we can add and multiply them (by taking integer representatives, adding or multiplying those, and taking the equivalence class of the sum or product, respectively). • It is not hard to see that the classes of 0 and 1 are the additive and multiplicative identities, respectively, in ℤ/𝑛𝑛𝑛.
  • 5. RESIDUES • We thus see that ℤ/𝑛𝑛𝑛 is a commutative ring with 1. (look up the definition!) • Recall that such a ring is called an integral domain if no non-zero element a is a divisor of zero. In other words, given a, there is a b, such that a b = 0, if and only if a=0. • Observation: ℤ/𝑛𝑛𝑛 is not an integral domain unless n is prime. Why? If n is not prime, then there are 1<k, l<n, such that n = k l. Clearly the residue classes of k and l are 0- divisors. • Similarly, we see that ℤ/𝑝𝑝ℤ, for p prime is an integral domain (if k is not a multiple of p, and l is not a multiple of p, we can’t have k l a multiple of p by the fundamental theorem of arithmetic.
  • 6. FUNDAMENTAL THEOREM OF ARITHMETIC • Any positive integer n can be written as 𝑛𝑛 = 𝑝𝑝1 𝑎𝑎 𝑝𝑝2 𝑏𝑏 …𝑝𝑝𝑘𝑘 𝑐𝑐 , where the 𝑝𝑝𝑖𝑖 are prime, and this representation is unique up to the order of the factors. • Proof: existence is easy by induction: either n is prime, in which case there is nothing to do, or n = k l, in which case represent k and l by induction.The harder part is uniqueness, which we leave as a challenging problem (we will need the method we develop in the next little while.
  • 7. RESIDUE RINGS MODULO A PRIME • For a prime p, we can show that ℤ/𝑝𝑝𝑝 is not just an integral domain, but a field. This means that for any nonzero a, there exists a b,such that 𝑎𝑎 𝑏𝑏 ≡ 1 𝑚𝑚𝑚𝑚𝑚𝑚 𝑝𝑝 . • PROOF 1: Consider the map 𝑀𝑀 𝑎𝑎 : ℤ/𝑝𝑝𝑝 ⟶ ℤ/𝑝𝑝𝑝 , given by M(a)(b) = a b. Since we know that ℤ/𝑝𝑝𝑝 is an integral domain, this map is 1-1, but a 1-1 map of finite sets of the same cardinality is a bijection, so there is a b, such that M(a)(b) = 1 = ab. • The above proof has the virtue of extreme simplicity, but the downside of being non- constructive (we know that the inverse exists, but don’t really know how to find one). • PROOF 2: This uses the fundamental properties of the Euclidean Algorithm (see the sequel) to show the following fundamental result:
  • 8. CHARACTERIZATION OF THE GREATEST COMMON DIVISOR • Suppose m, n are integers.Then, the greatest common divisor of m, n is the smallest positive value of a linear combination with integer coefficients a m + b n. • The proof uses the Euclidean Algorithm, which is the following (essentially optimal) • We want to find the greatest common divisor of n and m. • Divide with remainder to write n = q m + r. • Note that the greatest common divisor of n and m is the same as the greatest common divisor of m and r, but note also that r < min(n,m). • Which means that the algorithm terminates.
  • 9. EUCLIDEAN ALGORITHM • What is more, the remainder r is an integer linear combination of m and n. The next remainder will be a linear combination of m and r, and so of m and n. So will the last remainder (which is the gcd).That shows that the value of the smallest linear positive linear combination of m and n is no bigger than the gcd of m and n. But obviously, the gcd has to divide any linear combination, so we are done…
  • 10. APPLICATIONS • ℤ/𝑝𝑝𝑝 is a field. Indeed, any n not divisible by a prime p is relatively prime to it, so there exist a, b such that a n + b p = 1. Taking equivalence classes modulo p of both sides, get a𝑛𝑛 ≡ 1 (𝑚𝑚𝑚𝑚𝑚𝑚 𝑝𝑝) • Chinese remainder theorem: given moduli 𝑛𝑛1, 𝑛𝑛2,… 𝑛𝑛𝑘𝑘, pairwise relatively prime, and remainders 𝑟𝑟1, 𝑟𝑟2,… 𝑟𝑟𝑘𝑘, there exists an integer x, such that x ≡ 𝑟𝑟𝑖𝑖 (mod 𝑛𝑛𝑖𝑖), for every i. • Proof of CRT by induction on k: first, do it for k=2. Look for x in the form • 𝑥𝑥 = 𝑎𝑎 𝑛𝑛1+b 𝑛𝑛2.We see that 𝑎𝑎𝑛𝑛1 ≡ 𝑟𝑟2 (𝑚𝑚𝑚𝑚𝑚𝑚 𝑛𝑛2), and 𝑏𝑏𝑛𝑛2 ≡ 𝑟𝑟1 (𝑚𝑚𝑚𝑚𝑚𝑚 𝑛𝑛1), so we see that 𝑎𝑎 ≡ 𝑟𝑟2 𝑛𝑛1 −1 (𝑚𝑚𝑚𝑚𝑚𝑚 𝑛𝑛2), and 𝑏𝑏 ≡ 𝑟𝑟1 𝑛𝑛2 −1 (𝑚𝑚𝑚𝑚𝑚𝑚 𝑛𝑛1).
  • 12. CHARACTERISTIC OF A FIELD • The characteristic of a field F is the smallest integer c such that c x = 0, for any element x of F. If there is no such positive integer, the characteristic is said to be equal to 0. • Observation: the characteristic, if not equal to 0, has to be prime. If not, c = a b, so 0 = 𝑐𝑐 × 1 = 𝑎𝑎 × 1 × 𝑏𝑏 × 1 , which contradicts the existence of 0-divisors in a field. • Another observation: any field F of characteristic p contains a copy of 𝔽𝔽𝑝𝑝=ℤ/𝑝𝑝𝑝. Indeed, the elements 0,1, …, p-1 are such a copy.This copy is called the prime field of F.
  • 13. VECTOR SPACES • A vector space V over a field F is an abelian group (which we will denote additively) with an action by F, satisfying: • 0x = 0, for all x in V. • 1x = x, for all x in V. • 𝑐𝑐 𝑑𝑑 𝑥𝑥 = 𝑐𝑐𝑐𝑐 𝑥𝑥, for all x in V, and c,d in F. • 𝑐𝑐 + 𝑑𝑑 𝑥𝑥 = 𝑐𝑐 𝑥𝑥 + 𝑑𝑑 𝑥𝑥, for all x in V, c, d in F. • 𝑐𝑐 𝑥𝑥 + 𝑦𝑦 = 𝑐𝑐 𝑥𝑥 + 𝑐𝑐 𝑦𝑦, for all c in F, and x, y in F.
  • 14. VECTOR SPACES • A set of elements S= 𝑣𝑣1, 𝑣𝑣2 … , 𝑣𝑣𝑘𝑘 has a span, which is the set of all linear combinations of elements in S. This is denoted by 𝑆𝑆 . A set S is called spanning, if 𝑆𝑆 =V. • A set of elements S is called independent, if 𝑓𝑓1 𝑣𝑣1 + 𝑓𝑓2 𝑣𝑣2 + ⋯ 𝑓𝑓𝑘𝑘 𝑣𝑣𝑘𝑘 = 0 impliest that all of the 𝑓𝑓𝑖𝑖 are zero. • A set of elements S is called a basis, if it is both spanning and independent. • Every finite vector space V has a basis (keep adding elements) B, and the cardinality 𝑉𝑉 = 𝐹𝐹 𝐵𝐵
  • 15. VECTOR SPACES AND FINITE FIELDS • Note that every finite field is a vector space over its prime field, so we see that • The cardinality of every finite field is 𝒑𝒑𝒌𝒌 , for some prime p. • Interesting fact: up to isomorphism, there is exactly one field of given cardinality.