最終更新日：2025/11/21
The tilting module constructed in the proof is a quotient of a projective module by a projective submodule, has Ext with itself equal to zero, and admits a right module as the kernel of a surjective morphism between finite direct sums of its direct summands.
正解を見る
The tilting module constructed in the proof is a quotient of a projective module by a projective submodule, has Ext with itself equal to zero, and admits a right module as the kernel of a surjective morphism between finite direct sums of its direct summands.
音声機能が動作しない場合はこちらをご確認ください
編集履歴（0）
元となった例文
証明で構成された加群は、射影加群を射影部分加群で割った商であり、自己に対する Ext が 0 になり、有限個の直和の直和因子間の全射の核として右加群が存在するという性質を満たしている。
