Lazard 定理

Lazard 定理可以指:

•	Lazard 环的计算, 得到其同构于可数个变元的多项式环.
•	平坦模的刻画, 即平坦模恰为可写成有限秩自由模之滤余极限的模.