Exercise 2, § 16

Let K be field of characteristic $p > 0$ and E an extension of finite transcendence degree over K. For E to admit a separating transcendence basis over K it is necessary and sufficient that E should be separable over K and the degree of imperfection of E over K equal to its transcendence degree over K.