You are misunderstanding what "seperable" means. An irreducible polynomial is "seperable" over iff has no repeated roots in its splitting field. Now is seperable iff the minimal polynomial for is seperable over . Thisdoes notmean that the miniminal polynomial must split over .