テンソル積が係数環を拡大・縮約するときに使われることに関する質問です。
「環と体の理論」酒井文雄著、p92を参照すると、テンソル積が係数環を拡大・縮約するときに使われることに関する説明が載っています。
そこにある説明文には、
「R加群Mに対して、M (R上のテンソル積) SはS加群の構造をもつ」ことから、テンソル積が係数環を拡大・縮約するときに使用できる
という趣旨の内容が記載されています。
(ただし、ここでのR、Sは可換環とし、「M (R上のテンソル積) S」でMとSのR上でのテンソル積を表すものとします。)
このことから私は、係数拡大に関しては、例えば
「Rを実数体、M=R[x]とし、Sとして複素数体Cをとれば、R上のテンソル積をとることによってC[x]を得る」などのように、理解ができますが、係数の縮約に関していまひとつ理解できません。
具体的には、
1、例えば、「Rを実数体、M=R[x]とし、Sとして有理数体Qをとれば、R上のテンソル積をとることによってQ[x]を得る」は、「Sとして有理数体Qをとると、R上のテンソル積を定義上とることができない」のでまずい。
2、例えば、「Rを実数体、M=R[x]とし、Sとして有理数体Qをとれば、Q上のテンソル積をとることによってQ[x]を得る」は、「テンソル積の結果としてR[x]が得られる」のでまずい。
と思っています。
係数の縮約に関して、お教えいただければ幸いです。
No.1ベストアンサー
- 回答日時:
係数の縮約を知らない者が書きます。
間違いがあるかもしれないので、ちゃんと確認してね。係数の拡大ときたら「制限」を思い浮かべます。
係数の制限といえば、係数体が複素数体なのを実数体として見るというのを私はよく見ましたが、それは単純に、実2次元に見直すイメージのものでした。調べてみると、「係数の制限」を数学的に表すには Hom を使うようです。
しかし質問にはテンソル積でしか書かれてないので、制限の話ではなさそうですね。
では、係数の縮約とは何なのか。
と、その前に、質問中の例ですが、何かおかしくないですか。
1は Q が R-加群になっていますが、いいんでしょうか?
次に2では、Q 上のテンソル積をとる時点で M は Q-加群としているわけですが、Q とテンソル積をとっても、Q-加群 M のまま(同型)ですよね。テンソル積をとる前から Q-加群扱いなら、テンソル積をとる意味ないんじゃないですか?
どちらも制限のイメージが漂っていますし。
さて、本題の縮約ですが、たぶん係数環の拡大が、拡大のイメージに合わない場合を言っているのではないかと思います。
例を挙げると、Z を整数環、M=Z[x]、m を整数とするとき、Z のイデアル mZ や商環 Z/mZ は自然に Z-加群になりますが、
ここで M と mZ のテンソル積には、mZ に積があるので自然なかたちで mZ が作用して mZ-加群と見なせます。
同様に、M と Z/mZ のテンソル積には自然に Z/mZ が作用します。これで Z/mZ-加群と見なせます。
そして mZ は Z の真部分集合だし、Z/mZ だと環準同型の像(Z の代数構造が折り畳まれている感じ?)なので、こういう場合は「拡大」より「縮約」がふさわしいのかな、と思いました。
大変わかりやすくお教えいただき、有難うございました。
謎が解けました。
(質問中の例は、よろしくない例として入れたつもりでしたが、書き方にも問題があり、失礼いたしました。)
とても勉強になり、理解が深まりました。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 物理学 物理学で使うテンソル 2 2023/05/14 23:57
- 数学 加群におけるテンソル積の存在証明 1 2022/09/26 02:36
- 数学 テンソル積についての質問です。 以下はこうだっんじゃないか劇場です。 軽い気持ちで聞いてください。 1 2022/08/11 19:32
- その他(教育・科学・学問) ベクトルというのは、数学を学んでいなくても世間一般で「みんなの考え方のベクトルは同じだ」というふうに 3 2023/02/26 17:43
- 化学 化学が得意な方に質問です。この問題の正解を教えて欲しいです。 【問題1】Log Kowの記述について 1 2022/09/26 23:44
- 物理学 波動方程式のようなもの 1 2023/05/13 07:23
- 物理学 『数か物か』 4 2022/06/13 06:54
- 数学 複素関数にロピタルの定理を使おうとしている回答者は、複素関数論はおろか微積分学もよく分かっていない、 5 2022/12/28 18:02
- 数学 複素関数と実関数のテーラー展開の違いについて 1 2022/08/09 06:18
- 物理学 微積物理の質問です。微積物理とは数学の微積を理解していれば、自ずと利用できるものですか?それとも、物 2 2022/08/16 22:49
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
縮尺とコピー
-
遅延の反対語
-
力率計の読み方で疑問
-
電位差がなければ電流は流れま...
-
山峡ダムからの排水によって推...
-
電圧は抵抗が無いと発生しない...
-
可愛い女子高生とセ◯クスやりた...
-
高圧ケーブル付近の誘導電圧に...
-
「外径」とは円の直径ですか?...
-
100Vと200Vでの感電した場合の...
-
丸で囲んであるところの意味が...
-
外径φ38とは直径38cmの事ですか。
-
ニクロム線の抵抗・線径・発熱...
-
200Vと220Vの違い
-
アースで流れた電流はどこに流...
-
時刻ではなく、時間の記号表記...
-
「自身」は一人称代名詞ですか?
-
自身と自体の使い分け
-
オシロスコープでの突入電流測...
-
1ミリアンペアはなんボルトにな...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
縮尺とコピー
-
m = -1/4(4+2√5)^2+4 m = -(2+√...
-
A4を拡大コピー
-
この虫なんですか
-
ガロア拡大でない例について
-
脳動脈瘤、ロート状拡大について
-
2万5千分の1地形図を5千分の1に...
-
フラクタルはどういった分野で...
-
L版の写真をA4に拡大するには...
-
ルート5+ルート11を途中式含め...
-
数学ですこの⑵分かる方教えてく...
-
A4の原稿を110×60の大きさに拡...
-
√5+3
-
コピー倍率
-
+-×÷()を使って1~9の数を...
-
テンソル積が係数環を拡大・縮...
-
行列と漸化式
-
体拡大と体の拡大の違いは何で...
-
みなさんフラクタルご存知です...
-
高校数学
おすすめ情報