テンソル代数
本項において多元環(代数)は単位的かつ結合的なものと仮定する。