# Are there non-reflexive modules isomorphic to their bi-dual?

Let $M$ be an $R$-module. We say that $M$ is reflexive if the natural map $M\rightarrow M^{**}$ is an isomorphism.

I'd like to know if there exists a module isomorphic to its bi-dual but not reflexive, do you know an example?

-
Yes. In fact there is an example of a Banach space $J$ (the James space) that is isometrically isomorphic to $J^{\ast\ast}$ but for which the image of $J \to J^{\ast\ast}$ has codimension 1. See mathoverflow.net/questions/43986/… –  Faisal Sep 20 '11 at 21:51
For finitely generated modules over a Noetherian ring, no such examples exist. A student of Huneke proved this around 2004, but I don't think he ever published it. (It's possible it was already known at that time, but I never found a reference.) –  Graham Leuschke Sep 21 '11 at 0:23

As a specific example, take E to be a stationary and costationary subset of $\omega_1$, and let $X=\omega_1 + 1\backslash E$, given the subspace topology (of the space $\omega_1 +1$ with the interval topology). Then $C(X, Z)$ (continuous functions to the integers with the discrete topology) is such a group. In fact for this group $C(X,Z)^{**} = \sigma[C(X,Z)] \oplus Z$ where $\sigma$ is the natural map, so that $C(X,Z)$ is not reflexive, but $C(X,Z)\oplus Z \cong C(X,Z)$ because for example $C(X,Z)$ has $Z^\omega$ as a summand.