Definition 15.115.1. Let $R$ be a ring. An $R$-module $M$ is invertible if the functor

$\text{Mod}_ R \longrightarrow \text{Mod}_ R,\quad N \longmapsto M \otimes _ R N$

is an equivalence of categories. An invertible $R$-module is said to be trivial if it is isomorphic to $R$ as an $R$-module.

Comment #6341 by Yuto Masamura on

I think the last part "isomorphic to $A$ as an $A$-module" should be "isomorphic to $R$ as an $R$-module".

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).