Answer to Question #25255 in Abstract Algebra for Tsit Lam
Let R be a left primitive ring. Show that for any nonzero idempotent e ∈ R, the ring A = eRe is also left primitive
Let V be a faithful simpleleft R-module. It suffices to show that U = eV is afaithful simple left A-module. FirstA · U = eRe · eV = eReV ⊆ eV = U, so U is indeed an A-module.Let a = ere ∈ A, where r∈ R. Then ae = ere2 = a.If aU = 0, then 0 = aeV = aV implies that a = 0, soAU is faithful. To check that AU is simple, let us show that for0 <>u ∈ U and u'∈ U, we have u' ∈ Au. Note that u, u' ∈ eV implies u = eu, u' = eu'.We have u' = ru for some r ∈ R, so u' = eu' = eru = (ere)u∈ Au, as desired.
I'm extremely satisfied with your work. Excellent quality. Always.
Just have a question. Do you also provide help in understanding a concept? Not an assignment but for my learning. If certain concepts in the book are not clear, can you provide a simplified explanation of it using math that's understandable? You can charge the equivalent of an assignment.
Some things in the chapter attachments I sent you are not clear. They do not have much solved examples either.
Thanks a lot,