代数-加群

雪江代数2(青雪江) 例2.13.1 Z⊕Z/2Z の {2^n}による局所化

雪江代数2(青雪江) 例2.13.1 Z⊕Z/2Z の {2^n | n≥0}による局所化 ところで、昨日からノートには「お嬢様言葉」を使うようにしました。 言葉くらいふざけておいたほうが、わからないことによるイライラを抑えられるかなと思って。 それにしても、以外に自然な…

【テンソル積】環のテンソル積は圏論的「直和」である。

加群の直和は、有限個の場合直積と一致します。 では、環の場合にも、その環から積を忘れたものの直和ってことで、有限個の直積を直和と思うのは良いのでしょうか。⊕の記号を×の代わりに使うのは筋が悪くないのでしょうか。 今回得た知見は、 「環における圏…

【加群】内部直和は外部直和と思って良い。

外部直和は普遍性を満たします。(「層とホモロジー代数」P.29) この普遍性を満たすような別の加群があったとき、その加群は外部直和と同型になります。 内部直和はその普遍性をみたすので、外部直和と同型です。 外部直和は、必ずしも何らかの加群の部分加群…

【テンソル積】環のテンソル積の普遍性~push out~ R[x,y]/(I,J) ≅ R[x]/I ⊗ R[y]/J を見る。

このgeneral fact の同型がわからないです。証明載ってるやつ知りませんか。。。?自分でできねえのかと思われるでしょうが、できねえんです。 pic.twitter.com/VHfElAEwTE — 不自然対数Ⓜ️ (@study_unnatural) 2023年7月20日 というツイートをしました。 そ…

【加群】アルティン加群だが、ネーター加群でない例:Twitterより

note.com 今回も皆さんありがとうございました。あー、救われる https://twitter.com/study_unnatural/status/1662282207988432897?s=20 プリュ―ファー群というものらしいです。この名前で調べたら出てきた。(Q/Z)(p^∞)という記法で書いているものがみつから…