Regular extension
In field theory, a branch of algebra, a field extension is said to be regular if k is algebraically closed in L (i.e.,
where
is the set of elements in L algebraic over k) and L is separable over k, or equivalently,
is an integral domain when
is the algebraic closure of
(that is, to say,
are linearly disjoint over k).