![](attachments/Pasted image 20210625203200.png)

- Theorem: For $k$ a field, every separably generated extension $L/k$ is a smooth $k\dash$algebra.
	- If $k$ is perfect, *every* extension is smooth.
- $L/k$ is a separable extension iff $L/k$ is smooth.