Field extensions Flashcards
field extension
pair of two fields where K is subfield of F
tower law
ascending chain of fields
x basis for M over K, y basis for F over M. Then xy basis for F over K
group
associativity, identity, inverse
subgroup
1, ab, a^-1
Galois group
group Aut_KK FF
algebraic element over KK
there is non-zero polynomial in KK[x] such that f(a)=0
transcendental
not algebraic
minimal polynomial
monic polynomial of smallest degree such that m_a(a)=0
simple extension
FF=KK(a)
finitely generated
KK(a_1,…,a_n)
finite
[FF:KK] finite
algebraic extension
every element in FF is algebraic over KK
subfield of algebraic elements in FF over KK
AA_FF/KK
splitting field of f over KK
f=c(x-t1)…(x-tn) c in KK t1,…,tn in FF
FF=KK(t1,…,tn)
uniqueness of the splitting field
isomorphic KKs, FFs splitting fields, then isomorphic