Finitely generated module | EPFL Graph Search

Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?

Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur GraphSearch.

Découvrez-en plus sur les applications Graph.

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. A finitely generated module over a field is simply a finite-dimensional vector space, and a finitely generated module over the integers is simply a finitely generated abelian group. The left R-module M is finitely generated if there exist a1, a2, ..., an in M such that for any x in M, there exist r1, r2, ..., rn in R with x = r1a1 + r2a2 + ... + rnan. The set {a1, a2, ..., an} is referred to as a generating set of M in this case. A finite generating set need not be a basis, since it need not be linearly independent over R. What is true is: M is finitely generated if and only if there is a surjective R-linear map: for some n (M is a quotient of a free module of finite rank). If a set S generates a module that is finitely generated, then there is a finite generating set that is included in S, since only finitely many elements in S are needed to express any finite generating set, and these finitely many elements form a generating set. However, it may occur that S does not contain any finite generating set of minimal cardinality. For example the set of the prime numbers is a generating set of viewed as -module, and a generating set formed from prime numbers has at least two elements, while the singleton is also a generating set. In the case where the module M is a vector space over a field R, and the generating set is linearly independent, n is well-defined and is referred to as the dimension of M (well-defined means that any linearly independent generating set has n elements: this is the dimension theorem for vector spaces).

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Publications associées (2)

Concepts associés (86)

Cours associés (64)

Séances de cours associées (501)

MOOCs associés (2)

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.

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

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

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

Finitely generated module

Module projectif

En mathématiques, un module projectif est un module P (à gauche par exemple) sur un anneau A tel que pour tout morphisme surjectif f : N → M entre deux A-modules (à gauche) et pour tout morphisme g : P → M, il existe un morphisme h : P → N tel que g = fh, c'est-à-dire tel que le diagramme suivant commute : center Autrement dit : P est projectif si pour tout module N, tout morphisme de P vers un quotient de N se factorise par N.

Anneau local

En mathématiques, et plus particulièrement en algèbre commutative, un anneau local est un anneau commutatif possédant un unique idéal maximal. En géométrie algébrique, les anneaux locaux représentent les fonctions définies au voisinage d'un point donné. Pour tout anneau A, les propriétés suivantes sont équivalentes : A est local ; ses éléments non inversibles forment un idéal (qui sera alors l'idéal maximal de A et coïncidera avec son radical de Jacobson) ; ses éléments non inversibles appartiennent à un même idéal propre ; pour tout élément a de A, soit a soit 1 – a est inversible ; pour tout élément a de A, soit a soit 1 – a est inversible à gauche ; il existe un idéal maximal M tel que pour tout élément a de M, 1 + a est inversible.

Let G be either a simple linear algebraic group over an algebraically closed field of characteristic l>0 or a quantum group at an l-th root of unity. The category Rep(G) of finite-dimensional G-module

EPFL2022

Let k be an algebraically closed field of characteristic 2. We prove that the restricted nilpotent commuting variety C, that is the set of pairs of (n x n)-matrices (A, B) such that A(2) = B-2 = [A, B

Elsevier2007

Formule du caractère de la weyl

Explore la preuve de la formule de caractère de Weyl pour les représentations tridimensionnelles des algèbres semi-simples de Lie.

Cohomologie de groupe

Couvre le concept de cohomologie de groupe, se concentrant sur les complexes de chaîne, les complexes de cochain, les produits de tasse et les anneaux de groupe.

Éléments finis: Élasticité et formation variée

Explore les méthodes d'éléments finis pour les problèmes d'élasticité et les formulations variationnelles, en mettant l'accent sur les déformations admissibles et les implémentations numériques.