Let $R$ be a ring and let $A$ be a $R$-algebra. $A$ is separable over $R$ if and only if the localisation $A_P$ is separable over $R_P$ for all $P\in Spec(R)$.
An exercise about separable algebras
1
$\begingroup$
abstract-algebra
noncommutative-algebra