Consider $p$-adic field $\mathbb{Q}_p$ and let $A$ be any finite dimensional $\mathbb{Q}_p$ algebra without zero divisors (and maybe without $1$). Now we can look on $A$ as on a ring $A_{\mathbb{Z}}$ (i.e. $\mathbb{Z}$- algebra) and let $M_p$ be any $p$-torsion bimodule over $A_{\mathbb{Z}}$. Is it true that the set of derivations $\textbf{Der}_{\mathbb{Z}}(A_{\mathbb{Z}}, M_p) = 0$?
$\begingroup$
$\endgroup$
1
-
$\begingroup$ I think I can prove that for every $d\in\textbf{Der}_{\mathbb{Z}}(A_{\mathbb{Z}}, M_p)$, $d(A_{\mathbb{Z}}^2) = 0$. To prove it consider any $a, b\in A_{\mathbb{Z}}$ and let $n$ be a natural number, such that $p^nd(a) = p^nd(b) = 0$ (it is possible, because $M_p$ is $p$-torsion). So let $a'$, $b'$ be elements from $A_{\mathbb{Z}}$, such that $p^na' = a, p^nb'=b$ (it is possible because $A$ is $\mathbb{Q}_p$ algebra). So $d(ab) = ad(b)+d(a)b = p^na'd(b)+d(a)p^nb' = a'd(p^nb)+d(p^na)b' = 0$. $\endgroup$– solver6Commented Jul 19, 2018 at 15:08
Add a comment
|