Let $k$ be a value field (archimedean), for example $k = \mathbb{Q}_p$, the p-adic field. The free Tate algebra is $$ T_n := \left\{ \ \sum a_I X^I, \ a_I \in k, \ a_I \rightarrow 0 \text{ as } |I| \rightarrow 0 \ \right\} $$.

I want to compute the universal finite differential module $ \Omega^f_{T_n/k} $ of $T_n$ over $k$. For any $A$-algebra $B$, the "universal finite differential module" $\Omega^f_{B/A}$ is a finitely generated $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$. It doesn't always exist.

I would like to show that $ \Omega^f_{T_n/k} $ is the free $ T_n$ module of rank $n$. Let me explan the case $n=1$. Similar to the case of formal power series ring $ k[[ X ]] $, given a $ k $-derivation $ d_1 : T_1 \rightarrow M $ to a finitely genterated $T_1$-module $M$, we definte $\phi : T_1 * dX \rightarrow M$ by sending $dX$ to $d_1 X$ and extend it $T_1$-linearly. We want to show that $d_2 := d_1 - \phi \circ d = 0$. $d_2$ is still a $k$-derivation and one shows that $d_2 (f) = 0 $ if $ f \in k[X]$. In the case of $ k[[X]] $, we know for any $ f \in k[[X]] $, $d_2 (f) \in (X^r)M $ for any $ r > 0 $. By Krull Intersection Theorem, we know there is a $ g \in (X) $ such that $ (1-g) N = 0 $, here $ N := \cap_{ r > 0 } (X^r)M $. Since for $ g \in (X) $, $ 1-g $ is invertible in $ k[[X]] $, we know $ N = 0 $ and hence $ d_2 = 0 $.

But in the case of $ T_1 $, for $ g \in (X) $, $ 1-g $ may not be invertible in $T_1$. For example, $ g=X $, its inverse is $1+X+X^2+ \cdot \cdot \cdot $ which is not in $ T_1 $.

So the question is how to prove $ d_2 = 0 $. In p.64 of the book Rigid analytic geometry and its applications by Jean Fresnel and Marius van der Put, there is a proof. Instead of considering only the ideal (X), they consider any maximal ideal $ m $ of $ T_1 $. They said that any maximal ideal $ m $ is generated by polynomials ( It's ok.), hence $ d_2 ( T_1) $ is contained in $ m^r M $ for any $ r > 0 $ for which I don't understand why.

Let $k$ be a value field (archimedean), for example $k = \mathbb{Q}_p$, the p-adic field. The free Tate algebra is $$ T_n := \left\{ \ \sum a_I X^I, \ a_I \in k, \ a_I \rightarrow 0 \text{ as } |I| \rightarrow \infty \ \right\} $$.

I want to compute the universal finite differential module $ \Omega^f_{T_n/k} $ of $T_n$ over $k$. For any $A$-algebra $B$, the "universal finite differential module" $\Omega^f_{B/A}$ is a finitely generated $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$. It doesn't always exist.

I would like to show that $ \Omega^f_{T_n/k} $ is the free $ T_n$ module of rank $n$. Let me explan the case $n=1$. Similar to the case of formal power series ring $ k[[ X ]] $, given a $ k $-derivation $ d_1 : T_1 \rightarrow M $ to a finitely genterated $T_1$-module $M$, we definte $\phi : T_1 * dX \rightarrow M$ by sending $dX$ to $d_1 X$ and extend it $T_1$-linearly. We want to show that $d_2 := d_1 - \phi \circ d = 0$. $d_2$ is still a $k$-derivation and one shows that $d_2 (f) = 0 $ if $ f \in k[X]$. In the case of $ k[[X]] $, we know for any $ f \in k[[X]] $, $d_2 (f) \in (X^r)M $ for any $ r > 0 $. By Krull Intersection Theorem, we know there is a $ g \in (X) $ such that $ (1-g) N = 0 $, here $ N := \cap_{ r > 0 } (X^r)M $. Since for $ g \in (X) $, $ 1-g $ is invertible in $ k[[X]] $, we know $ N = 0 $ and hence $ d_2 = 0 $.

But in the case of $ T_1 $, for $ g \in (X) $, $ 1-g $ may not be invertible in $T_1$. For example, $ g=X $, its inverse is $1+X+X^2+ \cdot \cdot \cdot $ which is not in $ T_1 $.

So the question is how to prove $ d_2 = 0 $. In p.64 of the book Rigid analytic geometry and its applications by Jean Fresnel and Marius van der Put, there is a proof. Instead of considering only the ideal (X), they consider any maximal ideal $ m $ of $ T_1 $. They said that any maximal ideal $ m $ is generated by polynomials ( It's ok.), hence $ d_2 ( T_1) $ is contained in $ m^r M $ for any $ r > 0 $ for which I don't understand why.