Local ring at a point