モジュラー群
数学においてモジュラー群(modular group)とは、数論、幾何学、代数学や他の現代の数学の分野における基礎研究対象であり、幾何学的変換群や行列群により表されるものである。
モジュラー群 formula_1 は、a, b, c, d を整数とし ad − bc = 1 としたとき、
が形作る複素上半平面の一次分数変換の群である。作用の群は、写像の合成である。
この変換群は、特殊射影線型群 PSL(2, Z) に同型であり、この群は整数上の 2-次元の特殊線型群 SL(2, Z) をその群の中心 {I, −I} で割った商である。言い換えると、PSL(2, Z) は、a, b, c, d を整数とし ad − bc = 1 として、さらに行列のペア A と -A を同一視したときのすべての行列
から構成される。群の作用は通常の行列の積である。
モジュラー群を PSL(2, Z) であると定義する著者もいて、さらに大きな群である SL(2, Z) であると定義する者もいる。しかし、モジュラー群を PSL(2, Z) であると定義する者は、SL(2, Z) の記号が行列では符号により決定されるだけであるとして使っている。
数学的な関係より、プラスとマイナスの行列式をもつ行列の群 S*L(2, Z) を考えることを求めることもある。（ SL(2, Z はこの群の部分群である。）同様に、PS*L(2, Z) は商群 S*L(2,Z)/{I, −I} である。単位行列式を持つ 2 × 2 行列は、シンプレクティック行列であるので、SL(2, Z) = Sp(2, Z) は 2 × 2 行列のなすシンプレクティック群である。
S*L(2, Z) を記号 GL(2, Z) とすることもできる。なぜならば、整数行列の逆が存在し、整数係数を持つことと行列式が ±1 に等しいこととは同値であるからである（行列式が 0 でも ±1 でもなければ、逆行列が存在するが少なくともひとつの整数ではない係数を持つ）。言い換えると、明確な記号 SL(2, Z) と表すことができる。
の単位行列式は、分数 a/b, a/c, c/d と b/d がすべて既約であること、つまり、共通因子を持たないこと（もちろん分母は 0 ではない）を意味する。さらに一般的には、p/q が既約であれば、
も既約となる（繰り返すが、分母は 0 ではない）。既約分数の任意のペアは、この方法により関連つけることができる。つまり、任意の既約分数のペア p/q と r/s に対して、
が存在し、
となる。
モジュラー群の元は、2次元の周期格子上の対称性をもたらす。formula_9 と formula_10 を 2つの比率が実数でないような 2つの複素数とすると、点の集合
は、平面上の平行四辺形の格子となる。異なるベクトルのペア formula_12 と formula_13 は同じ格子を生成することと、ある行列が存在し、
となることとは同値である。この理由は、楕円函数のような(doubly periodic function)は、モジュラー群対称性を持っているからである。
有理数上のモジュラー群の作用は、格子点 (p, q) を分数 p/q に対応させて四角形の格子として可視化する（(Euclid's orchard)）ことにより、容易に理解することができる。既約分数は、原点から見ることのできる点である。分数上のモジュラー群の作用は、見ることができない（既約な）背後に隠れた点であり、逆も成り立つ。
formula_15 と formula_16 が 2つの連分数の収束する数列であれば、行列
は S*L(2, Z) に属する。特に、a ファレイ数列に近い存在である。隣り合う分数の特別に重要な例として、フィボナッチ数とペル方程式の解がある。どちらの場合も、数は整列してモジュラー群の半群を形成することが可能である。
モジュラー群は、次の 2つの変換により生成された(generated)であることを示すことができる。
従って、すべてのモジュラー群の元は、（一意ではないが）S と T のべきの合成により表すことができる。幾何学的には、S は原点に関して単位円内の逆を表し、T は右への単位の変換を表す。
生成子 S と T は関係式 S = 1 と (ST) = 1 に従う。このことは、 により、これらは関係式の完全な集合であることが示され、よって、モジュラー群は次を表示(presentation)を得る。
この表示は、回転する(triangle group) (2,3,∞) （∞ は T 上の関係式が存在しない）としてモジュラー群を記述する。また、関係式 T = 1 を加えることにより、三角形群 (2,3,n) 全体の上へ写像する。たとえば、これは合同部分群 Γ(n) を発生させる。
生成子 S と ST を S と T の代わりに使うと、このことからモジュラー群は巡回群 C と C の自由積(free product)に同型である。すなわち、
ブレイド群 B は、（位相的）普遍被覆群 formula_22 の中の格子としてこれらを置いたモジュラー群の普遍中心拡大である。さらに、モジュラー群は自明な中心を持っているので、B の中心を modulo とする商群と同型である。同じことであるが、B の内部自己同型(inner automorphism)の群に同型である。
ブレイド群 B は三葉結び目の結び目群 である。
モジュラー群は、双曲平面の等長(isometries)群の部分群をなすので、重要である。双曲平面の幾何学の上半平面モデル H を考えると、H のすべての向きを保つ(orientation-preserving)等長群は、a, b, c, d を普通の実数の代わりに整数とし、ad − bc = 1 とすると、
形のメビウス変換のすべてから構成される。また、これとは別に次の式に従う H 上の PSL(2, R) 群の作用でもある。
この（左-）作用は、忠実であり、PSL(2, Z) は PSL(2, R) の部分群であるので、モジュラー群は H の向きを保つ等長群の部分群である。
モジュラー群 Γ は H 上に PSL(2, R) の離散部分群(discrete subgroup)、つまり、H の各々の 元 z に対して、z の近傍をとり、z の軌道の他の元を含まないようにすることができる。このことはまた、を構成することができることを意味する。（大まかには、）基本領域は H の中のすべての z の軌道から構成することができる。（領域の境界に注意が必要である。）
基本領域を構成する方法は多数あるが、すべてに共通なことは、領域
は、垂直線 Re(z) = 1/2 と Re(z) = −1/2 と円 |z| = 1 により囲まれていることであり、双曲三角形である。また、頂点 1/2 + i√3/2 と −1/2 + i√3/2 を持ち、辺どうしのなす角度が π/3 であり、三番目の頂点が無限点では、辺どうしのなす角度が 0 である。
この領域をモジュラー群の各々の元で変換すると、合同双曲三角形により双曲平面のタイリングが作られる。そのような三角形は無限点か、または実軸 Im(x) = 0 上のどちらかに一つの頂点を持つことに注意する。この体リンクはポアンカレ円板の拡張であり、そこではすべての双曲三角形が円板の境界に一つの頂点を持つ。ポアンカレ円板のタイリングは、モジュラー群の下に不変であるにより自然な方法で与えられ、すべての複素数にこれらの領域の各々の三角形の中のひとつの点が与えられる。
このタイリングは、各々の領域を半分づつに分割（黒色と白色と塗り分けて）し、反対の向きを加えることで、少し改善することができる。(x, y) ↦ (−x, y) と変換し、領域 R (Re(z) ≥ 0) の右半分をとることは、通常のタイリングをとることである。まず、このタイリングは,で提示され、このことはリヒャルト・デデキント(Richard Dedekind)による を参照した。
（モジュラー群から三角形群への）写像 (2, 3, ∞) → (2, 3, n) の群は、このタイリンクのことばで（モジュラー曲線のタイリングである）右図のように可視化することができる。
モジュラー群 Γ の重要な部分群には、(congruence subgroup)と呼ばれる群があり、付帯する行列の上に合同関係式を導入することにより与えられる。
自然な準同型 SL(2, Z) → SL(2, Z/NZ) が各要素に対して modulo N をとることにより得られる。このことはモジュラー群の準同型 PSL(2, Z) → PSL(2, Z/NZ) を導く。この準同型の核は、レベル N の(principal congruence subgroup)と呼ばれ、Γ(N) と書く。次の短完全系列を得る。
準同型の核 Γ(N) はモジュラー群 Γ の正規部分群である。群 Γ(N) は、a ≡ d ≡ ±1 (mod N) であり b ≡ c ≡ 0 (mod N) であるすべてのモジュラー変換
の集合である。
レベル 2 の主合同部分群 Γ(2) はモジュラー群 Λと呼ばれる。PSL(2, Z/2Z) は対称群 S と同型であるので、Λ は指数 6 の部分群である。群 Λ は、a と d が奇数で、b と d が偶数であるすべてのモジュラー変換からなる。
他の重要な合同部分群の族に、(modular group Γ(N))が c ≡ 0 (mod N)、同じことであるが、N を modulo として上三角変換のすべてのモジュラー変換の集合として定義される。Γ(N) は Γ(N) の部分群である。これらの群に付帯するモジュラー曲線は、モンストラス・ムーンシャインの一側面でもある。ある素数 p に対し、正規化されたモジュラー曲線の種数が 0 であることと、p がモンスター群の位数を割ることとは同値である。同じことであるが、p が(supersingular prime)とは同値である。
群 GL(2, Z) は、標準格子 Z を保存する線形写像であり、SL(2, Z) はこの格子の向きを保存する写像である。これらは、（SL 写像は向きを保存する）トーラスの(self-homeomorphism)となり、実際、トーラスの（拡張された）(mapping class group)に同型な写像は、トーラスのすべての半同相写像は、この形の写像と(isotopic)となる。GL(2, Z) の元としての代数的性質はトーラスの誘導写像の力学と対応する。
モジュラー群は、(Erich Hecke)の名前をとったヘッケ群へ一般することができ、次のように定義することができる
ヘッケ群 H は離散群で、formula_28 とすると、
により生成される。
モジュラー群 Γ は H に同型であり、性質や応用を共有する。たとえば、巡回群の自由積(free product)である
や、より一般的には、(triangle group) (2, q, ∞) に対応する
を持っている。Z[λ] の主イデアルに付帯する主合同部分群の考え方も存在する。小さな値の q に対し、
である。
モジュラー群とその部分群は、最初に、詳細にリヒャルト・デーデキント (Richard Dedekind) とフェリックス・クライン (Felix Klein) により、1870年代に彼らのエルランゲン・プログラムの一部として研究された。しかし、密接に関連する楕円曲線は、1785年にジョゼフ＝ルイ・ラグランジュ(Joseph Louis Lagrange)により研究され、さらに楕円函数に関する結果は、カール・グスタフ・ヤコブ・ヤコビ(Carl Gustav Jakob Jacobi)とニールス・アーベル(Niels Henrik Abel)により1827年に出版された。