PBW property for associative universal enveloping algebras over an operad

Anton Khoroshkin

Given a symmetric operad $\mathcal{P}$ and a $\mathcal{P}$-algebra $V$, the associative universal enveloping algebra ${\mathsf{U}}_{\mathcal{P}}$ is an associative algebra whose ca…