分数体 をもつ整域 上のホップ整環 とは， 上のホップ代数 におけるであって，代数と余代数の演算で閉じている，特に余積 は を に送る，もののことである．
群的元.
群的元とは非零元 であって なるものである．群的元たちは対合射によって与えられる逆元を持つ群をなす． は を満たす．
表現論.
 をホップ代数とし， と を 加群とする．このとき， も次のようにして 加群である：, , に対して，
さらに，自明表現を基礎体 に に対して
として定義できる．最後に， の双対表現が定義できる： が 加群で がその双対空間のとき， と に対して
 の間の関係により，ベクトル空間のある自然な準同型は実際 加群の準同型であることが保証される．例えば，ベクトル空間の自然な同型 と は 加群の同型でもある．また，ベクトル空間の写像 も 加群の準同型である．しかしながら，写像 は 加群の準同型であるとは限らない．
例.
リー群のコホモロジー.
リー群のコホモロジー環はホップ代数である：積はカップ積で与えられ，余積
は群の積 によって与えられる．この観察は実はホップ代数の概念の源であった．この構造を用いて，ホップはリー群のコホモロジー環の構造定理を証明した．
量子群と非可換幾何学.
関連概念.
はホップ代数を一般化し，位相を持つ．リー群上のすべての連続関数からなる代数は局所コンパクト量子群である．
弱ホップ代数.
，あるいは量子亜群は，ホップ代数の一般化である．ホップ代数と同様，弱ホップ代数たちは代数の自己双対なクラスをなす，つまり， が（弱）ホップ代数ならば， 上の線型形式からなる双対空間 もそうである（ との自然なペアリングとその余代数・代数構造から得られる代数・余代数構造に関して）．弱ホップ代数 は通常次のように取られる：
弱ホップ代数への早期の理論的貢献は や に見つかる．
ホップ亜代数.
 を参照．
群との類似.
群はホップ代数と同じ図式（同じことだが演算）によって公理化できる，ただし は加群の代わりに集合と取られる．この場合：
この哲学において，群は「一元体」上のホップ代数と考えることができる．
関手圏
定義.