finitely generated ring