Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
Concept
Simple module
Summary
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.
Z-modules are the same as abelian groups, so a simple Z-module is an abelian group which has no non-zero proper subgroups. These are the cyclic groups of prime order.
If I is a right ideal of R, then I is simple as a right module if and only if I is a minimal non-zero right ideal: If M is a non-zero proper submodule of I, then it is also a right ideal, so I is not minimal. Conversely, if I is not minimal, then there is a non-zero right ideal J properly contained in I. J is a right submodule of I, so I is not simple.
If I is a right ideal of R, then the quotient module R/I is simple if and only if I is a maximal right ideal: If M is a non-zero proper submodule of R/I, then the of M under the quotient map R → R/I is a right ideal which is not equal to R and which properly contains I. Therefore, I is not maximal. Conversely, if I is not maximal, then there is a right ideal J properly containing I. The quotient map R/I → R/J has a non-zero kernel which is not equal to R/I, and therefore R/I is not simple.
Every simple R-module is isomorphic to a quotient R/m where m is a maximal right ideal of R. By the above paragraph, any quotient R/m is a simple module. Conversely, suppose that M is a simple R-module. Then, for any non-zero element x of M, the cyclic submodule xR must equal M. Fix such an x. The statement that xR = M is equivalent to the surjectivity of the homomorphism R → M that sends r to xr. The kernel of this homomorphism is a right ideal I of R, and a standard theorem states that M is isomorphic to R/I.
Official source
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
Ontological neighbourhood
Related courses (4)
MATH-334: Representation theory
Study the basics of representation theory of groups and associative algebras.
MATH-311: Algebra IV - rings and modules
Ring and module theory with a major emphasis on commutative algebra and a minor emphasis on homological algebra.
MATH-506: Topology IV.b - cohomology rings
Singular cohomology is defined by dualizing the singular chain complex for spaces. We will study its basic properties, see how it acquires a multiplicative structure and becomes a graded commutative a
Related lectures (34)
Weyl character formula
Explores the proof of the Weyl character formula for finite-dimensional representations of semisimple Lie algebras.
Modules of Covariants
Explores the decomposition of the circle of the coordinate ring of a G variety into a direct sum of simple submodules.
Isotypic Decomposition
Covers the isotopic decomposition of modules into simple components and their properties.
Related publications (36)
Related people (7)
Related concepts (22)
Endomorphism ring
In mathematics, the endomorphisms of an abelian group X form a ring. This ring is called the endomorphism ring of X, denoted by End(X); the set of all homomorphisms of X into itself. Addition of endomorphisms arises naturally in a pointwise manner and multiplication via endomorphism composition. Using these operations, the set of endomorphisms of an abelian group forms a (unital) ring, with the zero map as additive identity and the identity map as multiplicative identity.
Artinian ring
In mathematics, specifically abstract algebra, an Artinian ring (sometimes Artin ring) is a ring that satisfies the descending chain condition on (one-sided) ideals; that is, there is no infinite descending sequence of ideals. Artinian rings are named after Emil Artin, who first discovered that the descending chain condition for ideals simultaneously generalizes finite rings and rings that are finite-dimensional vector spaces over fields.
Local ring
In mathematics, more specifically in ring theory, local rings are certain rings that are comparatively simple, and serve to describe what is called "local behaviour", in the sense of functions defined on varieties or manifolds, or of algebraic number fields examined at a particular place, or prime. Local algebra is the branch of commutative algebra that studies commutative local rings and their modules. In practice, a commutative local ring often arises as the result of the localization of a ring at a prime ideal.