数学におけるベクトル空間 上のテンソル代数（テンソルだいすう、） または は 上の任意階のテンソル全体がテンソル積を乗法として成す体上の多元環である。これは多元環をベクトル空間とみなすの左随伴となるという意味において 上の自由多元環、すなわち普遍性を満たすという意味で を含む多元環として「最も一般」のものである。
テンソル代数はまた二種類の余代数構造を持つ。一つは簡素で双代数を定めないが、もう一つはより複雑なもので双代数を導き、さらに対蹠射を以ってホップ代数へ拡張することができる。
注意 本項において多元環（代数）は単位的かつ結合的なものと仮定する。
構成 は体 上のベクトル空間とする。任意の非負整数 に対して の -次テンソル冪とは の -重テンソル積
を言う。即ち、 は 上の -階（反変）テンソル全体からなる。規約により、 は （をそれ自身の上のベクトル空間と見たもの）であるものとする。
このときテンソル代数 は に対する -次テンソル冪 のなす列のベクトル空間の直和
を台として構成される。 における乗法は、テンソル積によって与えられる自然同型
を 全体まで線型に拡張したもので与えられる。この乗法法則により自然に、テンソル代数 は各 を次数 の斉次部分空間に持つ次数付き多元環となる。この次数付けは負の整数 に対して と置いて付け加えることにより -次数付けに拡張できる。
この構成は全くそのままのやり方で可換環 上の任意の加群 のテンソル代数に一般化される。 が非可換のときは、任意の -両側加群に対してならばこの構成を実行できる（単に -加群としたのでは、テンソル冪が作れないのでうまくいかない）。
随伴と普遍性 テンソル代数 はベクトル空間 上の自由多元環とも呼ばれ、また に関して函手的である。他のがそうであるように、函手 は適当なの左随伴となる。今の場合、考えるべき忘却函手は各 -代数をその台となるベクトル空間へ写すものである。
陽に書けば、テンソル代数の普遍性（ を含む最も一般な多元環であることをきちんと述べたもの）は以下のようなものである: テンソル代数の普遍性 上の任意の多元環 と任意の線型写像 が与えられたとき、 で を満たすものが一意的に存在する。
ここに、 は自然な埋め込み（随伴の単位射）である。したがって、以下の図式
が可換となる。実は、この性質を満たす一意的な多元環としてテンソル代数 を定義することができる（厳密に言えば一意的な同型を除いて一意）が、それでもこの性質を満たす対象が存在することは示さなければならない。
上記の普遍性は、テンソル代数の構成が自然に「函手的」となることを示している。すなわち、 は 上のベクトル空間の圏 - から -多元環の圏 - への函手である。 の函手性は任意の線型写像 は多元環の準同型 へ一意的に延長されることを意味する。
非可換多項式 ベクトル空間 が有限な次元 を持つとき、テンソル代数の別の見方として「 上の非可換な -変数多項式の環」とみることができる。 の基底ベクトルをとって、それを における非可換変数（あるいは非可換不定元）、すなわち結合性、分配性および -線型性の他は何の制約も持たない元と見る。
注意すべき点として、 上の非可換多項式環として適切なのは よりはむしろ の方であることが挙げられる。これは 上の一次斉次函数は の元であること、またベクトル空間上の座標函数 は（ベクトルをその座標成分となるスカラーへ写す函数とみれば）共変ベクトルであることによる。
商代数系 テンソル代数が最も一般の多元環であることを利用して、ほかの多くの多元環について、まずテンソル代数を構成してからそこに生成元に関する特定の関係式を導入して構成すること、つまり のある種の構成に興味が持たれる。例えば、外積代数、対称代数、クリフォード代数や普遍包絡代数など。
余代数構造 テンソル代数は二種類の余代数構造を持つ。一つは簡素で双代数を定めないが、もう一つはより複雑なもので双代数を導き、さらに対蹠射を以ってホップ代数へ拡張することができる。
単純な余代数構造 テンソル代数上の単純な余代数構造は以下のようなものである。余乗法 は
を まで線型に延長することで与えられる。余単位射は
である。余乗法 は次数付けを反映すれば
を満たすこと、また余単位射 も次数付けと両立することなどに注意。
テンソル代数にこの余乗法と余単位射を考えたものは双代数を成さない。
双代数およびホップ代数の構造 しかし以下のような複雑な形の余乗法
を入れれば双代数になる。ただし後ろの和はすべてに亙ってとる。
さらに、対蹠射 を
を 全体まで線型に延長することによって与えれば、テンソル代数はホップ代数を成す。
これはちょうど自由多元環上の標準ホップ代数構造に一致する。ただし、 上の余乗法を
で定義し、これを
を通じて へ延長する。同様に対蹠射も で
となるものとし、 の一意的なとして延長する。すなわち
により 上の対蹠射を定義する。
参考文献
関連項目 テンソル空間 対称代数 外積代数 モノイド圏 フォック空間
外部リンク