Notes for AKT-091008-2/0:21:16

PBW theorem: Choose an ordered basis $x_{1},\cdots ,x_{n}$ of ${\mathcal {G}}$, then $U({\mathcal {G}})$ is the vector space with basis being all monotone non-decreasing words in $x_{1},\cdots ,x_{n}$