Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Lecture

Simple Modules: Schur's Lemma

In course

MATH-334: Representation theory

Study the basics of representation theory of groups and associative algebras. ...

Description

This lecture covers the concept of simple modules over a unital ring or a unital associative algebra. It explains torsion elements, torsion-free modules, free modules, simple rings, and simple associative algebras. The lecture also delves into endomorphisms of modules, Schur's lemma for modules, and Rieffel's lemma on the bicommutant of a simple algebra.

This video is available exclusively on Mediaspace for a restricted audience. Please log in to MediaSpace to access it if you have the necessary permissions.

Watch on Mediaspace

Official source

Ontological neighbourhood

Mathematics

Algebra: Abstract algebra, Representation theory

Related concepts (32)

Projective module

In mathematics, particularly in algebra, the class of projective modules enlarges the class of free modules (that is, modules with basis vectors) over a ring, by keeping some of the main properties of free modules. Various equivalent characterizations of these modules appear below. Every free module is a projective module, but the converse fails to hold over some rings, such as Dedekind rings that are not principal ideal domains.

Module (mathematics)

In mathematics, a module is a generalization of the notion of vector space in which the field of scalars is replaced by a ring. The concept of module generalizes also the notion of abelian group, since the abelian groups are exactly the modules over the ring of integers. Like a vector space, a module is an additive abelian group, and scalar multiplication is distributive over the operation of addition between elements of the ring or module and is compatible with the ring multiplication.

Free module

In mathematics, a free module is a module that has a basis, that is, a generating set consisting of linearly independent elements. Every vector space is a free module, but, if the ring of the coefficients is not a division ring (not a field in the commutative case), then there exist non-free modules. Given any set S and ring R, there is a free R-module with basis S, which is called the free module on S or module of formal R-linear combinations of the elements of S. A free abelian group is precisely a free module over the ring Z of integers.

Simple module

In mathematics, specifically in ring theory, the simple modules over a ring R are the (left or right) modules over R that are non-zero and have no non-zero proper submodules. Equivalently, a module M is simple if and only if every cyclic submodule generated by a non-zero element of M equals M. Simple modules form building blocks for the modules of finite length, and they are analogous to the simple groups in group theory. In this article, all modules will be assumed to be right unital modules over a ring R.

Semisimple module

In mathematics, especially in the area of abstract algebra known as module theory, a semisimple module or completely reducible module is a type of module that can be understood easily from its parts. A ring that is a semisimple module over itself is known as an Artinian semisimple ring. Some important rings, such as group rings of finite groups over fields of characteristic zero, are semisimple rings. An Artinian ring is initially understood via its largest semisimple quotient.

Related lectures (39)

Group Cohomology

Covers the concept of group cohomology, focusing on chain complexes, cochain complexes, cup products, and group rings.

Algebraic Kunneth Theorem

Covers the Algebraic Kunneth Theorem, explaining chain complexes and cohomology computations.

Ideals and Representations Log in to Mediaspace to watch this video

Covers ideals, representations, modules, and maximal ideals in associative algebras.

Group Algebra: Maschke's Theorem Log in to Mediaspace to watch this video

Explores Wedderburn's theorem, group algebras, and Maschke's theorem in the context of finite dimensional simple algebras and their endomorphisms.

Density Theorem: Endomorphisms of Simple Modules Log in to Mediaspace to watch this video