クラール次元1の可換環上のトルションフリーモジュール | Synapse