61
$\begingroup$

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?

$\endgroup$
9
  • 24
    $\begingroup$ I'm on the brink of changing the title to "Why did noone tell me there was a Cayley's Theorem for rings?" $\endgroup$ Jun 12, 2010 at 21:36
  • 7
    $\begingroup$ Because until now, you didn't ask? :-) $\endgroup$ Jun 12, 2010 at 21:56
  • 5
    $\begingroup$ Perhaps, but I could still totally kill my undergrad ring-theory lecturer right now... $\endgroup$ Jun 12, 2010 at 22:08
  • 3
    $\begingroup$ 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". $\endgroup$ Jun 13, 2010 at 3:26
  • 4
    $\begingroup$ This post is REALLY about rings and algebras, eh? $\endgroup$
    – B. Bischof
    Aug 6, 2010 at 3:38

3 Answers 3

86
$\begingroup$

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.

$\endgroup$
12
  • 27
    $\begingroup$ Wow. You know that thing where everyone seems to know a secret but you? I'm so there right now. $\endgroup$ Jun 12, 2010 at 21:00
  • 4
    $\begingroup$ 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. $\endgroup$ Jun 12, 2010 at 21:40
  • 2
    $\begingroup$ 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. $\endgroup$ Jun 12, 2010 at 21:56
  • 7
    $\begingroup$ 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. $\endgroup$ Jun 12, 2010 at 22:56
  • 3
    $\begingroup$ Sorry, I misread Greg's example as "$\operatorname{GL}(n, k)$ for any (integer) $n$ and (field) $k$". Nonetheless, it still seems to be quite a strong condition on $R$ that $R = \operatorname{End}_{\text{add}}(R)$; so isn't "endomorphism ring of an Abelian group" still not the right name? $\endgroup$
    – LSpice
    Apr 8, 2011 at 13:23
45
$\begingroup$

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.

$\endgroup$
2
  • $\begingroup$ Does the Yoneda's Lemma apply for manifolds too? $\endgroup$
    – user2529
    Oct 23, 2010 at 2:50
  • 2
    $\begingroup$ 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. $\endgroup$ Mar 8, 2011 at 19:32
17
$\begingroup$

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.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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