Zariski–Lipman conjecture

for a complex algebraic variety V with coordinate ring R, if the derivations of R are a free module over R, then V is smooth.

Open the “Algebra” section on Wikipedia →

Source: List of unsolved problems in mathematics (CC BY-SA 4.0)