In this post, I’d like to record a few basic definitions and results regarding noncommutative rings. This is a subject clearly of great importance and generality, but I haven’t had much exposure to it, and I’m trying to fix that. I am working mostly from Lam’s A first course in noncommutative rings.
Some preliminary categorical remarks
Let be a ring. You probably know that a ring is a set with two operations, addition and multiplication, satisfying some compatibility relations. I prefer the following definition: a ring is a monoid object in the monoidal category of abelian groups under tensor product. This definition makes it clear that rings are “linearized” monoids and emphasizes that rings naturally appear as the endomorphism rings of abelian groups, just as monoids naturally appear as the endomorphism monoids of sets.
Another way to state this definition, perhaps even more categorical, is that a ring is a small -enriched category with one object, just as a monoid is a small category with one object. Among other things, this definition encourages us to think of -enriched categories (such as abelian categories) as “rings with many objects” or ringoids, named in analogy to groupoids. It also shows that the construction of the opposite ring is a special case of the construction of the opposite category.
Definitions and examples
A left -module is an abelian group equipped with a ring homomorphism . Equivalently, it is equipped with a map satisfying certain associativity properties, hence the term “left”; right -modules are defined similarly except with a map (or equivalently a homomorphism ). Categorically, thinking of as a category as above, a left -module is an enriched functor (and a right -module is an enriched contravariant functor). Without qualification, “module” and “-module” mean “left -module.”
A morphism of modules is an abelian group homomorphism respecting the action of (equivalently, it is an enriched natural transformation – okay, I’ll stop now). A submodule of is a subgroup preserved by the action of . Modules admit obvious notions of direct sum, kernel of a morphism, and quotient by a submodule. A module is
- simple if it is nonzero and its only submodules are and (equivalently, if its only quotient modules are and ),
- indecomposable if it cannot be written as a direct sum of two nonzero submodules, and
- cyclic if it is generated as a module by a single element (equivalently, if it is a quotient of as a left -module).
Proposition: Any simple module is cyclic.
Proof. Let be simple and a nonzero element of it. Then the map has image a nonzero submodule which must therefore be all of .
Example. Let be a field. A -module is just a -vector space. The simple -modules are precisely the one-dimensional vector spaces.
Example. Let be a polynomial ring. A -module is a -vector space together with a linear operator acting on it. The simple -modules are precisely the one-dimensional vector spaces where acts by a scalar and the finitely-generated indecomposable -modules are precisely the vector spaces where acts by a Jordan block by the theory of Jordan normal form. This example shows that an indecomposable module need not be simple.
Example. Let be the free -algebra on two generators, or the ring of noncommutative polynomials in two variables. An -module is a -vector space together with two linear operators acting on it, and the classification of -modules is such a difficult problem that it gave rise to the notion of a wild classification problem; see also this MO question.
Example. Let be a small category. Any functor gives rise to a left -module for the category ring of (and this is an equivalence of categories if has finitely many objects). This is the algebra generated by the morphisms of , where the composition of two morphisms is their composition in if defined and zero otherwise.
This construction is, of course, of considerable interest when is a group regarded as a one-object category; it (or for a field) gives the group algebra. It is also of considerable interest when is a free category on a graph , in which case (or for a field) is called the path algebra or quiver algebra of the quiver . When is a poset, we recover a version of the incidence algebra.
The example of above shows that not every module is a direct sum of simple modules. Nevertheless, it would be nice to understand general modules in terms of simple modules since their behavior is, well, relatively simple. For example, the following is true.
Schur’s lemma: Let be two simple -modules. Then is empty if are non-isomorphic; otherwise, is a division ring .
Proof. Let be a morphism. Then the kernel and image of are submodules of respectively, which must by hypothesis be empty or the entire module. So either or is an isomorphism.
Example. Let be the real group algebra of a finite group . Then an -module is a real representation of . The division rings that can arise as endomorphism rings of simple -modules are necessarily finite-dimensional division rings over , hence by the Frobenius theorem can only be , or the quaternions , and all three examples occur. See Frobenius-Schur indicator.
What can we say about understanding a general module in terms of simple modules? One naive idea is to take an arbitrary module , find a simple submodule of it, consider the quotient by that submodule, find a simple submodule of that, and so forth. Unfortunately, it is false that every module contains a simple submodule! For example, consider acting on itself by left multiplication. The simple -modules are the finite cyclic groups of prime order, which don’t appear as submodules of .
Rather than submodules, we need to think about quotients. By Zorn’s lemma, any module has a maximal proper submodule , and by maximality the quotient is necessarily simple. We can iterate this construction with the submodule , but it is not guaranteed to terminate (indeed in the example of above it cannot terminate). If it does – that is, if we can find a composition series
of submodules such that the composition factors are simple, we say that has finite length. Such a module is, in an appropriate sense, built up from the simple modules , but if we are to take this idea seriously it would be nice if this list of modules did not depend on the choice of composition series. This is easy to see concretely for : here the finite length modules are precisely the finite-dimensional ones, and the list of simple modules can be identified with the list of eigenvalues of , which only depends on the module. So it is not totally unreasonable to hope that this is true generally.
Theorem (Jordan–Hölder): Let be a finite-length module. Any two composition series have the same length , the length of , and the composition factors appearing in them are the same up to permutation.
Proof. Let and be two composition series. We induct on . The statement is obvious if . In general, if then the statement follows by the inductive hypothesis. Otherwise, by maximality , hence
by the isomorphism theorems. WLOG ; then intersecting by and discarding terms, we can find a composition series for of length at most , and attaching such a composition series to the beginnings of the series
we find two series which clearly have the same length and the same composition series. On the other hand, by the inductive hypothesis the first series is equivalent to and the second series is equivalent to . The conclusion follows.
A module is semisimple if any submodule of is a direct summand. This turns out to be a particularly nice condition to work with on modules. For example, it is true of all simple modules, but it is also closed under direct sums, quotients, and taking submodules. In particular, every direct sum of simple modules is semisimple. What can we say about other semisimple modules?
Proposition: Any semisimple module contains a simple submodule.
Proof. Let be nonzero. It suffices to reduce to the case that . By Zorn’s lemma, there is a submodule of maximal with respect to the property of not containing . By assumption, there is a direct sum decomposition
If contains a nonzero submodule , then by maximality contains , hence , so . Hence is a simple submodule of .
Proposition: The following conditions on a left -module are equivalent:
- is semisimple.
- is a direct sum of simple modules.
- is generated by its simple submodules.
Proof. : Let be the sum of the simple submodules of . By assumption there is a direct sum decomposition . Since is semisimple, it is either zero or has a simple submodule, but by assumption the latter is not possible, so .
: Let be generated by its simple submodules . Let be a submodule of . By Zorn’s lemma, there is a maximal collection of simple submodules such that is an internal direct sum and such that . Let
If , then there is some not contained in , hence , which contradicts the maximality of . So as desired.
: apply the above argument to .
Ideally, we’d like to be able to study all the modules of a ring by studying its semisimple modules. This desire is encapsulated by the following definition.
Theorem-Definition: A (left) semisimple ring is a ring satisfying any of the following conditions, all of which are equivalent:
- All left -modules are semisimple.
- All finitely-generated left -modules are semisimple.
- All cyclic left -modules are semisimple.
- is semisimple as a left -module.
Proof. There are obvious implications . Since we know that semisimplicity is preserved under taking quotients, we obtain . Since any module is generated by the modules where is a set of generators, we obtain .
By Maschke’s theorem, the group algebra is semisimple for a finite group and a field of characteristic not dividing , so it is clearly of interest to understand the structure of semisimple rings.
Example. Any division ring is simple, hence semisimple, as a module over itself, so any division ring is semisimple.
Example. Let be two semisimple rings. In the product ring , consider the two idempotents . Any -module breaks up into a direct sum where the first factor is the part on which acts nontrivially and the second is the part on which acts nontrivially. In particular, is semisimple as a module over itself, hence is semisimple, and moreover its simple modules are precisely the simple modules of together with the simple modules of .
Example. Let denote the matrix ring of matrices over a division ring . As a vector space it is spanned by elements which satisfy the relations
By inspection, as a left module over itself, breaks up into a direct sum of simple submodules . It follows that is semisimple. Moreover, since every simple module is a quotient of (as a left module over itself), it follows that all simple -modules are isomorphic to some , each of which is in turn isomorphic to , which admits a natural left action of when thought of as a right -module.
The above discussion shows that any finite product of matrix rings over division rings is semisimple. In fact, this exhausts all examples. To see this, we first need the following.
Cayley’s theorem for rings: .
Proof. acts by right multiplication on , and each such right multiplication is a left -module homomorphism, so certainly contains . On the other hand, if is a left -module homomorphism, then is already given by right multiplication.
Theorem (Artin-Wedderburn): Every semisimple ring is isomorphic to a finite product of matrix rings over division rings. Moreover, the terms in this product are uniquely determined up to permutation.
Proof. Let be semisimple. Then , as a left -module, admits a direct sum decomposition into simple submodules. The multiplicative unit of generates it as a module, hence generates any quotient of it, so has a nonzero image in any simple quotient of ; it follows that the direct sum decomposition of into simple submodules is finite, so we can write
for some positive integers and some simple modules . Then
by Schur’s lemma and the universal property of direct sums. The opposite of a matrix ring over a division ring is a matrix ring over the opposite division ring, so we conclude that is isomorphic to a finite product of matrix rings over division rings. Moreover, by the above remarks, if
is a finite product of matrix rings over division rings, then the simple modules over are determined by the simple modules over each factor. The only simple module over , as we have seen, is , and each simple module is cyclic hence appears as a direct summand of , so the product decomposition above is unique up to permutation by Jordan-Hölder.
As a corollary, a ring is left semisimple if and only if it is right semisimple, so we can drop the adjective.