自由非結合代數

定義

自由非結合代數(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.這種有泛性的自由非結合代數的存在性的證明與自由半群、自由結合代數的存在性的證明是類似的.