ホップ代数
分数体 K をもつ整域 R 上のホップ整環 O とは,K 上のホップ代数 H における整環(英語版)であって,代数と余代数の演算で閉じている,特に余積 Δ は O を O⊗O に送る,もののことである.