The Wedderburn–Artin Theorem
Posted by John Baez
Now that I finally understand the proof of the Wedderburn–Artin Theorem, I want to do what any good category theorist would do: formulate it more generally and abstractly, so nobody can understand me and I look like a genius everybody can see how simple it actually is.
The Wedderburn–Artin Theorem says that any semisimple ring is a finite product of matrix algebras over division rings. In symbols:
where are division rings.
But what’s a semisimple ring? We can define it to be one whose category of finitely generated modules is semisimple. Left or right modules? It turns out not to matter, though this is not obvious! So, pick one.
But what’s a semisimple category? It’s usually defined as an abelian category where every object is a finite direct sum of simple objects.
But what’s a simple object? It’s an object with no quotients other than and itself. In an abelian category, this equivalent to saying has no subobjects other than and . We use both of these facts to see how division rings show up in the Wedderburn–Artin theorem. Here’s how:
Schur’s Lemma. If and are simple objects in an abelian category, then any morphism is either an isomorphism or . Thus, if is a simple object in an abelian category, is a division ring.
Proof. If and are simple the kernel of any morphism must be or , and its cokernel must be or . If the kernel is or the cokernel is we must have . The only alternative is that the kernel is and the cokernel is . In an abelian category this implies that is an isomorphism. ▮
The proof of Wedderburn–Artin then goes as follows. Suppose is a ring whose category of finitely generated right modules is semisimple. Let stand for viewed as a right module over itself. Then is a finite direct sum of nonisomorphic simple objects , where each object can show up any number of times in the direct sum, say times:
Thus by Schur’s Lemma and the way direct sums work,
so is a finite product of matrix algebras over division rings!
Finally, we use the ring-theoretic analogue of Cayley’s Theorem: every endomorphism of as a right -module is given by left multiplication by some unique element of . This is easy to prove, and it yields
so we get what we want: for any semisimple ring we have
for some division rings .
Analysis
Most of what we did was show that the endomorphism ring of any object in a semisimple category is a finite product of matrix algebras over division rings. Only at the last minute did we use the fact that a semisimple ring actually is such an endomorphism ring, namely . So arguably the Wedderburn–Artin theorem is mainly about endomorphism rings of objects in semisimple categories. Let’s think about it that way.
Furthermore, while semisimple categories are necessarily abelian, we didn’t use much about abelian categories. We used some facts about kernels and cokernels, but only for proving Schur’s Lemma. And while the hom-sets of an abelian category are required to be abelian groups, we didn’t use subtraction anywhere.
So, let’s strip down the assumptions to see the essence of Wedderburn–Artin. For this I should review a bit of category theory — since I don’t really want nobody to understand me.
Let’s start with a semiadditive category: that is, a category with a zero object and biproducts. A zero object is an object that is both initial and terminal; we write it as . Biproducts are what I’d been calling direct sums: the point is that they are both coproducts and products. More precisely, if two objects in a category with a zero object have both a coproduct and a product , we get a canonical morphism . If this is an isomorphism we call either and the biproduct of and , and write it as .
In a semiadditive category, for any objects and the hom-set becomes a commutative monoid! In fact any semiadditive category is enriched over commutative monoids: for the proof go here or read this:
- Qiaochu Yuan, A meditation on semiadditive categories, Annoying Precision, September 14, 2012.
As a consequence, for any object in a semiadditive category, its set of endomorphisms is not just a monoid but a rig. This is like a ring, but possibly without additive inverses. While mathematicians talk much more about division rings much more, the concept of a division rig makes perfect sense: it’s a rig where every nonzero element has a multiplicative inverse. For example, the nonnegative rational numbers, or the nonnegative elements of any ordered field, are a division rig.
We can also deal with matrices. Given a rig there’s a new rig consisting of matrices with entries in , with matrix addition and multiplication defined in the usual way. Suppose is an object in a semiadditive category, and let stands for the -fold biproduct . (This is both a coproduct and a product, so the notation is not so bad.) Then you can check that
This uses almost all the properties of biproducts.
Now that we’ve got division rigs and matrix rigs, we’re ready to state and prove an easy generalization of the Wedderburn–Artin theorem!
Generalization
Suppose is a semiadditive category. Say an object is simple if every nonzero is an isomorphism. Say an object is semisimple if it can be written as a biproduct of simple objects with . We allow each object to show up multiple times in this biproduct, so
for some positive integers . These concepts of ‘simple’ and ‘semisimple’ reduce to the usual ones when is abelian.
With these definitions, we get this result:
Abstract Wedderburn–Artin Theorem. If is a semisimple object in a semiadditive category , then is a finite product of matrix rigs over division rigs.
Proof. Write
for simple objects with , and then use the properties of biproducts to conclude
where each is a division rig since is simple. ▮
When is an abelian category, the division rings and the multiplicities are determined (up to permutation) by the object . In this generalization I’m not claiming that, but I haven’t examined the issue yet.
I believe we can use this generalization to get a Wedderburn–Artin theorem for rigs. For this let be the category of right modules of some rig : that is, modules where it acts on commutative monoids. Take to be as a right module over itself. Then I believe we have an isomorphism of rigs
If so, when is a semisimple object in we can use this generalization of Wedderburn–Artin to write itself as a finite product of matrix rigs over division rigs.
I’m not claiming this generalization is a big deal. But taking apart a car engine and successfully putting it back together is the best way to get to know that engine — or so I’ve heard. And if you can put it back together with fewer pieces, and it still runs, that’s even better. So I felt I had to do this, to really understand Wedderburn–Artin.
Re: The Wedderburn–Artin Theorem
Yay for semiadditive categories.