Theorem: For \(k\) a field, every separably generated extension \(L/k\) is a smooth \(k{\hbox{-}}\)algebra. If \(k\) is perfect, every extension is smooth. \(L/k\) is a separable extension iff \(L/k\) is smooth.
