定义 自由非结合代数(free nonassociative algebra)一种具有泛性的非结合代数.域F上的一个非结合代数称为是F上由xi,xZ..,x,生成的有1的自由非结合代数,记为FN { xxz , ... } xn },若对F上任意非结合代数A及amaz..}anEA都有FN { x xz .. , x.}}}到A的惟一确定的同态映射p使得p(1)=l}p}x})=a}}i=1}2,"..,n.这种有泛性的自由非结合代数的存在性的证明与自由半群,自由结合代数的存在性的证明是类似的. [1] 参考资料 1. 数学辞海