finitely-generated algebra