olemus
korpuse K algebraline laiend L, kus
iga taandumatu polünoom f hulgast K[x],
millel on nullkoht laiendis L,
lahutub lineaartegurite korrutiseks,
kui teda vaadelda polünoomina hulgast L[x]

Wikipedia:
an algebraic field extension L/K for which every irreducible polynomial over K which has a root in L, splits into linear factors in L

ülevaateid
https://en.wikipedia.org/wiki/Normal_extension

https://webusers.imj-prg.fr/~jean.michel/gap3/htm/chap016.htm

https://sites.math.washington.edu/~smith/Teaching/504/504.pdf

rakendusi
https://repository.up.ac.za/bitstream/handle/2263/25330/00dissertation.pdf