モジュラー同型写像の定義、核、および画像の性質