デデキンド環上の基本モジュラー構造