加群のテンソル積のソースを表示

[[数学]]において、'''加群のテンソル積''' (tensor product of modules) は[[双線型写像]]（例えば積）についての議論を線型写像（[[加群準同型]]）の言葉でできるようにする構成である。その加群の構成は[[ベクトル空間]]の[[テンソル積]]の構成と類似であるが、[[可換環]]上の[[環上の加群|加群]]の組に対して実行して第三の加群を得ることができ、また任意の[[環 (数学)|環]]上の左加群と右加群の組に対しても実行できて[[アーベル群]]が得られる。テンソル積は[[抽象代数学]]、[[ホモロジー代数学]]、[[代数トポロジー]]、[[代数幾何学]]の分野において重要である。ベクトル空間に関するテンソル積の[[普遍性]]は抽象代数学のより一般的な状況に拡張される。それによって[[線型演算子|線型演算]]を通じて双線型あるいは多重線型演算を研究することができる。代数と加群のテンソル積は{{仮リンク|係数拡大|en|extension of scalars}}のために使うことができる。可換環の場合には、加群のテンソル積を繰り返して加群の[[テンソル代数]]を作ることができ、加群の積を普遍的な方法で定義することができる。

==多重線型写像==
環 ''R''、右 ''R''-加群 ''M<sub>R</sub>''、左 ''R''-加群 ''<sub>R</sub>N''、アーベル群 ''Z'' に対して、{{nowrap|''M'' × ''N''}} から ''Z'' への'''双線型写像''' (bilinear map) あるいは'''平衡積''' (balanced product) とは関数 {{nowrap|''φ'': ''M'' × ''N'' → ''Z''}} であってすべての ''m'', ''m''′ &isin; ''M''、''n'', ''n''′ &isin; ''N''、''r'' &isin; ''R'' に対して次の3条件が成り立つものである：

* ''φ''(''m'' + ''m''′, ''n'') = ''φ''(''m'', ''n'') + ''φ''(''m''′, ''n'')
* ''φ''(''m'', ''n'' + ''n''′) = ''φ''(''m'', ''n'') + ''φ''(''m'', ''n''′)
* ''φ''(''m'' · ''r'', ''n'') = ''φ''(''m'', ''r'' · ''n'').

{{nowrap|''M'' × ''N''}} から ''Z'' へのすべての双線型写像の集合は {{nowrap|Bilin(''M'', ''N''; ''Z'')}} で表記される。

最後の性質はベクトル空間に対する定義とわずかに異なる。これは必要である；なぜならば ''Z'' はアーベル群であるとしか仮定されていないなので {{nowrap|''r'' · ''φ''(''m'', ''n'')}} は意味をなさない。

双線型写像 ''φ'', ''ψ'' に対し演算を [[:en:pointwise|pointwise]] に定義すると {{nowrap|''φ'' + ''ψ''}} は双線型写像であり −''φ'' も双線型写像である。これは集合 {{nowrap|Bilin(''M'', ''N''; ''Z'')}} をアーベル群にする。単位元は零写像である。

固定された ''M'' と ''N'' に対し、写像 {{nowrap|''Z'' ↦ Bilin(''M'', ''N''; ''Z'')}} は[[アーベル群の圏]]から[[集合の圏]]への[[関手]]である。射の部分は群準同型 {{nowrap|''g'' : ''Z'' → ''W''}} を関数 {{nowrap|''φ'' ↦ ''g'' ∘ ''φ''}} に写す — これは {{nowrap|Bilin(''M'', ''N''; ''Z'')}} から {{nowrap|Bilin(''M'', ''N''; ''W'')}} へ行く — ことで与えられる。

==定義==
''M'', ''N'' と ''R'' を前節のようにする。''R'' 上の'''テンソル積''' (tensor product)

:<math>M \otimes_R N</math> 

は次の意味で[[普遍性|普遍的]]な（上で定義された意味で）双線型写像

:<math>\otimes :  M \times N \to M \otimes_{R} N</math> 

をもった[[アーベル群]]である{{sfn|Hazewinkel et al.|2004|p={{google books quote|id=AibpdVNkFDYC|page=95|95}}|loc=Proposition 4.5.1}}：

[[File:Tensor product of modules.png|200px|right]]
:すべてのアーベル群 ''Z'' とすべての双線型写像
::<math>f:  M \times N \to Z\,</math> 
:に対して'''一意的な'''群準同型
::<math> \tilde{f}: M \otimes_R N \to Z</math>
:が存在して
::<math>\tilde{f} \circ \otimes = f.</math>

すべての[[普遍性]]のように、上の性質はテンソル積を同型[[up to|を除いて]]一意的に定義する：任意の対象と双線型写像で同じ性質をもつものは {{nowrap|''M'' ⊗<sub>''R''</sub> ''N''}} と ⊗ に同型である。定義は {{nowrap|''M'' ⊗<sub>''R''</sub> ''N''}} の存在を保証しない。構成は下を見よ。

テンソル積は関手 {{nowrap|''Z'' → Bilin<sub>''R''</sub>(''M'',''N'';''Z'')}} の{{仮リンク|表現対象|en|representable functor}}としても定義できる。これは上で与えられた普遍写像性質と同値である。

厳密に言えば、テンソルを作るのに使われる環は示されるべきである：たいていの加群はいくつかの異なる環上のあるいは同じ環でも加群の元への環の作用が異なる加群と見ることができる。例えば、{{nowrap|'''R''' ⊗<sub>'''R'''</sub> '''R'''}} と {{nowrap|'''R''' ⊗<sub>'''Z'''</sub> '''R'''}} は互いに全く異なることを証明できる。しかしながら実際上は環が文脈から明らかなときには環を表す下の添え字は省略されることがある。

==例==
[[有理数]] '''Q''' と[[合同算術| ''n'' を法とした整数]] '''Z'''<sub>''n''</sub> を考えよう。任意のアーベル群のように、両者は[[整数]] '''Z''' 上の加群と考えることができる。''B'': '''Q''' × '''Z'''<sub>''n''</sub> → ''M'' を '''Z'''-双線型演算とする。このとき ''B''(''q'', ''k'') = ''B''(''q''/''n'', ''nk'') = ''B''(''q''/''n'', 0) = 0 なのですべての双線型演算は恒等的に 0 である。したがって、<math>{\mathbf Q} \otimes_{\mathbf Z} {\mathbf Z}_n</math> を自明な加群と定義し <math>\otimes</math> を零双線型関数とすれば、テンソル積の性質が満たされることがわかる。したがって、'''Q''' と '''Z'''<sub>''n''</sub> のテンソル積は {0} である{{sfn|Hazewinkel et al.|2004|p={{google books quote|id=AibpdVNkFDYC|page=97|97}}|loc=Example 4.5.1}}。

[[アーベル群]]は '''Z'''-加群であり、アーベル群の理論を加群の理論に組み込むことができる{{sfn|Jacobson|2009|p={{google books quote|id=JHFpv0tKiBAC|page=164|164}}}}。'''Z'''-加群のテンソル積は'''アーベル群のテンソル積''' (tensor product of abelian groups) と呼ばれることもある。

==構成==
''M'' ⊗ ''N'' の構成は ''m'' &isin; ''M'' と ''n'' &isin; ''N'' に対して記号 ''m'' ⊗ ''n'' を基底とする[[自由アーベル群]]の次で生成される部分群による商をとる。
* −(''m''+''m′'') ⊗ ''n'' + ''m'' ⊗ ''n'' + ''m′'' ⊗ ''n''
* −''m'' ⊗ (''n''+''n′'') + ''m'' ⊗ ''n'' + ''m'' ⊗ ''n′''
* (''m''·''r'') ⊗ ''n'' − ''m'' ⊗ (''r''·''n'')
の形のすべての元、ただし ''m'', ''m′'' &isin; ''M'', ''n'', ''n′'' &isin; ''N'', ''r'' &isin; ''R''。  (''m'', ''n'') を ''m'' ⊗ ''n'' を含む剰余類に写す関数は双線型であり、部分群はこの写像が双線型であるように最小に選ばれている。

''M'' と ''N'' の{{仮リンク|加群の直積|label=直積|en|Direct product of modules}}は滅多に ''M'' と ''N'' のテンソル積に同型でない。''R'' が可換でないときは、テンソル積は ''M'' と ''N'' が反対側の加群であることを要求するが、直積は同じ側の加群であることを要求する。すべての場合において線型かつ双線型な ''M'' × ''N'' から ''Z'' への唯一の関数は零写像である。

==平坦加群との関係==
一般に、<math>-\otimes_R-:\mathrm{Mod}\mbox{-}R\times R\mbox{-}\mathrm{Mod}\rightarrow \mathrm{Ab}</math> はインプットとして右と左 ''R''-加群を受け付け[[アーベル群の圏]]のテンソル積にそれらを割り当てる{{仮リンク|双関手|en|bifunctor}}である。

右 ''R'' 加群 ''M'' を固定することによって関手 <math>M\otimes_R-:R\mbox{-}\mathrm{Mod}\rightarrow \mathrm{Ab}</math> が生じ、対称的に左 ''R'' 加群 ''N'' を固定して関手 <math>-\otimes_RN:\mathrm{Mod}\mbox{-}R\rightarrow \mathrm{Ab}</math> を作ることができる。[[Hom関手]] <math>\mathrm{Hom}_R(-,-)</math> とは異なり、テンソル積は両方のインプットで[[共変関手|共変]]である。

''M''⊗- と -⊗''N'' はつねに[[完全関手|右完全関手]]であるが左完全とは限らないことを証明できる。定義により、加群 ''T'' は ''T''⊗- が完全関手ならば[[平坦加群]]である。

{''m''<sub>''i''</sub>}<sub>''i''∈''I''</sub> と {''n''<sub>''j''</sub>}<sub>''j''∈''J''</sub> がそれぞれ ''M'' と ''N'' の生成集合であれば、 {''m''<sub>''i''</sub>⊗''n''<sub>''j''</sub>}<sub>''i''∈''I'',''j''∈''J''</sub> は ''M''⊗''N'' の生成集合になる。テンソル関手 ''M''⊗<sub>''R''</sub>- は左完全でないことがあるので、これはもとの生成集合が極小であったとしても極小生成集合ではないかもしれない。

テンソル積が体 ''F'' 上でとられているならば -⊗- が両方の位置で完全であり、生成集合が ''M'' と ''N'' の基底であるとき、<math> \{m_i \otimes n_j \mid i\in I, j \in J\}</math> は確かに ''M''⊗<sub>''F''</sub> ''N'' の基底をなすということは正しい。

==いくつかの<!--several-->加群==
任意個の空間のテンソル積に定義を一般化することが可能である。例えば、

:''M''<sub>1</sub> ⊗ ''M''<sub>2</sub> ⊗ ''M''<sub>3</sub> 

の普遍性は

:''M''<sub>1</sub> × ''M''<sub>2</sub> × ''M''<sub>3</sub> → ''Z''

上の各三重線型写像は一意的な線型写像

:''M''<sub>1</sub> ⊗ ''M''<sub>2</sub> ⊗ ''M''<sub>3</sub> → ''Z''.  

に対応することである。二項テンソル積は結合的である： (''M''<sub>1</sub> ⊗ ''M''<sub>2</sub>) ⊗ ''M''<sub>3</sub> は ''M''<sub>1</sub> ⊗ (''M''<sub>2</sub> ⊗ ''M''<sub>3</sub>) に自然に同型である。三重線型写像の普遍性で定義された 3 つの加群のテンソル積はこれらの繰り返しのテンソル積の両方に同型である。

==付加的構造==
定義されたテンソル積はアーベル群であるが一般にはただちに ''R''-加群の構造をもたない。しかしながら、''M'' が (''S'', ''R'')-[[両側加群]]であれば、''M''⊗<sub>''R''</sub>''N'' は明らかな演算 ''s''(''m''⊗''n'') = (''sm'')⊗''n'' を使って左 ''S''-加群にすることができる。同様に、''N'' が (''R'',''T'')-両側加群であれば、''M''⊗<sub>''R''</sub>''N'' は演算 (''m''⊗''n'')''t'' = ''m''⊗(''nt'') によって右 ''T''-加群である。''M'' と ''N'' がそれぞれ上の両側加群の構造をもっていれば、''M''⊗<sub>''R''</sub>''N'' は (''S'', ''T'')-両側加群である。''R'' が可換環の場合にはすべての加群は (''R'', ''R'')-両側加群と考えることができるので、''M''⊗<sub>''R''</sub>''N'' は上述のように ''R''-加群にすることができる。可換環 ''R'' 上のテンソル積の構造において、積演算はちょうど記述されたようにア・ポステリオリに定義することもできるし、はじめから自由 ''R''-加群の商を一般の構成に対して上で与えられた元に元 ''r'' (''m'' ⊗ ''n'') − ''m'' ⊗ (''r''·''n'') あるいは同じことだが元 (''m''·''r'') ⊗ ''n'' − ''r'' (''m'' ⊗ ''n'') を追加したもので生成された部分加群によってつくることによってもできる。

{''m''<sub>''i''</sub>}<sub>''i''∈''I''</sub> と {''n''<sub>''j''</sub>}<sub>''j''∈''J''</sub> がそれぞれ ''M'' と ''N'' の生成集合であれば、{''m''<sub>''i''</sub>⊗''n''<sub>''j''</sub>}<sub>''i''∈''I'',''j''∈''J''</sub> は ''M''⊗''N'' の生成集合になる。テンソル関手 ''M''⊗<sub>''R''</sub>- は右[[完全関手|完全]]であるが左完全でないこともあるから、これはもとの生成集合が極小であったとしても極小生成集合でないかもしれない。''M'' が[[平坦加群]]であれば、関手 <math>M\otimes_R-</math> はまさに平坦加群の定義によって完全である。テンソル積が体 ''F'' 上とられれば、上記ベクトル空間の場合である。すべての ''F'' 加群は平坦だから、{{仮リンク|双関手|en|bifunctor}} <math>-\otimes_R-</math> は両方の位置で完全であり、2 つの与えられた生成集合は基底であり、
<math> \{m_i \otimes n_j \mid i\in I, j \in J\}</math> は確かに ''M'' ⊗<sub>''F''</sub> ''N'' の基底をなす。

''S'' と ''T'' が可換 ''R''-代数であれば、''S'' ⊗<sub>R</sub> ''T'' も可換 ''R''-代数になる。積写像は (''m''<sub>1</sub> ⊗ ''m''<sub>2</sub>) (''n''<sub>1</sub> ⊗ ''n''<sub>2</sub>) = (''m''<sub>1</sub>''n''<sub>1</sub> ⊗ ''m''<sub>2</sub>''n''<sub>2</sub>) によって定義され線型性によって拡張される。この設定において、テンソル積は ''R''-代数の圏において{{仮リンク|ファイバー余積|en|fibered coproduct}}になる。任意の環は ''Z''-代数なので、つねに ''M'' ⊗<sub>'''Z'''</sub> ''N'' をとれることに注意しよう。

''<sub>S<sub>1</sub></sub>M<sub>R</sub>'' が ''S<sub>1</sub>-R''-両側加群であれば、テンソル写像 ⊗:''M''×''N''→''M''⊗<sub>R</sub>''N'' と協調的な ''M''⊗''N'' 上一意的な左 ''S<sub>1</sub>''-加群構造が存在する。同様に、''<sub>R</sub>N<sub>S<sub>2</sub></sub>'' が ''R-S<sub>2</sub>''-両側加群であれば、テンソル写像と協調的な ''M''⊗<sub>R</sub>''N'' 上の唯一の右 ''S<sub>2</sub>''-加群構造が存在する{{Citation needed|date=February 2011}}。

''M'' と ''N'' がともに可換環上の ''R''-加群であれば、それらのテンソル積は再び ''R''-加群である。''R'' が環であれば、''<sub>R</sub>M'' は左 ''R''-加群であり、''R'' の任意の 2 つの元 ''r'' と ''s'' の[[交換子]] 

:''rs'' &minus; ''sr'' 

は ''M'' の[[零化イデアル]]に入り、''M'' を右 ''R'' 加群に

:''mr'' = ''rm''.  

とおくことでできる。''R'' の ''M'' への作用は商可換環の作用を通して分解する。この場合 ''M'' の自分自身との ''R'' 上のテンソル積は再び ''R''-加群である。これは可換代数において非常に一般的なテクニックである。

== 脚注 ==
<references/>

== 参考文献 ==
{{refimprove|date=February 2008}}<!-- no inline cites, and this reference was given as "Further reading" as if this was a textbook.  -->
* {{citation|first1=Michiel|last1=Hazewinkel|authorlink1=:en:Michiel Hazewinkel|first2=Nadezhda Mikhaĭlovna|last2=Gubareni|authorlink2=:en:Nadezhda Mikhaĭlovna|first3=Nadiya|last3=Gubareni|authorlink3=:en:Nadiya Gubareni|first4=Vladimir V.|last4=Kirichenko|authorlink4=:en:Vladimir V. Kirichenko|title=Algebras, rings and modules|url={{google books|AibpdVNkFDYC|plainurl=yes}}|publisher=Springer|year=2004|isbn=978-1-4020-2690-4|ref={{sfnref|Hazewinkel et al.|2004}}}}.
* {{citation |first=Nathan |last=Jacobson |title=Basic Algebra | url={{google books|JHFpv0tKiBAC|plainurl=yes}}|volume=I |edition=2nd |publisher=Dover |year=2009|isbn=978-0-486-47189-1 }}
* {{citation|first1=D.G.|last1=Northcott|authorlink1=:en:Douglas Northcott|title=Multilinear Algebra|publisher=Cambridge University Press|year=1984|isbn=613-0-04808-4}}.

== 関連項目 ==
*[[Tor関手]]
*[[代数のテンソル積]]
*[[体のテンソル積]]

{{DEFAULTSORT:かくんのてんそるせき}}
[[Category:加群論]]
[[Category:多重線型代数]]
[[Category:ホモロジー代数]]
[[Category:二項演算]]
[[Category:数学に関する記事]]