77 974
Assignments Done
98,4%
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.
(2) &rArr;(1). Here, S = R since A is an ideal. Thus, End(S(R/A)) = End(R(R/A)) = End(R/A(R/A)) &sim; R/A, which is (by assumption) a commutative ring.
(1) &rArr;(2). For r &isin; R, let &rho;rdenote right multiplication by r on R/A. This is meaningful since R/A is a right R-module, and we have &rho;r&isin;End(S(R/A)). Thus, for any r, r&#039; &isin; R, (1) yields an equation &rho;r&rho;r&#039;= &rho;r&#039;&rho;r. Applying the two sides of this equation to the coset 1 + A &isin; R/A, we get rr&rsquo; + A = r&#039;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!