In this paper, we first prove that the dual module of a rational module is still a rational module, and maximum rational modules keep their exac t properties. Then, we give the Maschke theorem of the coideal subalge...In this paper, we first prove that the dual module of a rational module is still a rational module, and maximum rational modules keep their exac t properties. Then, we give the Maschke theorem of the coideal subalgebra of qua si-Frobenius algebra, and give some equivalent conditions for the ideal subcoal gebra.展开更多
In this paper, we obtain the following main theorem for a free quadratic bialgebra J: (a) For p≠0, J is a pointed cosemisimple coalgebra. For p=0, J is a hyperalgebra. (b) For p≠0 and q≠0, J has antipode S iff p...In this paper, we obtain the following main theorem for a free quadratic bialgebra J: (a) For p≠0, J is a pointed cosemisimple coalgebra. For p=0, J is a hyperalgebra. (b) For p≠0 and q≠0, J has antipode S iff p·q+2=0 and S(x)=x. Forp=0 or q=0, J has antipode and S(x)=-x. (c) All left J*-modules are rational. Also, we give some applications in homological theory and algebraic K-theory.展开更多
文摘In this paper, we first prove that the dual module of a rational module is still a rational module, and maximum rational modules keep their exac t properties. Then, we give the Maschke theorem of the coideal subalgebra of qua si-Frobenius algebra, and give some equivalent conditions for the ideal subcoal gebra.
基金Partially supported by the National Natural Science Foundation of China.
文摘In this paper, we obtain the following main theorem for a free quadratic bialgebra J: (a) For p≠0, J is a pointed cosemisimple coalgebra. For p=0, J is a hyperalgebra. (b) For p≠0 and q≠0, J has antipode S iff p·q+2=0 and S(x)=x. Forp=0 or q=0, J has antipode and S(x)=-x. (c) All left J*-modules are rational. Also, we give some applications in homological theory and algebraic K-theory.