不連続群の埋め込みが空間への作用及び保型因子と可換に なるときモジュラー埋め込みという。
ヒルベルトモジュラー群の斜交群への 埋め込みを考察することによりヒルベルトモジュラー形式を構成する。