This article mainly gives the structure theorem of weak comodule algebras, that is, assume that H is a weak Hopf algebra, and B a weak right H-comodule algebra, if there exists a morphism phi : H -> B of a weak right H-comodule algebras, then B congruent to B-coH#H, where B-coH denotes the coinvariant subalgebra of B, and B-coH#H denotes the weak smash product.
展开▼