Smoothness and the Jacobian Criterion

To relate deformation theory and moduli stacks, one must use a certain smoothness criteria buried in EGAIV. The proof boils down to a strong version of the Jacobian criterion for smoothness. I will cover the proof of this Jacobian criterion, which will take us on a tour through some neat commutative algebra. This commutative algebra is closely related to the cotangent complex.