Finitely presented algebra