# Related to fractional ideals

$K$ a field, $A\subset K$ a subring, $M\subset K$ an $A$-submodule. Define $$(A:_{K}M):= \lbrace s\in K|sM\subset A\rbrace$$ Then it is easy to see that

$$M\subset A\Longleftrightarrow A\subset (A:_{K}M),$$

$$A\subset M\Longrightarrow (A:_{K}M)\subset A$$

But I couldn't show the reverse implication of the second. It is true if $M$ is invertible, and I'm guessing that it is true only if $M$ is invertible. Any ideas?

This is not true, you are guessing right. Here is a counter-example: take $k$ a field, $A=k[X,Y]$, $K=k(X,Y)$. Let $M=XA+YA$. Then using the fact that $A$ is a UFD one see easily that $(A:_K M)=A$. (indeed, let $P/Q \in (A:_K M)$ with $P,Q \in A$, $Q \neq 0$. We have $XP/Q \in A$ so $Q$ divides $XP$. Similarly $Q$ divides $YP$. Since $X$ and $Y$ are two non-equivalent irreducible elements of $A$, this implies that $Q|P$, hence $P/Q \in A$).

Yet $A \not \subset M$.

Let me add just something to this.

Let $K$ be the quotient field of $A$. If $M$ is a fractional ideal of $A$, then the fractional ideal $M_v = (A\colon_K(A\colon_KM))$ is called "the divisorial closure of $M$". In this case (when $K$ is the quotient field of $A$) one can show that $(A\colon_KM) \subset A \Longleftrightarrow A \subseteq M_v$.

Indeed, $(A\colon_KM) \subset A$ implies $M_v = (A:_K(A\colon_KM)) \supset (A\colon_KA) = A$. Conversely, $A \subset M_v$ implies $A = (A\colon_KA) \supset (A\colon_KM_v)$. Now it is easily seen that $(A\colon_KM_v) = (A\colon_KM)$. Thus $A \supset (A\colon_KM)$.

So, if $M_v = M$ (i.e., if $M$ is "divisorial"), then the converse of your second statement holds. Now, invertible ideals are divisorial but there are plenty of divisorial ideals that are not invertible (see for example Bill Heinzer's paper "Integral domains in which each non-zero ideal is divisorial", Mathematika (1968), 15: 164-170), so it is not true that the reverse implication of your second statement is true "only" if $M$ is invertible.

More on the divisorial closure (and more generally on star operations) is on Robert Gilmer's "Multiplicative ideal theory".