>>559
微分ガロアのガロア群は行列で表される代数群でリー群として扱える。