# The Unapologetic Mathematician

## Polynomials, take 2

As I said before, if we take the free commutative monoid on $n$ generators, then build the semigroup ring from that, the result is the ring of polynomials in $n$ variables. I hinted at a noncommutative analogue, which today I’ll construct from the other side.

Instead of starting with a set of $n$ generators and getting a monoid, let’s start by building the free abelian group $\mathbb{Z}^n$. This consists of ordered $n$-tuples of integers, and we add them component by component. We can pick out the $n$ generators $x_k=(0,...,0,1,0,...,0)$, where the $1$ shows up in slot $k$. Then every element can be written $a_1x_1+a_2x_2+...+a_nx_n$, where the $a_k$ is entry $k$ in the $n$-tuple form of the element.

So how do we build the tensor product $\mathbb{Z}^n\otimes\mathbb{Z}^n$? First we take all pairs
$(a_1x_1+...+a_nx_n,b_1x_1+...+b_nx_n)$
and use them to generate a free abelian group. Then we impose the linearity relations $(a+a',b)=(a,b)+(a',b)$ and $(a,b+b')=(a,b)+(a,b')$. What does that mean here? Well for one thing we can apply it to the collection of pairs:
$(a_1x_1+...+a_nx_n,b_1x_1+...+b_nx_n)=$
$a_1(x_1,b_1x_1+...+b_nx_n)+...+a_n(x_n,b_1x_1+...+b_nx_n)=$
$a_1b_1(x_1,x_1)+...+a_1b_n(x_1,x_n)+a_2b_1(x_2,x_1)+...a_nb_n(x_n,x_n)$
So we could just as well write the tensor product as the group generated by $x_i\otimes x_j=(x_i,x_j)$.

This same argument goes through as we tensor in more and more copies of $\mathbb{Z}^n$. The tensor power $(\mathbb{Z}^n)^{\otimes d}$ is the free abelian group generated by the elements $x_{i_1}\otimes...\otimes x_{i_d}$, where each index runs from ${}0$ to $n$.

Now we take all of these tensor powers and throw them together. We get formal linear combinations
$\sum\limits_{d=1}^\infty\sum\limits_{i_1,...,i_d=1}^n a_{i_1,...,i_d}x_{i_1}\otimes...\otimes x_{i_d}$
where all but finitely many of the “coefficients” $a_{i_1,...,i_d}$ are zero. These look an awful lot like polynomials, don’t they? In fact, if we only had a commutative property that $x_i\otimes x_j=x_j\otimes x_i$ then these would be exactly (isomorphic to) the polynomials we came up with last time.

To be explicit about the universal properties, any function from the $n$ generators to the underlying abelian group of a ring $R$ with unit has an unique extension to a linear function from $\mathbb{Z}^n$ to $R$. Then this has a unique extension to a ring homomorphism from $R(\mathbb{Z}^n)$ to $R$. From the other side, there is a unique extension of the original function to a monoid homomorphism from the free monoid $M_n$ to the underlying monoid of $R$. Then this has a unique extension to a ring homomorphism from $\mathbb{Z}[M_n]$ to $R$. Since both $R(\mathbb{Z}^n)$ and $\mathbb{Z}[M_n]$ satisfy this same universal property they must be isomorphic. We commonly write this universal ring as $\mathbb{Z}\{x_1,...,x_n\}$, and call it the ring of noncommutative polynomials in $n$ variables.

### Like this:

Posted by John Armstrong | Ring theory

## 1 Comment	»

1. [...] we get an algebra of functions. If has dimension , then this is isomorphic to the algebra of noncommutative polynomials in [...]

Pingback by | October 26, 2009 | Reply

« Previous | Next »

## About this weblog

This is mainly an expository blath, with occasional high-level excursions, humorous observations, rants, and musings. The main-line exposition should be accessible to the “Generally Interested Lay Audience”, as long as you trace the links back towards the basics. Check the sidebar for specific topics (under “Categories”).

I’m in the process of tweaking some aspects of the site to make it easier to refer back to older topics, so try to make the best of it for now.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 43, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9140624403953552, "perplexity_flag": "head"}