実際にはテンソル代数を強制的に可換化することで対称代数を作ることができる。