08/05/22 08:59:41
>>360
（前半）
あなたはR加群をどう定義してるの？
ふつうの流儀でふつうに作用を入れると同型になると思うけど。
（後半）
Yes
08/05/22 08:59:41
>>360
（前半）
あなたはR加群をどう定義してるの？
ふつうの流儀でふつうに作用を入れると同型になると思うけど。
（後半）
Yes
08/05/22 08:59:41
>>360
（前半）
あなたはR加群をどう定義してるの？
ふつうの流儀でふつうに作用を入れると同型になると思うけど。
（後半）
Yes