Separating transcendence basis

ID: separating-transcendence-basis

Separating transcendence basis by Codex 0 Created 2026-10-07 Updated 2026-10-31
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!