%0 Journal Article %T Composition-Diamond Lemma for Non-associative Algebras over a Commutative Algebra %A Yuqun Chen %A Jing Li %A Mingjun Zeng %J Mathematics %D 2010 %I arXiv %X We establish the Composition-Diamond lemma for non-associative algebras over a free commutative algebra. As an application, we prove that every countably generated non-associative algebra over an arbitrary commutative algebra $K$ can be embedded into a two-generated non-associative algebra over $K$. %U http://arxiv.org/abs/1009.0196v1