Note125 クリフォード積による変換群

今日は
https://cdn-ak.f.st-hatena.com/images/fotolife/c/cat_falcon/20190805/20190805103621.jpg
という関係をもう少し抽象化してみて見たいと思います。
https://cdn-ak.f.st-hatena.com/images/fotolife/c/cat_falcon/20190805/20190805103629.jpg
とする時
https://cdn-ak.f.st-hatena.com/images/fotolife/c/cat_falcon/20190805/20190805103632.jpg
と定義するとこれは逆元になっています。
https://cdn-ak.f.st-hatena.com/images/fotolife/c/cat_falcon/20190805/20190805103637.jpg
同様に
https://cdn-ak.f.st-hatena.com/images/fotolife/c/cat_falcon/20190805/20190805103641.jpg
と考えれば良い。つまりクリフォード積による群になっているようです。ここでディラックス・ピノールの変換と関係する次の関係を思い出しますと
https://cdn-ak.f.st-hatena.com/images/fotolife/c/cat_falcon/20190805/20190805103644.jpg
http://blogs.yahoo.co.jp/cat_falcon/25368139.html
この変換式と同じ形式のクリフォード積による変換
https://cdn-ak.f.st-hatena.com/images/fotolife/c/cat_falcon/20190805/20190805103651.jpg
を考えてみると
https://cdn-ak.f.st-hatena.com/images/fotolife/c/cat_falcon/20190805/20190805103654.jpg
という事で全く同じ挙動を示しています。それで
https://cdn-ak.f.st-hatena.com/images/fotolife/c/cat_falcon/20190805/20190805103657.jpg
だけを考えていても一般性を失う事は無い、ということで
https://cdn-ak.f.st-hatena.com/images/fotolife/c/cat_falcon/20190805/20190805103702.jpg
を満たす変換
https://cdn-ak.f.st-hatena.com/images/fotolife/c/cat_falcon/20190805/20190805103625.jpg
が構成できます。

えーっと、まだ調べが付いていないので何とも言えないのだけどクリフォード積による群を作るとその群の表現という意味で行列に結びつきます。そうするとそんな表現の一種がスピノールという概念に繋がっているのでは無いかと推測しているのですがどうなんでしょうかね。