English Dictionary

A finite algebraic extension that contains every root of any irreducible polynomial over the base field is called a normal extension.

基礎体上の任意の既約多項式の根の一つを含むならばその多項式のすべての根を含むような有限代数拡大は、その基礎体に対して正規拡大と呼ばれる。