線型
代数群とは、n次元の
正則行列全体で構成される群の
部分群であり、特に
多項式系によって定義される群を指します。これは、
数学における
群論の重要な概念の一つで、様々な分野に応用されています。
定義と特性
線型
代数群の基本的な定義は、行列の積に関する群構造が
多項式によって保持されていることです。たとえば、行列Mの転置M'に対して、M'M = 1という条件を用いて定義される
直交群がその一例です。この性質により、線型
代数群は代数的な構造を持ち、多くの
数学的な事象をモデル化するのに役立ちます。
さらに多くの
リー群は、実数体や複素数体上の線型
代数群として考えることができます。例えば、SLn(R)のような非コンパクト群や、すべてのコンパクト
リー群がこれに該当します。1880年代から1890年代にかけて、ヴィルヘルム・キリングとエリー・カルタンによって単純
リー群の分類が行われ、
代数群の理論が構築されました。これは、群構造が
多項式で表現できることを利用して、
数学的な理論の発展を促進しました。
線型
代数群には、いくつかの重要な具体例があります。例えば、正の
整数nに対して、GLnという群はn次
正則行列から構成されます。これには、上三角行列や対角行列が含まれます。また、Gmという
乗法群は、体k上のゼロでない元が乗法に関してなる群です。
さらに、加法群Gaは行列の形で表現され、例えばGL2の行列として、特定の形を持つものとして示されます。ここで、
乗法群と加法群は、線型
代数群の基本的な性質を理解するうえで、それぞれ異なる振る舞いを示します。
代数的閉体k上における線型
代数群は、抽象群GLn(k)の
部分群として定義されます。この
部分群G(k)は、適切な正則関数の零点として構成されます。特に、体k上の代数多様体に関する構造が、そのk
有理点の集合によって表現される重要な概念となっています。
また、群の
準同型の概念も重要な役割を果たします。これにより、線型
代数群は圏のような構造を成し、同型の意味合いを明確にします。たとえば、
代数的閉体の場合、群の
準同型は抽象群の
準同型として定義されることにより、線型
代数群に関する深い理解が得られます。
特殊な群の性質
体k上の連結線型
代数群Gは、群の構造が抽象群にどのように影響するかを考える機会を提供します。線型
代数群Gの性質は、G(k)として現れる抽象群によってどの程度決定されるかを問うことができます。この点において、連結性や簡約性が重要な概念となり、
代数群の研究が進められています。
一般に、連結かつ可解な線型
代数群はトーラスとべき単群の半直積として表現できます。これにより、群の性質を研究し、異なる視点からの理解をマルチに提供することが可能です。
結論
線型
代数群は、
数学のさまざまな分野において非常に重要な役割を果たしています。これらの群の構造と性質を理解することは、代数的な計算や理論の構築において不可欠であり、さらに他の領域との関連を考慮することで、より広範な応用が見込まれます。