SLIDE 4 Fields and Characteristics
Definition
- F has characteristic 0 iff for all n, (∑n
i=1 1) = 0.
- F has characteristic m iff m = min({ n ∈ Z+
(∑n
i=1 1) = 0 }) < +∞.
Q: What is the characteristic of: F2? F4? F7?
Facts
- If F has char. n > 0, then n is prime.
proof on board
- For each q, there is at most one field with q elements.
- If F is finite, then F = pd for some prime p & d ≥ 1.
13
Fields and Characteristics Definition
- F has characteristic 0 iff for all n, (∑n
i=1 1) = 0.
- F has characteristic m iff m = min({ n ∈ Z+
(∑n
i=1 1) = 0 }) < +∞.
Q: What is the characteristic of: F2? F4? F7? Facts
- If F has char. n > 0, then n is prime.
proof on board
- For each q, there is at most one field with q elements.
- If F is finite, then F = pd for some prime p & d ≥ 1.
2018-09-25
Discrete-Log PKCs Fields and Characteristics Claim: If F has characteristic n > 0, then n is prime. Proof: n · 1 = 0 in F Suppose by way of contradiction that n = j · k where 1 < j, k < n. Then: 1 + 1 + · · · + 1
+ · · · + 1 + 1 + · · · + 1
CASE 1: j · 1 = 0. But since 0 < j < n, this contradicts our choice of n. CASE 2: j · 1 = 0. Then k · 1 = 0. (Why?) But since 0 < k < n, this also contradicts our choice of n.
Fields and Primes
Definition (a) F∗ =def the nonzero elements of F. (b) The order of a ∈ F∗ is min{ n ∈ Z+ an = 1 }. (c) Fq =def the finite field with q elements. (Recall: For each q there is at most one finite field with q-many elms.) For each prime q, Fq = (Zq, +q, ×q). Proposition Suppose a ∈ F∗
- q. Then (the order of a) |(q − 1).
proof on board Definition A primitive element (or generator) α of Fq is an α ∈ F∗
q with order q − 1.
(Thus, F∗
q = { α1, α2, . . . , αq−1 }.)
Puzzle: What are the primitive elements of F2? F4? F7?
14
Fields and Primes Definition (a) F∗ =def the nonzero elements of F. (b) The order of a ∈ F∗ is min{ n ∈ Z+ an = 1 }. (c) Fq =def the finite field with q elements. (Recall: For each q there is at most one finite field with q-many elms.) For each prime q, Fq = (Zq, +q, ×q). Proposition Suppose a ∈ F∗
- q. Then (the order of a) |(q − 1).
proof on board Definition A primitive element (or generator) α of Fq is an α ∈ F∗
q with order q − 1.
(Thus, F∗
q = { α1, α2, . . . , αq−1 }.)
Puzzle: What are the primitive elements of F2? F4? F7?
2018-09-25
Discrete-Log PKCs Fields and Primes Proof of Propositon. Let F∗
q = { a1, . . . , aq−1 }.
Claim 1. ai → a ×Fq ai is 1-1. (Why?) Claim 2. In Fq: aq−1 = 1.
a1 ×Fq a1 ×Fq · · · ×Fq aq−1 = (a ×Fq a1) ×Fq (a ×Fq a1) ×Fq · · · ×Fq (a ×Fq aq−1) (Why?) = aq−1 ×Fq (a1 ×Fq a2 ×Fq · · · ×Fq aq−1). Therefore, in Fq, aq−1 = 1. Now let na = the order of a. Clearly na ≤ q − 1. Write q − 1 = k · na + r where 0 ≤ r < na. Then, in Fq: 1 = aq−1 = ak·na+r = (an
a)k ×Fq ar = ar.
Since r < na and na = min{ n > 0 an = 1 }, it follows that r = 0. Hence, na|(q − 1).