The Unapologetic Mathematician

Mathematics for the interested outsider


Now we come to a really nice example of a semigroup ring. Start with the free commutative monoid on n generators. This is just the product of n copies of the natural numbers: \mathbb{N}^n. Now let’s build the semigroup ring \mathbb{Z}[\mathbb{N}^n] on this monoid.

First off, an element of the monoid is an ordered n-tuple of natural numbers (e_1,e_2,...,e_n). Let’s write it in the following, more suggestive notation: x_1^{e_1}x_2^{e_2}...x_n^{e_n}. We multiply such “monomials” just by adding up the corresponding exponents, as we know from the composition rule for the monoid. Now we build the semigroup ring by taking formal linear combinations of these monomials. A generic element looks like


where the c_{(e_1,e_2,...,e_n)} are integers, and all but finitely many of them are zero.

Assuming everyone’s taken high school algebra, we’ve seen these before. They’re just polynomials in n variables with integer coefficients! The addition and multiplication rules are just what we know from high school algebra. The only difference is here we specifically don’t think of x_i as a “placeholder” for a number, but as an actual element of our ring.

But we can still use it as a placeholder. Let’s consider any other commutative ring R with unit and pick n elements of R. Call them r_1, r_2, and so on up to r_n. Since R is a commutative monoid under multiplication there is a unique homomorphism of monoids from \mathbb{N}^n to R sending x_i to r_i. That’s just what it means for \mathbb{N}^n to be a free commutative monoid. Now there’s a unique homomorphism of rings from \mathbb{Z}[\mathbb{N}^n] to R sending x_i to r_i, because \mathbb{Z}[\mathbb{N}^n] is the semigroup ring of \mathbb{N}^n.

The upshot is that \mathbb{Z}[\mathbb{N}^n] is the free commutative ring with unit on n generators. Because of this, we’ll usually omit the intermediate step of constructing \mathbb{N}^n and just write this ring as \mathbb{Z}[x_1,x_2,...,x_n].

There are similar constructions to this one that I’ll leave you to ponder on your own. What if we just constructed the free monoid on n generators (not commutative)? What about the free semigroup? What sort of rings do we get, and what universal properties do they satisfy?

April 16, 2007 Posted by | Ring theory | 6 Comments