Definition:Minimal Splitting Field