係数環の変更

代数学において，環準同型 が与えられると，加群の係数環を変更する3つの方法がある；すなわち，右 -加群 と右 -加群 に対し，
それらは随伴関手として関係する：
これはと関係する．
Operations.
係数制限.
係数の制限は -加群を -加群に変える．代数幾何学では，用語「係数制限」はしばしばのシノニムとして用いられる．
定義.
 と を2つの環とし（可換であってもなくてもよく，単位元を持っても持たなくてもよい）， を準同型とする． を 上の加群とする．このとき次のようにして を 上の加群と見なせる： の作用を と に対して formula_6 によって与える．
関手としての解釈.
係数制限は 加群の圏から 加群の圏への関手と見ることができる． 準同型 は自動的に と の制限の間の 準同型になる．実際， と に対し，
となる．
関手として，係数制限は係数拡大関手の右随伴である．
 が有理整数環のとき，これは単に加群の圏からアーベル群の圏への忘却関手である．
体の場合.
 と がともに体のとき， は単射でなければならないので， により は の部分体と同一視される．そのような場合 加群は単に 上のベクトル空間であり，当然任意の部分体上のベクトル空間でもある．すると制限によって得られる加群は単に部分体 formula_8 上のベクトル空間である．
係数拡大.
係数拡大は 加群を 加群に変える．
定義.
この定義では環は結合的と仮定するが，可換であったり単位元を持ったりする必要はない．また，加群は左加群と仮定する．右加群の場合に必要な修正は容易である．
 を2つの環の間の準同型とし， を 上の加群とする．テンソル積 を考える，ただし は によって右 加群と見なす． は自身の上の左加群でもあり，2つの作用は可換である，すなわち と に対して formula_9 である（よりフォーマルなことばでは， は 両側加群である）から， は の左作用を引き継ぐ．それは と に対して formula_10 によって与えられる．この加群は から"係数拡大"によって得られるといわれる．
インフォーマルには，係数拡大は「環と加群のテンソル積」である；よりフォーマルには，それは両側加群と加群のテンソル積の特別な場合である―― 両側加群と 加群のテンソル積は 加群である．
例.
最も単純な例の1つはであり，これは実数から複素数への係数拡大である．より一般に，任意の体拡大 が与えられると， から に係数拡大できる．体のことばでは，体上の加群はベクトル空間と呼ばれ，したがって係数拡大は 上のベクトル空間を 上のベクトル空間に変える．これは，（実数から四元数への拡張）のように，可除環に対してもできる．
より一般に，体あるいは"可換"環 から環 への準同型が与えられると，環 は 上の結合多元環と考えることができ，したがって 加群を係数拡大するとき，得られる加群は 加群と考えることも（ 代数としての） の代数の表現をもった 加群と考えることもできる．例えば，実ベクトル空間を複素化 (, ) した結果は，複素ベクトル区間（ 加群）とも（ 加群としての の代数の表現）を持った実ベクトル空間とも解釈できる．
応用.
この一般化は体の研究に対してさえ有用である――特に，体に付随する多くの代数的対象はそれら自身は体ではなく表現論のように体上の代数のような環である．ベクトル空間上の係数を拡大できるのと同様に，群環上の係数も拡張でき，したがって群環上の加群すなわち群の表現の係数も拡張できる．特に有用なのは既約表現が係数拡大でどう変わるかを関係づけることである――例えば，平面の 90° の回転によって得られる位数4の巡回群の表現は既約な2次元の"実"表現であるが，複素数に係数拡大すると，2つの1次元の複素表現に分裂する．これはこの作用素の特性多項式 が実数では2次の既約多項式であるが複素数では2つの1次式に分解することに対応する――実固有値は持たないが，2つの複素固有値を持つ．
関手としての解釈.
係数拡大は 加群の圏から 加群の圏への関手と解釈できる．それは を上のように に送り， 準同型 を formula_11 で定義される 準同型 に送る．
係数拡大と係数制限の関係.
 加群 と 加群 を考える．準同型 formula_12, ただし は係数制限によって 加群と見なす，が与えられたとき， を合成
と定義する，ただし最後の写像は formula_14 である．この は 準同型であり，したがって formula_15 は well-defined で，（アーベル群の）準同型である．
 と がともに単位元を持つとき，逆写像 formula_16 があり，それは以下のように定義される．formula_17 とする．すると は合成
である，ただし最初の写像は同型 formula_19 である．
この構成は群 formula_20 と formula_21 が同型であることを示している．実はこの同型は準同型 のみに依っており，したがって関手的である．圏論のことばでは，係数拡大関手は係数制限関手の左随伴である．