I have seen the term "contre-module" in Bourbaki's "Algèbre, Chapitre VIII" in the first few pages. The notion sounds useful in the theory of non-commutative rings, but I couldn't google an equivalent in English. Two questions :
- Is this notion commonly used by non-commutative algebraists?
- Does it have a fairly commonly used English equivalent?
Definition : Let $A$ be a (non-commutative unital) ring and $M$ a left $A$-module. The "contre-module" of $M$ is the $\mathrm{End}_A(M)$-module $M$ whose underlying abelian group is equal to $M$ and multiplication is given by $$ \forall \varphi \in \mathrm{End}_A(M), \quad \forall m \in M, \quad \varphi \cdot m \overset{def}= \varphi(m). $$