« previous | Thursday, January 24, 2013 | next »
Motivation and Math History
How to calculate
?
- 4th grade . . .
- 8th grade: k = [0..]; remainders = repeat [1, 2, 4];
by the pattern (when does it repeat?)
- College:







- Even faster! (secret:
)

- How to find in general for mod
?
Order
Definition: For any prime
,
and
, the order of
in
is the minimum positive integer
such that
.
For example,
- the order of 2 in
is 3: 
- the order of 1 in
is 1: 
- the order of 5 in
is 6: 
Fermat's Little Theorem
(See Fermat's Little Theorem→)
Given any prime
and any integer
,
This is often written as
, then
Note:
may not be the smallest integer
for
.


Proof
Why is
when
?
Define modulo classes
.
Multiply by
:
.
- none are 0
- No two are the same. (suppose not, then
— contradiction)
- therefore, each will map uniquely to modulo classes
Take prouct of each group:
We can divide by
since it is not a multiple of
.
Q.E.D.
Corollary 1
For any
such that
, the order of
is a factor of
. Why?
Proof. If
and
, then
— contradiction.
Q.E.D.
We know:
is order in 

Corollary 2
If
and
are integers such that
and
, then
.
Proof. Rewrite
as
.
By Fermat's little theorem,
Corollary 3
If
, then the function
defined by
has inverse
.
Application Example
Written on board at beginning of class:
plaintext: ITWASABOUTELEVENOCLOCKINTHEMORNING
ciphertext: MISGXGZFDILULOLGFEUFEPMJICLQFNJMJR
The code was build by
with function
.
Correspondence
A B C D . . . Z
2 3 4 5 27
We omit 0 and 1 since
. That's not very secure.
For example, we take the first letter 'I' with correspondence 10:
How to break coding scheme (
), we need to find "cubic root" mod 29.
Corollary 2 and 3 tell us that for
and
, we need to find
:
Generalization
What about when we replace
by any integer
?
- For example, "What is the last digit of
?" is another way of asking "3^{17} \equiv \Box \pmod{10}"
Can we find a number
such that
? YES
For any integer
, we define
to be the set of all integers
in
with
.
Examples:
: 
: 
: 
: 
Euler's Totient Function
Let
From previous examples,




In particular,
Computation
How to compute
?
Basic fact:
since there are
multiples of
between 0 and
.
Properties:
Take the product of the totients of the prime factorization of the number
Example
Euler's Theorem
For any integers
,
such thta
,
Example
What are the last two digits of
? (
)
Let
, then
.
Therefore
And the last two digits are "03"