代数のテンソル積

数学において、二つの $R$ -代数（多元環）のテンソル積には再び $R$ -代数の構造を入れることができ、代数のテンソル積 (tensor product of algebras) あるいはテンソル積多元環と呼ばれる対象が得られる。任意の環は $Z$ -代数と見ることができるから、 $R ≔ Z$ と取った特別の場合として環のテンソル積 (tensor product of rings) が定まる^[1]。

定義[編集]

$R$ を可換環とし $A$ と $B$ を $R$ -代数とする。 $A$ と $B$ はどちらも $R$ -加群と見なせるから、それらのテンソル積

A\otimes _{R}B

を作れて、これは再び $R$ -加群である。このテンソル積に次のように積を定義して代数の構造を与えることができる^[2]^[3]。すなわち、生成系となる $a \otimes b (a \in A, b \in B)$ の形の単純テンソルの間の積を

(a_{1}\otimes b_{1})(a_{2}\otimes b_{2})=a_{1}a_{2}\otimes b_{1}b_{2}

と定義し、これを線型性により $A \otimes R B$ の全体に拡張する。この積は $R$ -双線型かつ結合的で、 $1 A \otimes 1 B$ によって与えられる単位元を持つ^[4]ことが容易にわかる。ここで $1 A$ と $1 B$ はそれぞれ $A$ と $B$ の単位元である。 $A$ と $B$ がともに可換であればそのテンソル積も可換である。

このテンソル積によりすべての $R$ -代数の圏 $R$ - $Alg$ は対称モノイド圏（英語版）になる。

さらなる性質[編集]

$A$ や $B$ から $A \otimes R B$ への次で与えられる自然な準同型が存在する^[5]：

A\hookrightarrow A\otimes B;\;a\mapsto a\otimes 1_{B},

B\hookrightarrow A\otimes B;\;b\mapsto 1_{A}\otimes b.

これらの写像によりテンソル積は可換 $R$ -代数の圏 $R$ - $CAlg$ における余積となる。しかしテンソル積はすべての $R$ -代数の圏 $R$ - $Alg$ においては余積ではなく、この圏における余積はより一般的な代数の自由積によって与えられる。それにも関わらず非可換代数のテンソル積は余積に似た普遍性により記述できる：

（代数の）テンソル積の普遍性: 任意の $R$ -代数 $X$ に対し、 $R$ -代数の準同型 $f : A \to X$ および $g : B \to X$ が元ごとに可換である限りにおいて、 $R$ -代数の準同型 $φ : A \otimes B \to X$ で $f (a) = φ (a \otimes 1)$ および $g (b) = φ (1 \otimes b)$ を任意の $a \in A, b \in B$ に対して満たすものがただ一つ存在する。

すなわち、式で書けば、自然な同型

{\begin{aligned}&\operatorname {Hom} _{R{\textbf {-Alg}}}(A\otimes B,X)\\&\qquad \cong \lbrace (f,g)\in \operatorname {Hom} _{R{\textbf {-Alg}}}(A,X)\times \operatorname {Hom} _{R{\textbf {-Alg}}}(B,X)\mid [f(a),g(b)]=0\ (\forall a\in A,\,\forall b\in B)\rbrace \end{aligned}}

が成立する（右辺の $[,]$ は交換子）。

応用[編集]

代数のテンソル積は代数幾何学において常時使用される。可換 $R$ -代数の圏の逆圏 $R - CAlg opp$ （アフィンスキームの圏 $Sch (R)$ の部分圏と見なせる）においてアフィンスキームの引き戻し（ファイバー積とも呼ばれる）を提供する。

注[編集]

^ Lang (2002), pp. 629–631.
^ Kassel 1995, p. 32.
^ Lang 2002, pp. 629–630.
^ Kassel 1995, p. 32.
^ Kassel 1995, p. 32.

参考文献[編集]

Kassel, Christian (1995), Quantum groups, Graduate texts in mathematics, 155, Springer, ISBN 978-0-387-94370-1 .
Lang, Serge (2002) [first published in 1993]. Algebra. Graduate Texts in Mathematics. 21. Springer. ISBN 0-387-95385-X

外部リンク[編集]

[FOOTNOTELang2002629–631-1] Lang (2002), pp. 629–631.

[FOOTNOTEKassel1995S1KE_pToY98C_a-2] Kassel 1995, p. 32.

[FOOTNOTELang2002629–630-3] Lang 2002, pp. 629–630.

[FOOTNOTEKassel1995S1KE_pToY98C_b-4] Kassel 1995, p. 32.

[FOOTNOTEKassel1995S1KE_pToY98C_c-5] Kassel 1995, p. 32.

[1]

[2]

[3]

[4]

[5]