Abstract
Let B B be a subgroup of an abelian group G G such that G / B G/B is isomorphic to a direct sum of copies of an abelian group A A . For B B to be a direct summand of G G , it is necessary that G G be generated by B B and all homomorphic images of A A in G G . However, if the functor Hom ( A , − ) \operatorname {Hom} (A, - ) preserves direct sums of copies of A A , then this condition is sufficient too if and only if M ⊗ E ( A ) A M{ \otimes _{E(A)}}A is nonzero for all nonzero right E ( A ) E(A) -modules M M . Several examples and related results are given.
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.