 More precisely, a point in a variety (over a perfect field) is smooth if the local ring at the point is a regular local ring.A regular local ring is a UFD.The following is a chain of class inclusions that describes the relationship between rings, domains and fields