Does $\mathrm{hom}_R(M,M)^{op}=\mathrm{hom}_{R^{op}}(M,M)$ if $M$ is a $(R,R)$-bimodule?

71 Views Asked by At

A $(R,S)$-bimodule $M$ is the same as either a ring map $S^{op}\to \mathrm{hom}_R(M,M)$ or a ring map $R\to \mathrm{hom}_{S^{op}}(M,M)$ (i.e. $M$ can be viewed as $(S^{op},R^{op})$-bimodule).  Since any ring $R$ is an $(R,R)$-bimodule, there are ring maps $R^{op}\to \mathrm{hom}_R(R,R)$ and $R\to \mathrm{hom}_{R^{op}}(R,R)$; it turns out that these maps are isomorphisms, hence $\mathrm{hom}_R(R,R)^{op}=\mathrm{hom}_{R^{op}}(R,R)$.

Now, given a $(R,R)$-bimodule $M$, is it true that the maps $R^{op}\to \mathrm{hom}_R(M,M)$ and $R\to \mathrm{hom}_{R^{op}}(M,M)$ are dually equivalent, and in particular $\mathrm{hom}_R(M,M)^{op}=\mathrm{hom}_{R^{op}}(M,M)$? Thanks for your help

1

There are 1 best solutions below

3
On BEST ANSWER

Let $R= \Bbb Q[x]$. Then the datum of a $(R,R)$-bimodule is equivalent to a vector space $V$ equipped with a pair of commuting endomorphisms $(f,g)$ of $V$. (Assume all vector spaces are over $\Bbb Q$). Then $\mathrm{End}_R(V)$ is the set of all $\Bbb Q$-linear endomorphisms of $V$ that commute with $f$, wheras $\mathrm{End}_{R^{op}}(V)$ is the set of all endomorphisms that commute with $g$. It's not hard to construct examples of commuting endomorphisms $f$ and $g$ such that these two sets of endomorphisms don't have the same dimension, e.g. take $V$ to be finite-dimensional of dimension $\geq 2$ and take $f$ to be a scalar multiple of the identity and $g$ any endomorphism that is not a scalar multiple of the identity.