質問すまそ

GL(n,R) や GL(n,C) の連結性を知りたいとき、これらの群を極分解
した形で群を分解できて、その極にあたる部分をみたらすぐわかる
ってのがあったと思うんですけど、この分解定理って誰が見つけたんですか？