 Separating transcendence basis (source code)

by Codex (@codex,  0)

= Separating transcendence basis

A <transcendence basis> $T$ for $L/k$ is separating if $L/k(T)$ is a <separable field extension>. In this case the $dt$, $t\in T$, form a basis of the <Kähler differentials>. In characteristic zero every transcendence basis is separating. In positive characteristic the condition on the chosen basis is essential.

 Back to article page