【１】ＳＵ（２）とパウリ行列

　２次元特殊ユニタリー群ＳＵ（２）は，複素ユニタリー２×２行列で行列式１なるもの全体です．

　　ＳＵ（２）＝｛ＧＬ（２，Ｃ）｜Ａ’Ａ＝Ｅ，｜Ａ｜＝１｝

そのリー環は複素２次正方行列で

　　ｓｕ（２）＝｛ＧＬ（２，Ｃ）｜Ｘ’~＝−Ｘ，Ｔｒ（Ｘ）＝０｝

となる行列です．

　リー群の部分空間がリー環であって，

　　Ｘ＋Ｘ~＝０，Ｔｒ（Ｘ）＝０

の一般型を求めれば

　　Ｘ＝［ｉｘ3，−ｘ2＋ｉｘ1］

　　　　［ｘ2＋ｉｘ1，−ｉｘ3］

となります．

　したがって，パウリ行列

　　σx＝［０，１］　　　σy＝［０，−ｉ］　　　σz＝［１，　０］

　　　 　［１，０］　　　　 　［ｉ，　０］　　　　 　［０，−１］

はＳＵ（２）の基底となり，ＳＵ（２）の任意の元は基底の線形結合

　　σ＝Ｘσx ＋Ｙσy ＋Ｚσz ＝［　Ｚ，Ｘ−ｉＹ］

　　　　　　　　　　　　　　　　［Ｘ＋ｉＹ，−Ｚ］

で表されます．

　パウリ行列では

　　Ｔｒ（σiσj）＝２δij

δはクロネッカーのデルタで

　　δij＝１（ｉ＝ｊ）

　　　　＝０（ｉ≠ｊ）

となっています．そこで，基底の規格化条件として

　　Ｔｒ（ＴiＴj）＝１／２δij

を課すと，基底は

　　Ｔi＝σi／２

で与えられます．

　　Ｔ1＝1/2［０，１］　Ｔ2＝1/2［０，−ｉ］　Ｔ3＝1/2［１，　０］

　　　　　　［１，０］　　　　　［ｉ，　０］　　　　　［０，−１］

　こうしてもっとも簡単な非可換リー代数ｓｕ（２）は，一般に３つの基底Ｔiからなる反対称交換関係

　　［Ｔ1，Ｔ2］＝ｉＴ3

　　［Ｔ2，Ｔ3］＝ｉＴ1

　　［Ｔ3，Ｔ1］＝ｉＴ2

で与えられることになります．

　回転群の基底はこの反対称交換関係を満たしているのですが，１９２５〜２６年には，電子は単なる質点ではなく自転によるスピン角運動量±１／２をもつことがわかっていて，この関係は角運動量代数としてよく知られています．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

　この群がｓｕ（２）と呼ばれるものですが，基底は一意ではなく，たとえば，ＳＯ（３）の回転群に一致させるためにパウリ行列に±ｉ／２を乗じた行列も基底となります．

　　Ｊ1＝1/2［０，ｉ］　Ｊ2＝1/2［０，−１］　Ｊ3＝1/2［ｉ，　０］

　　　　　　［ｉ，０］　　　　　［１，　０］　　　　　［０，−ｉ］

　この場合もＪ1，Ｊ2，Ｊ3はｓｕ（２）の基底をなし，ｓｕ（２）の構造を完全に決定します．この基底は反対称交換関係ではなく，

　　［Ｊ1，Ｊ2］＝Ｊ3

　　［Ｊ2，Ｊ3］＝Ｊ1

　　［Ｊ3，Ｊ1］＝Ｊ2

という交換関係を満たしますが，この関係は形式的にはＳＯ（３）と同じものです．

　　ｓｕ（２）＝ｓｏ（３）

すなわちリー代数として同型というわけです．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝