En álgebra, una p -basis es una generalización de la noción de una base de trascendencia separadora para una extensión de campo de la característica p , introducida por Teichmüller (1936) .
Supongamos que k es un cuerpo de característica p y K es una extensión de campo. Una p -basis es un conjunto de elementos x i de K tales que los elementos dx i forman una base para el K -espacio vectorial Ω K / k de diferenciales.