Finitely-generated algebra