― 107 ―パウリ行列と 4 元数
吉井洋二・上林一彦Pauli matries and Quaternions
Yoji YOSHII and Kazuhiko UEBAYASHI（平成21年11月27日受理）
We review Pauli matrices used in quantum physics. They sit in M（）together with
2quaternions. We ﬁnd two interesting spheres in the 8-dimensional space M（）. One comes2
from Pauli matrices. The other consists of unit imaginary numbers in quaternions. This topic
is an instructive material in linear algebra.
KEYWORDS: Pauli matrices, complex numbers, quaternions, Lie groups

1緒言

量子力学では，電子の運動を記述するのに，最も簡単な場合でも，複素数を成分とする 2 × 2 行列が使われる。2 × 2 行列は線型変換と見れば，2 次元複素ベクトル空間に作用しているわけである。これは実数上では 4 次元空間に作用していることになる。このように量子力学では，時間軸を考えなくても既に 4 次元必要である。加えて，複素数を成分とする 2 × 2 行列全体は，実数上 8 次元のベクトル空間になる。（量子力学では，8 次元空間をも自然に考えているのである。）この 8 次元のうち 4 次元は 4 元数が作る空間で，残りの 4 次元が量子力学で登場するパウリ行列を含む空間である。この空間を我々は擬 4 元数と呼ぶ。この 4 次元空間である
擬 4 元数の中に，3 次元空間であるパウリ空間を定義する。そして，パウリ空間における単位球をパウリ球面と呼び，パウリ行列はパウリ球面上の自然な 3 つの行列と考えてよいことや，パウリ球面上の元はどれもパウリ行列になり得ることなどを説明する。また，擬 4 元数は，行列で表現された 4 元数に虚数単位 i を掛けてできる集合であり，行列の積を少し変形することで，擬 4 元数は 4 元数と同一視できることも解説する。パウリ行列を紹介する際，4 元数との関係を説明するのが普通だが，本論文のように，8 次元空間の中で 4 元数とパウリ行列を含む擬 4 元数との関係を幾何学的に説明しているものはないように思われる。
秋田高専研究紀要第45号

この内容は線形代数の一教材としても新しく，高専・大学等でも取り上げていくべきと考える。特に線形代数を十分教える時間的余裕を持たない高等教育において，物理・工学との連携を保ちながら教えることができる，よき線形代数の教材例になると筆者は考える。
2パウリ球面とパウリ空間

量子力学では電子を記述するのに，σ∈ M（）（複2素数成分の 2 × 2 行列全体）でσ2＝ I（1）となるものが使われる。（I は単位行列とする。
）これは電子の運動を記述するディラック方程式からの要請である。さて
σ＝αβγδとおけば，Cayley-Hamilton の定理により，σ2－（α＋δ）
σ＋（αδ－βγ）I ＝ O.

（2）

（O は零行列とする。）（1）を（2）へ代入すれば，（α＋δ）
σ＝（αδ－βγ＋1）I となり，σ≠± I ならば
tr（σ）＝α＋δ＝0
det（σ）＝αδ－βγ＝－1（3）（4）を得る。もちろん± I は（3）も（4）も満たさないので，

― 108 ―吉井洋二・上林一彦± I は（1）を満たす行列の中で特別なものと言える。
（1）を満たす行列全体を考察したいが，この集合は簡単のようでいて，実は大きすぎて，目に見えにくい。量子力学では運動を記述する行列は observableであるという要請から，固有値は実数であるべきとしている。ところが，（1）を満たす行列の固有値は必ず 1 か－1 なので，observable なる条件は既に満たしている。それでは他にどんな仮定をすれば目に見える集合になるのだろう。運動を記述したいのだから，ユークリッド空間なら直交行列を仮定するのが自然である。ここでは複素数成分で行列を考えているので，複素ベクトル空間での長さを変えない変換（複素内積を変えない変換と言ってもよい），即ち，ユニタリー行列 σσ＊＝ I であると仮定するのが自然だろう。ここで，＊は転置共役の意である。さて，エルミート行列，即ちσ＊＝σを満たす行列を思い出されたい。実は tr（σ）＝0 と det（σ）＝－1 の条
件下においては，σがユニタリー行列であることとσがエルミート行列であることとは同値である。そこで，エルミート行列であって，（3）と（4）を満たす行列全体の集合即ち，を考えると，これがとても興味深い集合であることがわかる。（もちろん の元は（1）を満たしている）
この は目に見えるのである。実際，σ∈ なら a,b, c ∈ を使って
b － ci－aab ＋ ci（5）と書け，その行列式が－1 だから a2＋ b2＋ c2＝1 となる。従って， は～（a, b, c）∈～｛3￨a2＋ b2＋ c2＝1｝なる球面と考えることができる。そこで我々はをパウリ球面と呼ぶことにする。
さらに，～: ＝｛σ∈ M（）￨tr（σ）＝0, σ＊＝σ｝～2

これは最も有名なリー群（あるいはは古典群）と言ってよいだろう。SU（2）は 4 次元における 3 次元球面と見ることができる。実際，
A＝αβ∈ SU（2）γδとすれば，δ＝αとγ＝－βを得る。従って，α＝ a ＋bi, β＝ c ＋ di（a, b, c, d ∈ ）とすれば
A＝

a ＋ bi－ c ＋ dic ＋ di 	a － bi（6）となり，この行列式が 1 であるから，a2＋ b2＋ c2＋d 2＝1 を得る。即ち，
34～
SU（2）～ S ＝｛（a, b, c, d）∈ ￨2222a ＋ b ＋ c ＋ d ＝1, a, b, c, d ∈ ｝

また，行列式が－1 のユニタリー行列は
iSU（2）: ＝｛iσ￨σ∈ SU（2）｝と書けることは明らかであろう。（iSU（2）は群ではないが，SU（2）の元と i をかけることで 1 : 1 対応する。）従って: ＝｛σ∈ M（）￨2tr（σ）＝0, det（σ）＝－1, σ*＝σ｝

σ＝

SU（2）
）￨σσ* ＝ I, det（σ）＝1｝＝｛σ∈ M（23をパウリ空間と呼べば，パウリ球面 はパウリ空間 における球面とみなすことができる。（次節で紹介するの特別な 3 つの元がパウリ行列と呼ばれていることから命名した。）
2 × 2 のユニタリー行列全体は普通 U（2）で表し，行列式が 1 のユニタリー行列を special と呼び，SU（2）で表す。即ち，iSU（2）∩ ＝という関係がわかる。実際，iSU（2）∩ は行列式が－1，トレースゼロのエルミート行列だから，iSU（2）∩ ⊂ が言える。逆に はトレースゼロで行列式が－1 のエルミート行列でもユニタリー行列でもあるわけだから iSU（2）∩ ⊃ が言える。
幾何的には，3 次元球 iSU（2）をパウリ空間で切った切り口がパウリ球面 （通常の 2 次元球面）なのである。
3パウリ行列量子力学では電子を記述するのに，パウリ球面上の特別な 3 つの元が使われる。それらの行列をσ1, σ2, σ3とすれば，反交換関係
σ2σ1＝－σ1σ2（7）を満たしている。
さらに，ベクトルのようにσ＝（σ1, σ2, σ3）で表し，このベクトルが角運動量の交換関係からσ×σ＝2i σ
平成22年２月― 109 ―パウリ行列と 4 元数をも満たしている。ここで演算×は空間ベクトルで使われる通常の外積と同じルールで計算するという意味である。a を通常の空間ベクトルとすれば，もちろん a × a ＝0 であるが，行列の積は非可環なので，同じ演算でもゼロにならないのである。実際，
σ×σ＝（σ2σ3－σ3σ2, σ3σ1－σ1σ3, σ1σ2－σ2σ1）（8）なので，特に第 3 座標に着目すると，σ1σ2－σ2σ1＝2iσ3が成り立つ。これに（7）を代入すれば
σ1σ2＝ iσ31, 2, 3）。ま た， 反 交 換 関 係（7） か ら tr（σ1σ2）＝－tr（σ1σ2） だ か ら 2tr（σ1σ2）＝0 と な り，（σ1, σ2）＝0 を得る。さらに（7）と（9）から他の反交換関係も導けるので，（σ2, σ3）＝（σ3, σ1）＝0 を得る。注意として，σ1, σ2, σ3∈を仮定したわけだが，σ1, σ2∈ と（7），（9）を仮定するだけでもよいのである（σ3は自動的に に入る）。
逆に，｛σ1, σ2, σ3｝を の勝手な正規直交基底とす
れば，これらはパウリ球面 の元で，（7），（9）又は σ1σ2＝－iσ3を満たす。実際，σ＝（9）ab － ci∈b ＋ ci － aにおいて，（σ,σ）＝1 ⇔ a2＋ b2＋ c2＝1 ⇔ det σ＝－1なので，σ1, σ2, σ3∈ を得る。（特に（1）も満たす。）
また， の元σ, τに対して，（σ,τ）＝0 ならば，再び Cayley-Hamilton の定理から，のを得る。まとめると，σ1, σ2, σ3はパウリ球面元で，（7），（9）を満たす行列であるということである。同様に，（8）の第 1 座標，第 2 座標に注目
するとσ2σ3＝ iσ1とσ1σ2＝ iσ3を得るが，実は（7），2（σ＋τ）－ tr（σ＋τ）（σ＋τ）＋ det（σ＋τ）I ＝ O.
（9）とσ1, σ2, σ3 が の元であることだけを使って，これら 2 式や（7）以外の反交換関係σ2σ3＝－σ3σ2,よって，ある u ∈ があって，στ＋τσ＝ uI. ところが，σ1σ2＝－σ2σ1も代数的に導ける。従ってこれらの等両辺のトレースを取れば，0＝2u. よって u ＝0，即式をわざわざ言う必要はない。
ちστ＋τσ＝ O となるから，σ1, σ2, σ3のどのペアにもさて，このσ1, σ2, σ3をパウリ行列と呼ぶ立場もあ反交換関係がある。
るが，通常はもっと具体的な 3 つの行列を指してパさて，（1）より（±iσ1σ2, σ1）＝（±iσ1 σ2, σ2）＝0ウリ行列と呼んでいる。それを紹介する前に，σ1,が言え（σ1σ2 は の元ではないが±iσ1σ2 は の元），σ2, σ3∈ で（7），（9）を満たす行列がどのくらい （±iσ1σ2, ±iσ1σ2）＝1 なので，3 次元ユークリッドあるのかを線形代数の言葉で記述してみる。まず， 空間 において，σ3 は iσ1σ2 か又は－iσ1σ2 のどちらσ, τ∈ に対してかとなる。即ち，σ3＝ iσ1σ2 又はσ3＝－iσ1σ2 を得る。
さて，もちろん上に正規直交基底はいくらで1＊（σ,τ）: ＝ tr（στ）
も取れるわけだが，電子の記述に使われるパウリ行2列は，その中で標準的な行列 3 つに対して使うのがと 定 義 す る と， こ れ は に お け る 内 積（Hilbert普通である。まず，σ∈ ならばσの固有値は 1 と＊Schmidt 内積）となる。 の元はσ ＝σを満たすので， －1 とである。従って，σがある平面に作用していると考えれば（σを平面の線型変換と考えるというab － cia'b' － c'i
1trこと，b ＋ ci － ab' ＋ c'i － a'
2＝ aa' ＋ bb' ＋ cc' ∈10
σ～τ: ＝0 －1となり， と 3の（σとτは相似，即ち，これらは線型変換としてはab － ci↔（a, b, c）同じ）となる。（ の元はすべて線型変換としてτb ＋ ci － aに等しいのである！）さらに詳しく言えば，σの固による同一視は単にベクトル空間としてではなく， 有ベクトルをその平面の基底に取れば，変換σを表ユークリッド空間として（内積も込めて）同一視です行列はτになるということである。しかも，σはきるのである。
エルミート行列なので，それらの固有ベクトルは直（7）と（9）を満たすの元のトリプルσはこ交している。（固有値が 1 と－1 である行列はすべの内積に関して の正規直交基底であることがわてτに相似であるわけだが，もちろんそれらの行列か る。 実 際，（σs,σs）＝1 は（1） よ り 明 ら か（s ＝がすべて の元というわけではない。）ここでの直秋田高専研究紀要第45号

― 110 ―吉井洋二・上林一彦

交とは，複素内積が 0 という意味である。よってτのこの実平面への作用は，上記直交基底に関して上下を入れ換える変換と考えてよい。量子力学では通常これを σ3と置く：
σ3＝100－1

次に，上記固有ベクトルを交換する行列を σ1，即ち，
σ1＝0110とする。この σ1もの元であり，σ3と直交していることはすぐにわかる。最後に σ2は（9）を使って確定する。即ち，0σ2＝i－i0となる。もちろんこの σ2も の元で，σ3にも σ1にも直交している。これら 3 つを量子力学ではパウリ行列と呼んでいる。
量子力学では行列を変換と考えているので，最初の σ3は，上記のようにパウリ球面 のどの元を取ってきてもいいわけである。こう考えると，パウリ空間 の勝手な正規直交基底をパウリ行列と呼ぶのが自然であろう。の元を行列の成分で表そうとすれば，（5）のように表すのは自然である。実はその座標系（a, b,c）（パウリ空間の自然な座標系）の基本ベクトルは順に上記 σ3, σ1, σ2になっている（数学的には σ3 σ1,σ1 σ2, σ2 σ3に変えた方が自然だが）。従って，パウリ空間の自然な基本ベクトルがパウリ行列と言える。
また，2 次行列σが，上記のように平面へ作用していると考え，次の要求をする：その平面のある直交基底に対して，作用σの表現行列が上下変換τであると要求する。
すると，あるユニタリー行列 U があって U ＊σU ＝τとできるわけだから，tr（σ）＝0，det（σ）＝－1 ,σ＊＝σなり，σ∈ となる。よって，もしこの要求を満たしている 2 次行列をパウリ行列と呼ぶとす
るならば，それらは のどの元であっても構わない。
4虚球面と虚空間認識した。では，（1）の代わりにσ2＝－ Iを仮定して前節と同じ考察を行うと，どんな行列の集合を得るのだろう。まず，Cayley-Hamilton の定理により，今度はσ≠± iI ならばtr（σ）＝0, det（σ）＝1（10）を得る。ここでも，（10）を満たす集合は大きすぎるので，またユニタリー行列を仮定する。すると今
度は（10）の条件下において，σがユニタリー行列であることとσ が反エルミート行列，即ち，σ* ＝－σ であることとは同値となる。さて，: ＝｛σ∈ M（）￨2tr（σ）＝0, det（σ）＝1, σ* ＝－σ｝とおくと，これがまた球面になる。実際，σ∈なら a, b, c ∈ を使ってσ＝ai－ b ＋ ci
b ＋ ci － aiと書け，その行列式が 1 だから a2＋ b2＋ c2＝1 となる。従って， は≈｛（a, b, c）∈

3￨a2＋ b2＋ c2＝1｝≈なる球面と考えることができる。σ∈ が σ2＝ I を満たしたように，σ∈ は σ2＝－ I を満たす。そこ
で我々は を虚球面と呼ぶことにする。さらに，: ＝｛σ∈ M（）￨tr（σ）＝0, σ* ＝－σ｝
2とおけば， ＝ 3であり， を虚空間と呼べば，虚球面 は虚空間 における球面とみなすことがで き る。 さ ら に 前 節 と 同 様， に お け る HilbertSchmidt 内積を考えれば，（σ,τ）＝11tr（σ＊τ）＝－ tr（στ）
22となり，
aia'i1－ b ＋ ci－ b' ＋ c'i－ trb ＋ cib' ＋ c'i
2－ ai－ a'iaa'bb'cc'＝＋ ＋ ∈から， は 同様，ユークリッド空間として一視できるわけである。

3と同前節までの議論では，行列が（1）を満たすことから始め，そこから量子力学で使うパウリ行列を再
平成22年２月

― 111 ―パウリ行列と 4 元数

Pで表せば，

iσ3σ3Iσ2iσ2σ1iσ1

図 1: M（）におけるパウリ球面と虚球面パウリ空間2における単位球がパウリ球面であり，虚空間 におの対応で は と同一視できることが確認できる。
故に は積について閉じているのである。（直交する 2 元σ, τを 上に勝手に取っても，必ずστ＝－τσが成り立ち，｛σ , τ , στ｝が正規直交基底になることを前節と同様にして示すことができる。）
さらに，σ＝ aI ＋ biσ1－ ciσ2＋ dσ3とすれば，￨σ￨ ＝（σ, σ）＝ ￨a ＋ bi ＋ cj ＋ dk￨

第 2 節で定義したリー群 SU（2）に関して，となるので， と は上記対応でノルム（絶対値）も等しいのである。通常 は 4 元数 の行列表現と呼ぶが， 自身を 4 元数と呼んでもいいわけである。
因みに，σ' ＝ a'I ＋ b'iσ1－ c'iσ2＋ d'σ3とすれば，（σ ,σ'）＝ aa' ＋ bb' ＋ cc' ＋ dd' となるから，SU（2）∩ ＝aI ＋ biσ1－ ciσ2＋ dσ3 ↔（a, b, c, d）

ける単位球が虚球面である。パウリ空間と虚空間は互いに鏡像のような関係にあり，共通部分は原点だけである。という関係もわかる。幾何的には，3 次元球 SU（2）を虚空間 で切った切り口が虚球面 である。リー理論の記号を使えば， はリー群 SU（2）のリー環su（2）に等しいので，
SU（2）∩ su（2）＝とも書ける。
5I ↔ 1, iσ1 ↔ i, iσ2 ↔ j, iσ3 ↔ kなる対応で， と 4はユークリッド空間として同型である。4 元数 でこの内積を記述したければ，x,y ∈ に対して，x と y の共役を掛けて，その実部をとればよい：（x, y）: ＝ Re（xy）。の自然な部分集合である複素数の行列表現について考察しておく。通常は－ iσ2＝（01 －00）を使って，｛aI － biσ2￨a, b ∈ ｝＝

4 元数

さて，パウリ空間 も虚空間 も（図 1），さらにI を足すことにより，4 次元ベクトル空間となり，どちらも 4と同一視できる。即ち，＋ I～～4,:＝ ＋ I ～～4と書ける。I 2＝ I より I はパウリ球面の仲間として， ＋ I を考えるのが自然という見方もあるが，が決定的に素晴らしいのは，積について閉じているということである。これを示すために，まず虚空間 のよい基底を見つけたい。そこで，前節のパウリ行列 σ1, σ2, σ3に iを掛けてみると，
iσ1＝i0 i01, iσ2＝, iσ3＝i 0－1 000－iは の正規直交基底になっていることがわかる。さらに前節から，iσ1iσ2＝－ iσ3と iσ1iσ2＝－ iσ2iσ1が成り立つから，ハミルトンの 4 元数を＝｛a ＋ bi＋ cj ＋ dk￨a, b, c, d ∈ ｝
秋田高専研究紀要第45号

ab－b￨a, b ∈aを複素平面 ＝｛a ＋ bi￨a, b ∈ ｝と同一視するわけである。ところが，σ2＝－ I なる行列を取ってくれ
ば常に平面 Pσ: ＝｛aI ＋ bσ￨a, b ∈ ｝は，複素平面＝｛a ＋ bi￨a, b ∈ ｝に代数的に等しい。何も M（）
2まで考えなくても，M（）の中で複素平面はいくら22でも実現できるのである。たとえばτ＝（11 －でも－1）よいわけである。ただ，M（）の中で4元数を実2現できないことは明らかだろう。なぜなら M（）
2M
は 上既に 4 次元でなので，実現できるなら （）2そのものが に同型でなければならない。ところが，M（）は零因子を持つのでそれは不可能なので2ある。もちろん，代数を専門とするの人にとってはM（）も 4 元数と呼ぶので，専門家の間では， を2ハミルトンの 4 元数と強調して言うのが普通である。
さて，－ iσ2は虚球面 の元であることに注意されたい。実はσ∈ を一つ固定すると，σ2＝－ I であり， I と は直交していて，（σ, σ）＝1 だから，￨σ￨＝（aI＋bσ, aI＋bσ）＝ a2＋ b2＝ ￨a＋bi￨ となり，Pσ はノルムも込めて複素平面に等しいのである（行― 112 ―吉井洋二・上林一彦

列のノルムあるいは長さとは Hilbert-Schmidt 内積から定義される概念である）。これを，単なる複素平面 Pτと区別して幾何学的複素平面と呼ぶことにすれば，勝手な元σ∈ が 4 元数 に含まれる幾何学的複素平面 Pσ をいくらでも生み出すと言える。
ここで幾何学的と言ったのは，上記τを取った場合，Pτ＝｛aI ＋ bτ￨a, b ∈ ｝は代数的には複素平面と同じだが，ノルムは違ってくるのである。実際，複素平面 Pτの元 aI ＋ bτのノルムは a2＋72 b2となる。
ここでもう少し話を掘り下げておこう。上の考察から，σ∈ M（）の元で，σ2＝－ I と（σ, σ）＝12を満たせば，Pσ はノルムも込めて複素平面に等しいと言える。まず，（σ, σ）＝1 を満たしていてもσ2＝－ I を満たすとは限らないことは明らかだろう。
1 1 1
たとえば，±√（
はその例である。
2 1 1）
2
それでは σ ＝－ I と（σ, σ）＝1 を満たせばσ∈は言えるだろうか？まず，σ2＝－ I からσ＝±iI 又は tr（σ）＝0, det（σ）＝1 である。いずれにしても det（σ＊σ）＝ det（σ＊）det（σ）＝ ￨det（σ）￨ ＝1 である。さらに（σ, σ）＝1 から tr（σ＊σ）＝2 が言えるか
ら，Cayley-Hamilton の定理から（σ＊σ）2－2σ＊σ＋ I
2＝ O となり，（σ＊σ－ I）＝ O を得る。ここで σ＊σ－ Iはエルミート行列なので，σ＊σ－ I ＝ O を得る。（Aが対角化可能で A2＝ O ならば A ＝ O である。）従ってσはユニタリー行列となり，σ∈ ∪｛± iI ｝⊂
U（2）を得る。これによって， の新たな特徴付けを得たわけである。即ち，虚球面 はσ2＝－ I を満たす長さ 1 の行列σの集まりから｛± iI ｝を除いた集合である。長さ 1 の行列全体は 7 次元球 S 7と考えてよいので，σ2＝－ I なる条件でかなり小さく（S 2と 2 点に）なったわけである。
2
また，σ2＝ I なら，（iσ）＝－ I だから，σの長さが 1 なら iσ∈ ∪｛± iI ｝となり，σ∈ i ∪｛± I ｝となる。ところが，i＝だから，パウリ球面 はσ2＝ I を満たす長さ 1 の行列σの集まりから｛± I ｝を除いた集合である。
6擬 4 元数

前節で定義した ＋ I は積について閉じていないので無視すべきか。前節で，単位行列 I を虚空間の仲間とすることで素晴らしい数，4 元数 を生んだのである。次元で考えると，4 元数 で 4 次元，そして， で 3 次元を使い，全体の 8 次元を埋めるにはもう一つ標準的な行列が必要である。iI はどうだろう。 の仲間に iI を入れれば，:＝ ＋iIも 4 次元になり，4 元数 に i を掛けることで構成されるという点からもしっくりくる。即ち，＝iとかけるわけである。さて， は依然積については閉じていないわけだが，σ , τ∈ に対して，新しい積をσ・τ: ＝－ iστで定義すると， はこの積に関して，4 元数と全く同じになる（代数として同型）。実際， はパウリ行列 σ1, σ2, σ3を使って，＝ iI ＋ σ1＋ σ2 ＋ σ3と書けるので，まず iI がこの新しい積の単位元になっていることがわかる。また，この積に関して，σ2s＝σs・σs ＝－ iσ2s＝－ iI（s ＝1, 2, 3）も満たす。さらに，σ1σ2 ＝－σ2σ1だからσ1・σ2＝－σ2・σ1も満たす。
最後に関係式（9）から，σ1・σ2＝－ iσ1σ2＝－ i2σ3＝σ3を満たす。従って， はこの新しい積 ・とiI ↔ 1, σ1 ↔ i, σ2 ↔ j, σ3 ↔ kなる対応で 4 元数 ＝｛a ＋ bi ＋ cj ＋ dk￨a, b, c, d ∈｝と同一視できるわけである。この意味で我々はを擬 4 元数と呼ぶ。（積を少し変形すれば 4 元数と同じという意味でこう呼んだ。）
7

まとめ

量子力学で頻繁に登場する M（）は実数上 8 次2元であり，その部分斜体（部分環であって斜体であること）である 4 元数 に注目すると，その補空間が擬 4 元数 である。
M（）＝210i＋00＋10＋i＝ ✚i＝ ✚0i01i＋01＋0010i－1＋0－i＋0i0100－i0－1

後半は 4 次元同士の分解だが，直交補空間ではない。
はパウリ空間 ＝ σ1＋ σ2＋ σ3に iI を加えた空間であり，積を少し変形して 4 元数になる。代数平成22年２月

― 113 ―パウリ行列と 4 元数の言葉を用いれば， は 4 元数と同型な M（）の部
2i）分斜体であり， も 4 元数と同型な M（）の（－2-isotope 部分斜体である。（一般に環 A の単元 u に対して，新たな環 u-isotope とは A の積だけを少し変えた環のことである。少し変えるとは，A の元 x, y の積 xy を xuy に置き換えるのである。この積に関して，単位元は u －1であるのは明らかであろう。）リー群
SU（2）が 4 元数 に含まれていることは（6）よりわかる。これにより iSU（2）が擬 4 元数 に含まれることもわかる。さらにSU（2）＝｛σ∈ ￨ det（σ）＝1｝＝｛σ∈ （￨ σ, σ）＝1｝
iSU（2）＝｛σ∈ ￨det（σ）＝－1｝＝｛σ∈￨（σ, σ）＝1｝なる等式も明らかだろう。

秋田高専研究紀要第45号

本研究では，秋田高専自然科学系成田章教授より，多岐にわたってご教授頂きました。ここに感謝の意を表します。
参考文献
1. T.F. Jordan: Quantum mechanics in simple
matrix form, Dover Pub., Inc.（1985）
2. J. Baez: The octonions, Bulletin of the American
Mathematical Society 39 pp.145-205（2006）
3. J.H. コンウェイ：四元数と八元数―幾何，算術，そして対称性，培風館（2006）
4. 堀源一郎：ハミルトンと四元数，海鳴社（2007）
5. 吉井洋二，上林一彦：数としての 4 元数，秋田
高専紀要 43 pp.136-139（2008）