Separability, Normality and Galois extensions

Question 1

separable irreducible polynomial

Answer 1

no repeated roots over splitting field

Question 2

separable polynomial

Answer 2

all irreducible factors are separable

Question 3

separable field extension

Answer 3

algebraic and always separable minimal polynomial

Question 4

formal derivative

Answer 4

KK[x] to KK[x]

Question 5

normal field extension

Answer 5

algebraic and all minimal polynomial split into linear factors over FF

Question 6

Galois extension

Answer 6

finite, normal and separable