The condition of an algebra to be a Hopf algebra or a Hopf(co)quasigroup can be determined by the properties of Galois linear maps.For a bialgebra H,if it is unital and associative as an algebra and counital coassocia...The condition of an algebra to be a Hopf algebra or a Hopf(co)quasigroup can be determined by the properties of Galois linear maps.For a bialgebra H,if it is unital and associative as an algebra and counital coassociative as a coalgebra,then the Galois linear maps T1 and T2 can be defined.For such a bialgebra H,it is a Hopf algebra if and only if T1 is bijective.Moreover,T1^-1 is a right H-module map and a left H-comodule map(similar to T2).On the other hand,for a unital algebra(no need to be associative),and a counital coassociative coalgebra A,if the coproduct and counit are both algebra morphisms,then the sufficient and necessary condition of A to be a Hopf quasigroup is that T1 is bijective,and T1^-1 is left compatible with ΔT1-11^r and right compatible with mT1-1^l at the same time(The properties are similar to T2).Furthermore,as a corollary,the quasigroups case is also considered.展开更多
基金The National Natural Science Foundation of China(No.11371088,11571173,11871144)the Natural Science Foundation of Jiangsu Province(No.BK20171348)
文摘The condition of an algebra to be a Hopf algebra or a Hopf(co)quasigroup can be determined by the properties of Galois linear maps.For a bialgebra H,if it is unital and associative as an algebra and counital coassociative as a coalgebra,then the Galois linear maps T1 and T2 can be defined.For such a bialgebra H,it is a Hopf algebra if and only if T1 is bijective.Moreover,T1^-1 is a right H-module map and a left H-comodule map(similar to T2).On the other hand,for a unital algebra(no need to be associative),and a counital coassociative coalgebra A,if the coproduct and counit are both algebra morphisms,then the sufficient and necessary condition of A to be a Hopf quasigroup is that T1 is bijective,and T1^-1 is left compatible with ΔT1-11^r and right compatible with mT1-1^l at the same time(The properties are similar to T2).Furthermore,as a corollary,the quasigroups case is also considered.
