## The Carnival is back

This time it’s over at Modulo Errors. Enjoy.

## The Free Ring on an Abelian Group

Last week I talked about how to make a ring out of a semigroup by adding an additive structure. Now I want to do the other side. Starting with an abelian group we’ll build a ring by adding a “free” multiplication.

The main tools will be what I was saying about tensor products and abelian groups. Specifically, we have isomorphisms

The first of these lets us unambiguously talk about “the” tensor product of any finite list of abelian groups. The particular case we’re interested in here is when all of them are the same group. We define the th “tensor power” with copies of tensored together on the right. In the case we define . Then we see that for all natural numbers and we have .

Now we can take all these tensor powers of indexed by and form the direct sum

I claim that this abelian group carries the structure of a ring. Remember that a multiplication on an abelian group that distributes over addition is equivalent to a linear function . So I want to exhibit such a function for .

This is where the second isomorphism comes in. We consider the tensor product

which is isomorphic to

which is isomorphic to

Let’s change how we index these. Here we’re direct summing up over all pairs of natural numbers, but the abelian group we’re summing only depends on . So let’s first index by the sum of the natural numbers.

Okay, now we’ve got a single infinite direct sum over , and each term is direct sum of copies of . For each of these finite direct sums we can just add up the elements of from each copy. This gives a linear function . We can apply the right one to each direct summand to get a linear function

This is our ring structure.

As usual, there’s a universal property floating around. Any linear function from an abelian group to a ring extends uniquely to a ring homomorphism from to . Just define and extend linearly to find how acts on a given direct summand of . This justifies calling the free ring on the abelian group .