フラットモジュールの定義、判定,および核心特性