MHB Is the Tensor Algebra of $\Bbb Z/n\Bbb Z$ Isomorphic to $\Bbb Z[x]/(nx)$?

  • Thread starter Thread starter Euge
  • Start date Start date
  • Tags Tags
    2017
Euge
Gold Member
MHB
POTW Director
Messages
2,072
Reaction score
245
Here is this week's POTW:

-----
Show that the tensor algebra of $\Bbb Z/n\Bbb Z$ is isomorphic to $\Bbb Z[x]/(nx)$.

-----

Remember to read the http://www.mathhelpboards.com/showthread.php?772-Problem-of-the-Week-%28POTW%29-Procedure-and-Guidelines to find out how to http://www.mathhelpboards.com/forms.php?do=form&fid=2!
 
Physics news on Phys.org
No one answered this week's problem. You can read my solution below.
For all $k \ge 1$, the $k$th tensor algebra of $\Bbb Z/n\Bbb Z$ is $(\Bbb Z/n\Bbb Z)^{\otimes_{\Bbb Z} k}$, which is isomorphic to $\Bbb Z/n\Bbb Z$. So the tensor algebra $\mathcal{T}(\Bbb Z/n\Bbb Z)$ of $\Bbb Z/n\Bbb Z$ is isomorphic to $M=\Bbb Z \oplus \Bbb Z/n\Bbb Z \oplus \Bbb Z/n\Bbb Z \oplus \cdots$. The mapping $\Bbb Z[x] \to M$ mapping $p(x) = \sum_{i = 0}^m a_i x^i$ to $(a_0,a_1,\cdots,a_m,0,0,0,\ldots)$ is a surjective morphism with kernel $(nx)$, so $M \approx \Bbb Z[x]/(nx)$.
 
Back
Top