Separating transcendence basis

ID: separating-transcendence-basis

A transcendence basis for is separating if is a separable field extension. In this case the , , 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.

New to topics? Read the docs here!