QR分解
はQR分解を半単純リー群に一般化している。