>>161 戻る
　>>148-149
>ラグランジュ分解式を指標和と考えるメリット？
>ポントリャーギン双対として統一的な理解が得られる。
>https://ja.wikipedia.org/wiki/%E3%83%9D%E3%83%B3%E3%83%88%E3%83%AA%E3%83%A3%E3%83%BC%E3%82%AE%E3%83%B3%E5%8F%8C%E5%AF%BE
>前スレに書いた、「巡回方程式のべき根表示=フーリエ級数展開の類似」
>も、ほぼもろに書いてありますね。
>>・有限アーベル群上の複素数値函数はその（もとの群と自然同型ではないが同型な）
>>双対群上の函数としての離散フーリエ変換>を持ち、有限群上の任意の函数が
>>その離散フーリエ変換から復元することができる。

すぐ反応できなくてすまんが

１）ポントリャーギン双対、”有限アーベル群上の複素数値函数はその（もとの群と自然同型ではないが同型な）”だね
２）アーベル（可換）限定？ みたいだね（下記）
３）円分理論で巡回群に限定ならアーベルだが
４）5次以上の方程式論で、例えば、5次で可解群で、位数20のフロベニウス群や、位数10の二面体群は非可換だよ
　でも、非可換でも、ラグランジュ分解式だよね
　この場合は、ポントリャーギン双対→離散フーリエ変換の筋に乗らない気がするよ

非可換への拡張の部分が判然としないね
なんか、「慌てて検索して貼りました」感がするのは、私だけかな？

(参考)
https://ja.wikipedia.org/wiki/%E4%BA%8C%E9%9D%A2%E4%BD%93%E7%BE%A4
二面体群は、有限非可換群の最も単純な例

https://ja.wikipedia.org/wiki/%E3%83%9D%E3%83%B3%E3%83%88%E3%83%AA%E3%83%A3%E3%83%BC%E3%82%AE%E3%83%B3%E5%8F%8C%E5%AF%BE
ポントリャーギン双対
非可換理論
可換群の場合と同様の非可換群 G に対する理論は存在しない。なぜならば、この場合表現の同型類の適切な双対対象は一次元表現だけを含むことはできず、群とはならないからである。非可換な場合への一般化として有効なものが圏論において存在し、淡中クライン双対性と呼ばれる。しかし、これは G^ 上のプランシュレル測度に関する問題に対処しなければならず、調和解析に関係するものからは話がそれてしまう。

つづく