20/08/22 08:01:22.75 qg6YAvVW.net
>>534
つづき
URLﾘﾝｸ(ja.wikipedia.org)
行列群
(抜粋)
行列群は指定された体 K上の可逆行列からなる群 G で、行列の積の操作を伴うものである。線型群は体 K 上の行列群に同型な抽象群、つまり、K 上と忠実な有限次元表現を認めるものである。
任意の有限群が線型であるのはケイリーの定理（英語版）を使って置換行列によって実現できるためである。無限群（英語版）の中で、線型群は興味深く扱いやすいクラスをなす。
線型でない群の例としては、「あまりに大きな」群（を含む。例えば、無限集合の置換からなる群）やある種の病的な振る