ある実例 を可換環とします. 集合 が与えられたとき, の元を基底とする自由 -加群が作れます. これを で表すことにします. すると函手 が作れます.一方, -加群 に対して, -加群であることを忘れてただの集合とみなす函手*1 が作れます. 射も -準同型であるこ…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。