On yetter-drinfeld categories and<i>H</i>-commutativity (Q4236941)

The authors investigate when a given algebra \(A\) is an algebra in the category of Yetter-Drinfeld modules \(_H^H\mathcal{YD}\) and the relation between this property to faithfulness and \(H\)-commutativity. Examples of when an algebra \(A\) is a Yetter-Drinfeld module algebra are the following: All smash products and many cleft extensions (here it is also shown that twisted Hopf algebras are \(H\)-commutative); If \(A\) is a left \(H\)-module \(H\)-comodule algebra and \(H\) has bijective antipode, this happens if either \(A\) is a faithful left \(A\#H\)-module or \(A\) is \(H\)-commutative and \(A/A^{\text{co}H}\) is \(H\)-Galois. The paper also contains numerous concrete examples to illustrate the above situations.