The pbw theorem, and generators and relations of the symmetric group

摘要

Let a group G act on a set Y.