Finitely generated moduleIn 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.
Module semi-simplethumb|Camille Jordan, auteur du théorème clé de la théorie En mathématiques et plus précisément en algèbre non commutative, un module sur un anneau est dit semi-simple ou complètement réductible s'il est somme directe de sous-modules simples ou, ce qui est équivalent, si chacun de ses sous-modules possède un supplémentaire. Les propriétés des modules semi-simples sont utilisées en algèbre linéaire pour l'analyse des endomorphismes, dans le cadre des anneaux semi-simples et pour la théorie des représentations des groupes.
Module artinienEn 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).
Module monogèneEn algèbre, un module monogène est un module qui peut être engendré par un seul élément. Par exemple, un Z-module monogène est un groupe (abélien) monogène. Le concept est analogue à celui de groupe monogène, c'est-à-dire un groupe qui est engendré par un élément. Un R-module gauche M est dit monogène si M peut être engendré par un seul élément, c'est-à-dire s'il existe x dans M tel que M = (x) = Rx = {rx | r ∈ R}. De même, un R-module à droite N est monogène s'il existe y ∈ N tel que N = yR.
Anneau artinienEn algèbre commutative, un anneau artinien est un anneau vérifiant la condition de chaîne descendante pour ses idéaux. Les anneaux artiniens doivent leur nom au mathématicien autrichien Emil Artin. On dit qu'un anneau commutatif (unitaire) A est un anneau artinien si c'est un A-module artinien, autrement dit, si toute suite décroissante d'idéaux de A est stationnaire. Cela équivaut à dire que tout ensemble non vide d'idéaux de A admet un élément minimal (pour la relation d'inclusion).
