群ホップ代数

数学における群ホップ代数（ぐんホップだいすう、）は、与えられた群とその群作用の対称性に関連する、ある種の構成を言う。群ホップ代数の変形理論は量子群論において基礎を成す。
定義.
群 および体 に対し、 の 上の群ホップ代数 （または ）は、集合として（あるいはベクトル空間として）、 を基底とする 係数の自由線型空間であり、線型環として畳み込みと呼ばれる乗法が の群演算を線型に拡張したもの（特に の単位元が乗法単位元）として定義される。さらに に余可換ホップ代数の構造を入れるには、余乗法 、余単位 および対蹠射 を、それぞれ 上の写像
を線型に拡張することによって定義すればよい。
この群ホップ代数 がホップ代数となるために必要な公理系を満たすことを確かめるのは容易である。このとき、 の群的元（すなわち であって かつ となるもの）の全体 がちょうど に一致することに注意せよ。
群作用の対称性.
群 と位相空間 に対し、 の への任意の作用 は準同型 を与える。ただし は -値函数のなす適当な線型環、例えばゲルファント–ナイマルク環 （連続函数の環）とする。ここに、 は で定義され、ここに現れた随伴 は に対して
で定義される。これにより、 と書けば、線型写像
が定まり、これは の群的元が の自己同型を生じるという性質を持つ。
 を備えた は以下に述べるような重要な追加の構造を持つ。まず、いくつか言葉を用意する:
上で定義した により明らかに は左ホップ -加群代数となる。特に および に対するスマッシュ積代数 （簡単に とも書かれる）も定義できて、この場合のスマッシュ積は
のように書ける。