论文部分内容阅读
给出了Hopf代数与线性范畴2个不同交叉积之间等价的充要条件,并推广了Maschke定理.基于经典Hopf代数的方法,首先设A为k-线性范畴且H为Hopf代数,则2个交叉积A#_σH与A#'_(σ')H在某些条件下是同构的.其次设A#_σH为有限维半单Hopf代数H的交叉积范畴.若V为左A#_σH-模且W■V为V的子模,W作为左A-模在V中有补,则W作为左A#_σH-模在V中有补.