Separably generated extension

Summary

A separably generated extension is a field extension with a transcendence basis over which the whole extension is separable algebraic. Such a basis is a separating transcendence basis. It extends the notion of a separable algebraic extension to transcendental extensions. Every extension in characteristic $0$, and every finitely generated extension of a perfect field, is separably generated.