adjoining a square root to a ring