Professional Documents
Culture Documents
I. Field
1. A field is a nonempty set F together with two binary operations + and · on F such that
F1: (assoc. and comm.) + and · are both associative and commutative
F2: (identity for +) ∃ 0 ∈ F s.t. a + 0 = a, for all a ∈ F
F2: (“identity” for ·) ∃ 1 ∈ F s.t. a · 1 = a, for all a ∈ F \ {0}
F3: (inverse for +) ∀ a ∈ F, ∃ (−a) ∈ F s.t. a + (−a) = 0
F3: (“inverse” for ·) ∀ a ∈ F \ {0}, ∃ a−1 ∈ F s.t. a · a−1 = 1
F4: (distribution of · over +) ∀ a, b, c ∈ F , a · (b + c) = a · b + a · c
2. Examples of Fields
(a) hQ, +, ·i, hR, +, ·i, hC, +, ·i are fields
(b) hZ, +, ·i is NOT a field (no inverse a−1 )
(c) hZp , +p , ·p i is a field for any prime p
3. Let hE, +, ·i be a field. If F ⊆ E and hF, +, ·i is also a field then F is a subfield of E, denoted F ≤ E.
4. Examples of Subfields
(a) Every field has a subfield: itself
(b) Q ≤ R ≤ C
(c) Zp 6≤ Q since + and · restricted to Zp does not agree with +p and ·p
• {v1 , ..., vn } ⊆ F V , all nonzero, is lin. dep. over F ⇔ vk is a lin. combi. of v1 , ..., vk−1 , for some k > 1.
P →
−
(⇒) By defn ai vi = 0 for some ai not all 0.
Pk−1
(⇒) Take k = max{i : ai 6= 0} > 1 (case: k = 1 is a contradiction) ⇒ vk = i=1 (−a−1 k ai )vi
Pk−1
(⇐) Hypothesis: vk = i=1 ai vi for some ai not all 0
Pk−1 →
−
(⇒) vk + i=1 −ai vi = 0 ⇒ {v1 , ..., vk } is lin. dep over F ⇒ {v1 , ..., vn } is lin. dep over F