Finitely-generated algebra

Summary