定向图的张量代数中的单元

对于任何可数的定向图G,证明了张量代数TG+中的单元生成的线性子空间在TG^+中是稠密的。对于有限的定向图Cn,证明了TCn^+中的每个元素可以写成n^2个单元的线性组合。