体のテンソル積
抽象代数学において体論には直積(いうなれば「直積体」)が存在しない(二つの体の(それらを環と見做してとった)直積(直積環)が、それ自身体になることは無いから)。その一方で、たとえば体 K と L がより大きい体 M の部分体として与えられているときや体 K と L が両方より小さい体 N(例えば素体)の拡大体のときには、その二つの体 K と L を「併せる」ことがしばしば要求される。
そういった体の間で生じるすべての現象を議論するために利用できる、それら体上の構成として体のテンソル積(たいのテンソルせき、tensor product of fields)は最善である。これは環としてのテンソル積(テンソル積環)であり(それ自体、環にはなるが)、体になることもあれば体の直積環となることも多い。その一方で、0 でない冪零元を含みうる(環の根基参照)。
体 K と L が同型な素体を持たなければ ―つまり標数が異なれば― ある体 M の共通の部分体では決してない。このことに対応するのは「体 K と L のテンソル積が自明環になる」ことである。(このようにテンソル積構成が潰れてしまうのは理論としてはつまらない内容しか含まないので、ここでは特に扱わない)