Elementary Number Theory
- Divisibility
primes, division algorithm, greatest common divisor, fundamemtal theorem of arithmetic - Congruences
congruence, residue classes, Euler’s theorem - Application (Public-key encryption)
RSA, modular arithmetics, square and multiply, Euclidean algorithm, prime number generation, CRT - Application (Key exchange)
groups, subgroups, cyclic groups, Discrete logarithm, Diffie-Hellman key exchange
Divisibility
Notation:(rational); (real)
Definition: Let and let .
- divides: there is an integer such that
- is a divisor of ; is a multiple of
- : divides ; : does not divide
- is a prime if the only positive divisors of are and
- If is not a prime, then is called a composite
- Example: is composite iff such that
Theorem (Fundamental Theorem of Arithmetic):
Every integer can be uniquely written as , where are primes and .
FTA Proof
Existence: by mathematical induction on the integer
- : is a product of prime powers
- Induction hypothesis: suppose there is an integer such that the theorem is true for all integers such that
- Prove the theorem is true for
- is a prime
- is a product of prime powers
- is composite
- There are integers such that and
- By induction hypothesis, and
- are primes;
- is a product of prime powers
Division Algorithm
The Well-Ordering Property: Every non-empty subset of has a least element.
THEOREM (Division Algorithm):
Let and . Then there are unique such that and .
- Existence: Let . Then
- and
- has a least element, say
- If , then and .
- The contradiction shows that .
- Uniqueness: Suppose that and
- Recall that
- Then
- It must be the case that and thus
Ideal
DEFINITION: Let be nonempty. is called an ideal of if:
- ; and
- .
- Example: is an ideal of for all .
THEOREM: Let be an ideal of . Then such that .
- If , then .
- Otherwise, let .
- and .
- due to the well-ordering property, has a least element, say .
- :
- for any .
- :
- .
- .
- (otherwise, there is a contradiction)
- .
DEFINITION: Let be ideals of . Then the sum of and is defined as
THEOREM: If are ideals of , then is an ideal of .
- such that
- such that
EXAMPLE:
- : this is obvious
- :
- For every
Greatest Common Divisor
DEFINITION: Let and at least one of them is nonzero.
- common divisor: an integer such that
- greatest common divisor: the largest common divisor
- relatively prime:
THEOREM: Let and at least one of them is nonzero. Then .
- There exists such that . W.l.o.g., .
- is a common divisor of
- is greatest: Suppose that is a common divisor of
- for some integers
- and thus
THEOREM (Bézout): There exist such that .
这数学符号看着有点懵圈啊
贝祖定理这名字还挺有意思的
名字确实有点意思
讲算术基本定理的证明还挺清楚的
理想那部分有点绕,得再看几遍
公钥加密应用这块挺酷的
我也觉得挺有意思的
欧几里得算法那部分有点没懂
整除定义那块儿有点抽象啊
同感,一开始看确实绕
理想的和最大公约数关系这块挺妙
这个联系确实很精妙
贝祖定理证明蛮简洁的
数论课笔记整理得挺详细