3 added 21 characters in body

Hello,

Let $Q$ be a finite quiver, let $M$ denote the arrow ideal and let $kQ$ denote the path algebra. Endow $kQ$ with the $M$-adic topology. Now let $\mathcal{A}$ be the set of all formal series ${\sum_{\gamma} a_{\gamma} \gamma , a_{\gamma} \in K}$ where $\gamma$ is a path. Then $kQ$ is naturally a $k$-algebra (same operations we use for a group ring). Define $t$ as follows:

$t(\sum a_{\gamma} \gamma)= n$ if there exists $a_{p}$ such that the is non-zero for at least one path $p$ has p of length $n$ and $0$ otherwise. a_{q}=0$for all paths of length smaller that$n$. This induces a metric$(a,b) \mapsto 2^{-t(a-b)}$, then$\mathcal{A}$becomes a topological algebra with this metric. Question: why is$\mathcal{A}$isomorphic (as a topological algebra) to the completion of$kQ$endowed with the$M$-adic topology? 2 deleted 32 characters in body; added 30 characters in body; deleted 19 characters in body; added 6 characters in body Hello, Let$Q$be a finite quiver, let$M$denote the arrow ideal and let$kQ$denote the path algebra. Endow$kQ$with the$M$-adic topology. Now let$\mathcal{A}$be the set of all formal series${\sum_{\gamma} a_{\gamma} \gamma , a_{\gamma} \in K}$where$\gamma$is a path. Then$kQ$is naturally a$k$-algebra (same operations we use for a group ring). Define$t$as follows:$t(\sum a_{\gamma} \gamma)= n$if there exists$a_{p}$such that the length of the path$p$is equal to has length$s$n$ and $0$ otherwise. This induces a metric $(a,b) \mapsto 2^{-t(a-b)}$, then $\mathcal{A}$ becomes a topological algebra with this metric.

Question: why is $\mathcal{A}$ isomorphic (as a topological algebra) to the completion of $kQ$ endowed with the $M$-adic topology?

1

# Ring completion of $kQ$

Hello,

Let $Q$ be a finite quiver, let $M$ denote the arrow ideal and let $kQ$ denote the path algebra. Endow $kQ$ with the $M$-adic topology. Now let $\mathcal{A}$ be the set of all formal series ${\sum_{\gamma} a_{\gamma} \gamma , a_{\gamma} \in K}$ where $\gamma$ is a path. Then $kQ$ is naturally a $k$-algebra (same operations we use for a group ring). Define $t$ as follows:

$t(\sum a_{\gamma} \gamma)= n$ if there exists $a_{p}$ such that the length of the path $p$ is equal to $s$ and $0$ otherwise. This induces a metric $(a,b) \mapsto 2^{-t(a-b)}$, then $\mathcal{A}$ becomes a topological algebra with this metric.

Question: why is $\mathcal{A}$ isomorphic (as a topological algebra) to the completion of $kQ$ endowed with the $M$-adic topology?