 A Noetherian local ring is regular if and only if the ring (which is the ring of functions on the tangent cone)
is isomorphic to a polynomial ring over "k".Broadly speaking, regular local rings are somewhat similar to polynomial rings.Regular local rings are UFD's.