Freeness theorems for operads via Gröbner bases

We show how to use Groebner bases for operads to prove various freeness theorems: freeness of certain operads as nonsymmetric operads, freeness of an operad Q as a P-module for an inclusion P into Q, freeness of a suboperad. This gives new proofs of many known results of this type and helps to prove some new results.
Comment: 15 pages, no figures, corrected typos and changed in parts the structure of the paper