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

出典:wikipedia