In abstract algebra, a Noetherian module is a module that satisfies the ascending chain condition on its submodules, where the submodules are partially ordered by inclusion.
Historically, Hilbert was the first mathematician to work with the properties of finitely generated submodules. He proved an important theorem known as Hilbert's basis theorem which says that any ideal in the multivariate polynomial ring of an arbitrary field is finitely generated. However, the property is named after Emmy Noether who was the first one to discover the true importance of the property.
In the presence of the axiom of choice, two other characterizations are possible:
Any nonempty set S of submodules of the module has a maximal element (with respect to set inclusion). This is known as the maximum condition.
All of the submodules of the module are finitely generated.
If M is a module and K a submodule, then M is Noetherian if and only if K and M/K are Noetherian. This is in contrast to the general situation with finitely generated modules: a submodule of a finitely generated module need not be finitely generated.
The integers, considered as a module over the ring of integers, is a Noetherian module.
If R = Mn(F) is the full matrix ring over a field, and M = Mn 1(F) is the set of column vectors over F, then M can be made into a module using matrix multiplication by elements of R on the left of elements of M. This is a Noetherian module.
Any module that is finite as a set is Noetherian.
Any finitely generated right module over a right Noetherian ring is a Noetherian module.
A right Noetherian ring R is, by definition, a Noetherian right R-module over itself using multiplication on the right. Likewise a ring is called left Noetherian ring when R is Noetherian considered as a left R-module. When R is a commutative ring the left-right adjectives may be dropped as they are unnecessary. Also, if R is Noetherian on both sides, it is customary to call it Noetherian and not "left and right Noetherian".
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.
In abstract algebra, a Noetherian module is a module that satisfies the ascending chain condition on its submodules, where the submodules are partially ordered by inclusion. Historically, Hilbert was the first mathematician to work with the properties of finitely generated submodules. He proved an important theorem known as Hilbert's basis theorem which says that any ideal in the multivariate polynomial ring of an arbitrary field is finitely generated.
En algèbre, et plus précisément en théorie des anneaux, l'équivalence de Morita est une relation entre anneaux. Elle est nommée d'après le mathématicien japonais Kiiti Morita qui l'a introduite dans un article de 1958. L'étude d'un anneau consiste souvent à explorer la catégorie des modules sur cet anneau. Deux anneaux sont en équivalence de Morita précisément lorsque leurs catégories de modules sont équivalentes. L'équivalence de Morita présente surtout un intérêt dans l'étude des anneaux non commutatifs.
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).
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.
Couvre la théorie de la dimension des anneaux, y compris l'additivité de la dimension et de la hauteur, Hauptidealsatz de Krull, et la hauteur des intersections générales complètes.