Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Cayley's theorem makes groups nice: a closed set of bijections is a group and a group is a closed set of bijections- beautiful, natural and understandable canonically as symmetry. It is not so much a technical theorem as a glorious wellspring of intuition- something, at least from my perspective, that rings are missing; and I want to know why.

Certainly the axiom system is more complicated- so there is no way you're going to get as simple a characterisation as you do with groups- but surely there must be some sort of universal object for rings of a given cardinality, analogous to the symmetric group in group theory. I would be surprised if it was a ring- the multiplicative and additive properties of a ring could be changed (somewhat) independently of one another- but perhaps a fibration of automorphisms over a group? If so is there a natural(ish) way of interpreting it?

Perhaps it's possible for a certain subclass of rings, perhaps it's possible but useless, perhaps it's impossible for specific reasons, in which case: the more specific the better.

Edit: So Jack's answer seems to have covered it (and quickly!): endomorphisms of abelian groups is nice! But can we do better? Is there a chance that 'abelian' can be unwound to the extent we can make this about sets again- or is that too much to hope for?

share|improve this question
12  
I'm on the brink of changing the title to "Why did noone tell me there was a Cayley's Theorem for rings?" –  Tom Boardman Jun 12 '10 at 21:36
5  
Because until now, you didn't ask? :-) –  Greg Kuperberg Jun 12 '10 at 21:56
3  
Perhaps, but I could still totally kill my undergrad ring-theory lecturer right now... –  Tom Boardman Jun 12 '10 at 22:08
3  
Regarding the last (added) paragraph: abelian groups are better than sets (e.g. they form an abelian category). Besides, you are moving the goalposts now: regular representation of a ring on the underlying abelian group is the direct analogue of the regular representation of a group on the underlying set. Anything else cannot be reasonably called "Cayley's theorem". –  Victor Protsak Jun 13 '10 at 3:26
4  
This post is REALLY about rings and algebras, eh? –  B. Bischof Aug 6 '10 at 3:38

3 Answers 3

up vote 52 down vote accepted

Every (associative, unital) ring is a subring of the endomorphism ring of its underlying additive group. Rings act on abelian groups; groups act on sets. The universal action on an abelian group is its endomorphism ring; the universal action on a set is the symmetric group. Modules are rings that remember their action on an abelian group; permutation groups are groups that remember their action on a set.

A set is determined by its cardinality, but for abelian groups cardinality is not a very useful invariant. Rather than "order" of a ring, consider the isomorphism class of its underlying additive group. This is even commonly done in the finite ring case, where the order still has some mild control, but not as much as the isomorphism type of the additive group.

share|improve this answer
16  
Wow. You know that thing where everyone seems to know a secret but you? I'm so there right now. –  Tom Boardman Jun 12 '10 at 21:00
3  
The name is "endomorphism ring of an abelian group", and the classification is of course the same as the classification of abelian groups. Finitely generated abelian groups have a tidy classification. Infinitely generated abelian groups are (in my impression) a surprisingly complicated topic, more so than infinite-dimensional algebraic vector spaces. –  Greg Kuperberg Jun 12 '10 at 21:40
2  
Obviously $\mathbb{Z}$ is one example. Or $GL(n,\mathbb{Z}/k)$ for any $n$ and $k$. But there are also trickier examples, such as $\text{End}((\mathbb{Z}/p^2)^a \oplus (\mathbb{Z}/p)^b)$ for two integers $a$ and $b$ and a prime $p$. My suggestion is to work out this example as a homework problem. –  Greg Kuperberg Jun 12 '10 at 21:56
5  
Z (the ring) is the endomorphism ring of Z (the abelian group). This is the "correct" way to get the ring structure on Z from first principles. –  Qiaochu Yuan Jun 12 '10 at 22:56
2  
@Greg: you probably mean the matrix ring rather than $GL$, which is just its units. –  ndkrempel Dec 9 '10 at 0:43

You can think of Cayley's theorem as the special case of Yoneda's lemma, where the category has only one object. If you take the additive version of Yoneda's lemma, and you plug in an additive category with one object then you get the desired statement for rings that's in Jack's answer. Viewing Cayley's theorem like this let's you generalize it to many other structures then groups.

share|improve this answer
    
Does the Yoneda's Lemma apply for manifolds too? –  Colin Tan Oct 23 '10 at 2:50
    
Colin: Yoneda applies on any locally small category. The category of spaces is locally small (indeed, it's a subcategory of the category of sets), and as all manifolds are spaces, you get the result. –  Adam Hughes Mar 8 '11 at 19:32

One interpretation of Cayley's theorem is that it gives you a cofinal sequence of finite groups, with respect to injective group homomorphisms, or a cofinal family (or maybe a transfinite sequence) of not-necessarily-finite groups. It's important to note that it's not the only interesting cofinal sequence/family; you could also look at the automorphism groups of vector spaces (say over one favorite finite field).

In studying this question for rings, by Jack Schmidt's answer suggests (but does not rigorously imply) looking at cofinal families of abelian groups first. Even in the category of finite abelian groups, there aren't any cofinal sequences that look as nice as the sequence of symmetric groups $S_n$ in Cayley's theorem. For instance $(\mathbb{Z}/n!)^n$ is a cofinal sequence, but this is decidedly less nice.

Jack Schmidt's answer can be further defend by this analogy: Cayley's theorem for groups is analogous to Cayley's theorem for semigroups, using the semigroup of all endomorphisms of a set. Then a unital semigroup is to a set as a unital ring is to an abelian group, so taking all of the endomorphisms of that group is again the same kind of theorem.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.