部分群かどうかもわからないのは
定義ちゃんと理解してないんじゃねえの？
直交行列の全体、ユニタリ行列全体がどんな空間だったか
考えればわかるだろ。

てか行列式とか言ってるから今一年なのか？