Finitely generated ring

Summary