リー群
リー群から新たなリー群を作り出す標準的な方法がいくつか挙げられる。たとえば、