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
.
[…] is exactly the free algebra on a vector space, and it’s just like we built the free ring on an abelian group. If we perform the construction on the dual space we get an algebra of […]
Pingback by Tensor and Symmetric Algebras « The Unapologetic Mathematician | October 26, 2009 |