**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 GraphSearch.

Concept# Projective module

Summary

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. However, every projective module is a free module if the ring is a principal ideal domain such as the integers, or a polynomial ring (this is the Quillen–Suslin theorem).
Projective modules were first introduced in 1956 in the influential book Homological Algebra by Henri Cartan and Samuel Eilenberg.
The usual definition is in terms of the property of lifting that carries over from free to projective modules: a module P is projective if and only if for every surjective module homomorphism f : N ↠ M and every module homomorphism g : P → M, there exists a module homomorphism h : P → N such that f h = g. (We don't require the lifting homomorphism h to be unique; this is not a universal property.)
The advantage of this definition of "projective" is that it can be carried out in more general than module categories: we don't need a notion of "free object". It can also be , leading to injective modules. The lifting property may also be rephrased as every morphism from to factors through every epimorphism to . Thus, by definition, projective modules are precisely the projective objects in the .
A module P is projective if and only if every short exact sequence of modules of the form
is a split exact sequence. That is, for every surjective module homomorphism f : B ↠ P there exists a section map, that is, a module homomorphism h : P → B such that f h = idP . In that case, h(P) is a direct summand of B, h is an isomorphism from P to h(P), and h f is a projection on the summand h(P). Equivalently,
A module P is projective if and only if there is another module Q such that the direct sum of P and Q is a free module.

Official source

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 (7)

Related people (1)

Related concepts (91)

Related courses (42)

Related MOOCs (3)

Related lectures (402)

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-334: Representation theory

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

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

Geographical Information Systems 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

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

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.

Finitely generated module

In mathematics, a finitely generated module is a module that has a finite generating set. A finitely generated module over a ring R may also be called a finite R-module, finite over R, or a module of finite type. Related concepts include finitely cogenerated modules, finitely presented modules, finitely related modules and coherent modules all of which are defined below. Over a Noetherian ring the concepts of finitely generated, finitely presented and coherent modules coincide.

Flat module

In algebra, flat modules include free modules, projective modules, and, over a principal ideal domain, torsion free modules. Formally, a module M over a ring R is flat if taking the tensor product over R with M preserves exact sequences. A module is faithfully flat if taking the tensor product with a sequence produces an exact sequence if and only if the original sequence is exact. Flatness was introduced by in his paper Géometrie Algébrique et Géométrie Analytique.

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.

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

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

Explores Galois theory with a focus on Dedekind rings and their unique factorization of fractional ideals.

This thesis is in the context of representation theory of finite groups. More specifically, it studies biset functors. In this thesis, I focus on two biset functors: the Burnside functor and the functor of p-permutation modules. For the Burnside functor we first give a result that characterize some B-groups; B-groups being the essential ingredient in the classification of composition factors of the Burnside functor. The second result compares the Burnside functor and the functor of free modules. Note that the functor of free modules is not a biset functor since the inflation of a free module is not necessarily free. To compare those functors we will work on an adjunction between the category of biset functors and the category of functors that do not have inflation. An aspect of the work done on the functor of p-permutation module is to compare the functor of p-permutation modules and the functor of ordinary representations. On the other hand, because of the classification of p-permutation modules, we try to express the functor o p-permutation modules in terms of the functor of projective modules (which is not a biset functor). We will use an adjunction between the category of biset functors and a category that contains the functor of projective modules.

Let A be a d-dimensional smooth algebra over a perfect field of characteristic not 2. Let Um(n+1)(A)/En+1 (A) be the set of unimodular rows of length n + 1 up to elementary transformations. If n >= (d + 2)/2, it carries a natural structure of group as discovered by van der Kallen. If n = d >= 3, we show that this group is isomorphic to a cohomology group H-d (A, G(d+1)). This extends a theorem of Morel, who showed that the set Um(d+1)(A)/SLd+1(A) is in bijection with H-d (A, G(d+1))/SLd+1(A). We also extend this theorem to the case d = 2. Using this, we compute the groups Um(d+1)(A)/Ed+1(A) when A is a real algebra with trivial canonical bundle and such that Spec(A) is rational. We then compute the groups Um(d+1)(A)/SLd+1 (A) when d is even, thus obtaining a complete description of stably free modules of rank d on these algebras. We also deduce from our computations that there are no stably free non free modules of top rank over the algebraic real spheres of dimension 3 and 7.

2011Let C be a binary self-dual code with an automorphism g of order 2p, where p is an odd prime, such that gp is a fixed point free involution. If C is extremal of length a multiple of 24, all the involutions are fixed point free, except the Golay Code and eventually putative codes of length 120. Connecting module theoretical properties of a self-dual code C with coding theoretical ones of the subcode C(gp) which consists of the set of fixed points of gp, we prove that C is a projective F2g module if and only if a natural projection of C(gp) is a self-dual code. We then discuss easy-to-handle criteria to decide if C is projective or not. As an application, we consider in the last part extremal self-dual codes of length 120, proving that their automorphism group does not contain elements of order 38 and 58. © 1963-2012 IEEE.