77 974
Assignments Done
Successfully Done
In August 2019

Answer to Question #16811 in Abstract Algebra for Melvin Henriksen

Question #16811
S = IR(A) be the idealizer of A.
Show that (1), (2) are equivalent:
(1) End(S(R/A)) is a commutative ring.
(2) A is an ideal of R, and R/A is a commutative ring.
Expert's answer
(2) ⇒(1). Here, S = R since A is an ideal. Thus, End(S(R/A)) = End(R(R/A)) = End(R/A(R/A)) ∼ R/A, which is (by assumption) a commutative ring.
(1) ⇒(2). For r ∈ R, let ρrdenote right multiplication by r on R/A. This is meaningful since R/A is a right R-module, and we have ρr∈End(S(R/A)). Thus, for any r, r' ∈ R, (1) yields an equation ρrρr'= ρr'ρr. Applying the two sides of this equation to the coset 1 + A ∈ R/A, we get rr’ + A = r'r + A, which clearly implies (2).

Need a fast expert's response?

Submit order

and get a quick answer at the best price

for any assignment or question with DETAILED EXPLANATIONS!


No comments. Be first!

Leave a comment

Ask Your question

Privacy policy Terms and Conditions