23/03/15 23:32:15.69 DD2u0IiX.net
>>371,387,388,391
加群の準同型g: V/W→U、v∈Vならばg(v+W)=h(v)となる
gの一意性、
Tensor積の普遍性により
φ: A⊗M→Mでφ(a⊗x)=axとなるものが存在する。
23/03/15 23:32:15.69 DD2u0IiX.net
>>371,387,388,391
加群の準同型g: V/W→U、v∈Vならばg(v+W)=h(v)となる
gの一意性、
Tensor積の普遍性により
φ: A⊗M→Mでφ(a⊗x)=axとなるものが存在する。