## More about hom

Many times we’ll be interested in an abelian group on which more than one ring has an action, or on which a ring has two different actions. Most interesting are the cases when these different actions commute with each other. That is, if carries an -module structure with action and an -module structure with action , then it’s really nice if . We’ll keep track of this sort of thing by hanging subscripts off of the module’s name to keep track of mutually commuting actions. In this case we’ll say to denote two commuting left actions, one by and one by .

Every module over a commutative ring has both a left and a right action, and these clearly commute with each other because the ring is commutative. That is, if is an -module for a commutative ring , we automatically get two commuting actions, written .

Another example we’ll see in more generality later is the tensor powers of an abelian group . The group itself is a module over . Now the tensor power also is a module over . We just define and extend linearly. But we also have a homomorphism from the symmetric group to the monoid of endomorphisms of . For a permutation we define , shuffling around the factors. This extends to a unique homomorphism , which gives another module structure on . These two actions, one of and one of , commute with each other.

Now that I have some examples down, I want to consider how these extra module structures play with — which tells us the homomorphisms between left -modules — and — which does the same for *right* modules. I’ll mostly treat the left module case because the other side is very similar.

The first thing to make clear is that eats up the -module structure. If we take left modules and then is just an abelian group with no -module structure at all. The interesting things happen when we’ve got extra module structures floating around.

If also has a right -module structure for another ring , then we get a right -module structure on the homomorphisms. We can define . On the right side of the equation we’re using the given action of on . It’s not too hard to verify that this defines a right action on .

On the other hand, if has a right -module structure, we get a *left* action on the homomorphisms. We define . Let’s verify this one carefully:

There are a number of similar cases, which you should check through:

- is a right -module.
- is a left -module.
- is a left -module.
- is a right -module.
- is a right -module.
- is a left -module.
- is a left -module.
- is a right -module.

In general, eats a left -module structure from each module we stick in. Extra module structures in the second slot carry through, while extra module structures in the first slot get flipped over from right to left and back. The same goes for , except it eats a right -modules structure from each slot.

One explicit example of this effect: over a commutative ring , every left module is also a right module and vice-versa. There’s really no difference between and here, so we’ll just write . Now we’re looking at , so one structure (say the left one, for now) on each module gets eaten, leaving a right -module structure on each slot. The second slot carries through and the first slot flips over, giving a left and a right action of on . This will come in very handy when we start considering modules over fields.

[…] has deeper structure itself. For example, the set of homomorphisms between two abelian groups is itself an abelian group, because abelian groups are modules over the commutative ring . More generally, the set of […]

Pingback by Enriched Categories « The Unapologetic Mathematician | August 13, 2007 |

Why is inverted in the definition of ?

Comment by MathOutsider | October 21, 2007 |

It’s so that the permutation sends to . That is, what was in slot 1 is now in slot 2, what was in slot 2 is now in slot 3, and what was in slot 3 is now in slot 1.

Comment by John Armstrong | October 21, 2007 |

[…] categories. In fact, since we’re working over a field (which is a commutative ring) the properties of -functors tell us that is enriched over […]

Pingback by Linear Algebra « The Unapologetic Mathematician | May 19, 2008 |