射影加群だが自由加群でない例
ここでは「射影加群だが自由加群でない例」を挙げたいと思います.
まずは, 自由加群はいいとして, 射影加群の定義を確認します.
定義 1. (射影加群) を環とする. このとき, 左 加群 が 射影加群 であるとは, 任意の左 加群の全射準同型 と任意の左 加群の準同型 に対し, 左 加群の準同型 で を満たすものが存在することをいう.
これは関手 が完全であることと同値です.
射影加群に関して次のような性質があります.
命題 2. を集合, を左 加群の族とするとき
また, 環 は左 加群として射影加群であり, よって任意の自由 加群は射影加群である.
ここではこの命題の最後の部分に関しての逆の反例を挙げたいと思います. 実は が ならば 加群 が射影加群であることと自由加群であることは同値になるので, を 以外で考えて, うまく左 加群を定めないといけないということになります.
命題 3. とする. このとき は射影加群であるが自由加群でない.
証明 であることから射影加群であることはわかる. 自由加群でないことは自由加群なら少なくとも元の個数が 以上になることからわかる. (終)
何か間違いなどあれば教えてください
[参考文献]