Abstract
In this paper, we study the ring #(D,B) and obtain two very interesting results. First we prove in Theorem 3 that the category of rational left BU-modules is equivalent to both the category of #-rational left modules and the category of all (B,D)-Hopf modules BM D. Cai and Chen have proved this result in the case B = D = A. Secondly they have proved that if A has a nonzero left integral then A#A ∗rat is a dense subring of Endk(A). We prove that #(A,A) is a dense subring of Endk(Q), where Q is a certain subspace of #(A,A) under the condition that the antipode is bijective (see Theorem 18). This condition is weaker than the condition that A has a nonzero integral. It is well known the antipode is bijective in case A has a nonzero integral. Furthermore if A has nonzero left integral, Q can be chosen to be A (see Corollary 19) and #(A,A) is both left and right primitive. Thus A#A ∗rat ⊆ #(A,A) � Endk(A). Moreover we prove that the left singular ideal of the ring #(A,A )i s zero. A corollary of this is a criterion for A with nonzero left integral to be finite-dimensional, namely the ring #(A,A) has a finite uniform dimension.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.