For any $A$-algebra $B$ ( commutative ring with 1 ), we have the existence of $\Omega_{B/A}$, the module of relative differentials of $B$ over $A$, which can be defined by an universal property. In the case $A = k$ being a field and $B = k[[X]]$ being the formal power series ring over $k$, $\Omega_{B/A}$ is not always a finite $B$-module. ( And I don't know if it is a free $B$-module. ) For example, if char$(k) = 0$, since $ k[[X]] $ has a infinite subset whose elements are algebraic independent over $k$, one can show that $\Omega_{B/A}$ is not a finite $B$-module. I have seen another notion in a book as following: the "*universal finite differential module*" $\Omega^f_{B/A}$ is a $B$-module with an $A$-derivation $d : B \rightarrow \Omega^f_{B/A}$ such that for any $A$-derivation $d^{'} : B \rightarrow M$ with $M$ being a finite generated $B$-module, there exists a $B$-module homomorphism $\phi : \Omega^f_{B/A} \rightarrow M$ such that $ d^{'} = \phi \circ d$. With this definition, one can show that, in the case of formal power series ring, $\Omega^f_{B/A}$ is a free $B$-module of rank $1$ with $dX$ as a basis, and for any $f \in k[[X]], df = f' dX$, here $f'$ is defined by the natural way, which is a result I can't deduce for $\Omega_{B/A}$. One need to use Krull Intersection Theorem or the structure theorem for finitely generated modules over a $PID$.

Now I try to compute $\Omega^f_{B/A}$ for $B = k ((X))$, the field of quotients of $k[[X]]$, but I can't get the result. The problem is that the $A$-derivation $d'$ is not necessary continuous with respect to the $(X)$-adic topology.

My question is that: do we have $\Omega^f_{B/A}$, for $B = k((X))$, is a free $k((X))$-module of rank $1$ with $dX$ as a basis?