ヴィット代数
標数 p > 0 の体 k 上のヴィット環は環
k [ z ] / ( z p ) {\displaystyle k[z]/(z^{p})}
上の微分全体の成すリー環として定義される。ヴィット環は Lm (−1 ≤ m ≤ p − 2) によって張られる。