リー群 リー群の導入部分の話を数学的に厳密なことはせずに見ていきます。それでも数学用語が出てくるので注意して ください。 ほとんどが言葉の定義を与えているだけで、物理への応用の話はしていません。 同じローマ文字の添え字は和を取ります。 I を単位行列としています。 ある集合があり、それに含まれるもの (元、要素) が (i) : a · e = e · a = a (ii) : a · a−1 = a−1 · a = e (iii) : a · (b · c) = (a · b) · c という関係を満たすとき、その集合を群 (group) と呼びます。「·」は演算の記号で、和か積を表すとします (大抵 は単に ab と書かれますが、和の場合もあるので「·」を使っています)。「·」は積 (multiplication) と呼ばれること もあります。 e は (i) を満たすもので