S = IR(A) be the idealizer of A. Show that (1), (2) are equivalent:
(1) A is a maximal right ideal and R/A is a cyclic left S-module.
(2) A is an ideal of R, and R/A is a division ring.
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.
the idealizer IR(A) and the eigenring ER(A) for the right ideal A = xR in the free k-ring R =
k<x, y>, and for the right ideal A = xR where x = i + j + k in the ring of quaternions with integer coefficients.
Let R = Mn(k) where k is a ring, and let A be the right ideal of R consisting of matrices whose first r rows are zero. Compute the idealizer IR(A) and the eigenring ER(A).