20/08/24 18:41:13 rNo847jr.net
>>649
つづき
表現が忠実 (faithful) であるとは、写像 R → EndZ(M) が単射となることをいう。加群の言葉で言えば、これは R の元 r が M のすべての元 x に対して rx = 0 を満たすならば r = 0 と成ることを言っている。任意のアーベル群は有理整数環または適当な剰余類環 Z/nZ 上の忠実加群である。
一般化
任意の環 R をただひとつの対象から成る前加法圏と看做すことができる。この観点で言えば、左 R-加群とは R からアーベル群の圏 Ab への共変加法的函手に他ならない。右 R-加群は反変加法的函手である。このことが示唆するのは、任意の前加法圏 C に対し、C から Ab への加法的函手は C 上の一般化された左加群と考えるべきであるということである。このような函手の全体は、環上の加群の圏 R-Mod の一般化となる函手圏 C-Mod を成す。
可換環上の加群は別な方向に一般化することができる。まず、環付き空間 (X, OX) をとり、