Definitions etc Flashcards
If E is a field and F is a subfield of E, we say that…
E is an extension of F.
Notation: E : F.
An extension E : F is called finite if…
E is a finite dimensional vector space over F. In that case the degree of the extension is the dimension of E as a vector space over F. Notation: (E : F) = dimF E.
State the Tower Law
Let F, B, E be fields with F ⊂B ⊂ E such that B : F and E :B are finite extensions.
Then E : F is a finite extension and (E : F) = (B : F)(E : B).
If F ⊂ F1 ⊂ F2 ⊂ · · · ⊂ Fn is a tower of finite field
extensions, then
Fn : F is a finite extension and (Fn : F) = (F1 : F)(F2 : F1). . .(Fn : Fn−1).
State Gauss’ Lemma
A polynomial with integer coefficients is irreducible
over Q if and only if it is irreducible over Z
State Eisenstein’s Criterion
Let f = a0 + a1x + · · · + anx n ∈ Z[x] with n ≥ 1 and an ̸= 0, and let p be a prime such that (i) p /| an, (ii) p | ai (i = 0, 1, . . . , n − 1,) (iii) p^2 /| a0. Then f is irreducible over Q
An element α ∈ E is called algebraic over F, if…
if α is a zero of a polynomial f ∈ F[x].
An monomorphism from a field E into a field E’ is
is an injective map σ : E → E′ such that for all α, β ∈ E
σ(α + β) = σ(α) + σ(β)
and
σ(αβ) = σ(α)σ(β).
If σ is bijective, it is called an isomorphism. An isomorphism from E
to E is called an automorphism of E.
Theorem 7 (L. Kronecker). Let F be a field. For any non-constant polynomial f ∈ F[x] there exists…
there exists an extension E of F in which f has a root.
Theorem 8. Let σ : F → F′ be an isomorphism of fields, let f be an irreducible polynomial in F[x] and let f′ be the corresponding polynomial in F′[x] (obtained by applying σ to the coefficients of f).
If E = F(β) and E′ = F′(β′), where f(β) = 0 in E and f′(β′) = 0 in E′, then…
then σ can be extended to an isomorphism between E and E′ such that σ(β) = β′.
If F, B and E are fields with F ⊆ B ⊆ E, then we call B …
an intermediate field of the extension E : F.
Let p ∈ F[x] with deg p ≥ 1. An extension E of F in
which p can be factored into linear factors is called a splitting field for p over F if…
if such factorization cannot be carried out in any intermediate
field.
Theorem 9. Let F be a field, p ∈ F[x] with deg p = n ≥ 1. Then there exists …
a splitting field of p over F.
What is Γ(E)?
Γ(E) = the group of automorphisms of E
Define Galois group Γ(E : F)
If E is an extension field of F, then the Galois group Γ(E : F) is the set of all automorphisms of E that leave F fixed (it is also a subgroup of Γ(E) )
An F-automorphism the field E is a bijective map σ : E→ E such that for all x, y ∈ E one has
σ(x + y) = σ(x) + σ(y) and σ(xy) = σ(x)σ(y),
and such that σ(x) = x for all x ∈ F. The F-automorphisms of E form a group under composition of maps, and this is the Galois group Γ(E : F)