Concept
Finitely generated module
Concepts associés (38)
Anneau noethérien
En mathématique, un anneau noethérien est un cas particulier d'anneau, c'est-à-dire d'un ensemble muni d'une addition et d'une multiplication compatible avec l'addition, au sens de la distributivité. De nombreuses questions mathématiques s'expriment dans un contexte d'anneau, les endomorphismes d'un espace vectoriel ou d'un module sur un anneau, les entiers algébriques de la théorie algébrique des nombres, ou encore les surfaces de la géométrie algébrique.
Anneau commutatif
Un anneau commutatif est un anneau dans lequel la loi de multiplication est commutative. L’étude des anneaux commutatifs s’appelle l’algèbre commutative. Un anneau commutatif est un anneau (unitaire) dans lequel la loi de multiplication est commutative. Dans la mesure où les anneaux commutatifs sont des anneaux particuliers, nombre de concepts de théorie générale des anneaux conservent toute leur pertinence et leur utilité en théorie des anneaux commutatifs : ainsi ceux de morphismes d'anneaux, d'idéaux et d'anneaux quotients, de sous-anneaux, d'éléments nilpotents.
Anneau de Dedekind
thumb|Richard Dedekind définit et établit les bases de la théorie des anneaux portant maintenant son nom. En mathématiques, un anneau de Dedekind est un anneau commutatif disposant de propriétés particulières (voir aussi anneau de Dedekind non commutatif). Sa formalisation initiale a pour objectif la description d'un ensemble d'entiers algébriques, ce concept est aussi utilisé en géométrie algébrique. Les anneaux de Dedekind doivent leur origine à la théorie algébrique des nombres.
Lemme de Zorn
En mathématiques, le lemme de Zorn (ou théorème de Zorn, ou parfois lemme de Kuratowski-Zorn) est un théorème de la théorie des ensembles qui affirme que si un ensemble ordonné est tel que toute chaîne (sous-ensemble totalement ordonné) possède un majorant, alors il possède un élément maximal. Le lemme de Zorn est équivalent à l'axiome du choix en admettant les autres axiomes de la théorie des ensembles de Zermelo-Fraenkel. Le lemme de Zorn permet d'utiliser l'axiome du choix sans recourir à la théorie des ordinaux (ou à celle des bons ordres via le théorème de Zermelo).
Groupe abélien de type fini
En mathématiques, un groupe abélien de type fini est un groupe abélien qui possède une partie génératrice finie. Autrement dit : c'est un module de type fini sur l'anneau Z des entiers relatifs. Par conséquent, les produits finis, les quotients, mais aussi les sous-groupes des groupes abéliens de type fini sont eux-mêmes de type fini. Un théorème de structure des groupes abéliens de type fini permet d'expliciter la liste complète de ces groupes à isomorphisme près ; il montre notamment que tout groupe abélien de type fini est un produit fini de groupes monogènes.
Annulateur (théorie des modules)
In mathematics, the annihilator of a subset S of a module over a ring is the ideal formed by the elements of the ring that give always zero when multiplied by each element of S. Over an integral domain, a module that has a nonzero annihilator is a torsion module, and a finitely generated torsion module has a nonzero annihilator. The above definition applies also in the case noncommutative rings, where the left annihilator of a left module is a left ideal, and the right-annihilator, of a right module is a right ideal.
Module homomorphism
In algebra, a module homomorphism is a function between modules that preserves the module structures. Explicitly, if M and N are left modules over a ring R, then a function is called an R-module homomorphism or an R-linear map if for any x, y in M and r in R, In other words, f is a group homomorphism (for the underlying additive groups) that commutes with scalar multiplication. If M, N are right R-modules, then the second condition is replaced with The of the zero element under f is called the kernel of f.
Rank of an abelian group
In mathematics, the rank, Prüfer rank, or torsion-free rank of an abelian group A is the cardinality of a maximal linearly independent subset. The rank of A determines the size of the largest free abelian group contained in A. If A is torsion-free then it embeds into a vector space over the rational numbers of dimension rank A. For finitely generated abelian groups, rank is a strong invariant and every such group is determined up to isomorphism by its rank and torsion subgroup.
Lemme de Nakayama
Le lemme de Nakayama est un résultat fondamental d'algèbre commutative. Il doit son origine à , et Wolfgang Krull. Un énoncé général est le suivant : La démonstration de cet énoncé général se ramène à celle du cas particulier N = 0, c'est pourquoi le lemme de Nakayama est souvent énoncé sous cette forme : Le corollaire suivant est parfois également énoncé sous le nom de « lemme de Nakayama » : (En effet, pour tout élément a de R, 1 + a est inversible.) Soit une famille génératrice de M. Il existe des tels que pour tout i, .
Module artinien
En théorie des anneaux, un module artinien (du nom d'Emil Artin) est un module vérifiant la condition de chaîne descendante. On dit qu'un module M vérifie la condition de chaîne descendante si toute suite décroissante de sous-modules de M est stationnaire. Cela équivaut à dire que tout ensemble non vide de sous-modules de M admet un élément minimal (pour la relation d'inclusion). Tout module fini est artinien. En particulier, tout groupe abélien fini est artinien (en tant que Z-module).