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. Modules are very closely related to the representation theory of groups. They are also one of the central notions of commutative algebra and homological algebra, and are used widely in algebraic geometry and algebraic topology. In a vector space, the set of scalars is a field and acts on the vectors by scalar multiplication, subject to certain axioms such as the distributive law. In a module, the scalars need only be a ring, so the module concept represents a significant generalization. In commutative algebra, both ideals and quotient rings are modules, so that many arguments about ideals or quotient rings can be combined into a single argument about modules. In non-commutative algebra, the distinction between left ideals, ideals, and modules becomes more pronounced, though some ring-theoretic conditions can be expressed either about left ideals or left modules. Much of the theory of modules consists of extending as many of the desirable properties of vector spaces as possible to the realm of modules over a "well-behaved" ring, such as a principal ideal domain. However, modules can be quite a bit more complicated than vector spaces; for instance, not all modules have a basis, and even those that do, free modules, need not have a unique rank if the underlying ring does not satisfy the invariant basis number condition, unlike vector spaces, which always have a (possibly infinite) basis whose cardinality is then unique. (These last two assertions require the axiom of choice in general, but not in the case of finite-dimensional spaces, or certain well-behaved infinite-dimensional spaces such as Lp spaces.

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.

Related publications (5)

Related people (2)

Related concepts (231)

Related courses (81)

Related lectures (431)

Related MOOCs (4)

Structure of certain Weyl modules for the Spin groups

Mikaël Cavallin

Let K be an algebraically closed field of characteristic and let W be a finite-dimensional K-vector space of dimension greater than or equal to 5. In this paper, we give the structure of certain Weyl

2018

An algorithm for computing weight multiplicities in irreducible modules for complex semisimple Lie algebras

Mikaël Cavallin

Let be a finite-dimensional semisimple Lie algebra over having rank l and let V be an irreducible finite-dimensional -module having highest weight λ. Computations of weight multiplicities in V, usuall

2017

Let K be an algebraically closed field of characteristic

p\geq0

and let

Y=SPin_{2n+1}(K) (n\geq3)

be a simply connected simple algebraic group of type

B_n

over

K

. Also let

X

be the subgroup

2017

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

MATH-438: Statistical genetics

This course will cover the major topics in statistical genetics.

MATH-311: Rings and modules

The students are going to solidify their knowledge of ring and module theory with a major emphasis on commutative algebra and a minor emphasis on homological algebra.

Introduction to Geographic Information Systems (part 1)

Organisé en deux parties, ce cours présente les bases théoriques et pratiques des systèmes d’information géographique, ne nécessitant pas de connaissances préalables en informatique. En suivant cette

Geographical Information Systems 1

Water quality and the biogeochemical engine

Learn about how the quality of water is a direct result of complex bio-geo-chemical interactions, and about how to use these processes to mitigate water quality issues.

Abstract algebra

In mathematics, more specifically algebra, abstract algebra or modern algebra is the study of algebraic structures. Algebraic structures include groups, rings, fields, modules, vector spaces, lattices, and algebras over a field. The term abstract algebra was coined in the early 20th century to distinguish it from older parts of algebra, and more specifically from elementary algebra, the use of variables to represent numbers in computation and reasoning.

Module (mathematics)

Exact sequence

An exact sequence is a sequence of morphisms between objects (for example, groups, rings, modules, and, more generally, objects of an ) such that the of one morphism equals the kernel of the next. In the context of group theory, a sequence of groups and group homomorphisms is said to be exact at if . The sequence is called exact if it is exact at each for all , i.e., if the image of each homomorphism is equal to the kernel of the next. The sequence of groups and homomorphisms may be either finite or infinite.

Weyl character formula MATH-680: Monstrous moonshine

Explores the proof of the Weyl character formula for finite-dimensional representations of semisimple Lie algebras.

Group Cohomology MATH-506: Topology IV.b - cohomology rings

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

Group Algebra: Maschke's Theorem MATH-334: Representation theory

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