Ê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.
Concept
Minimal ideal
Résumé
In the branch of abstract algebra known as ring theory, a minimal right ideal of a ring R is a non-zero right ideal which contains no other non-zero right ideal. Likewise, a minimal left ideal is a non-zero left ideal of R containing no other non-zero left ideals of R, and a minimal ideal of R is a non-zero ideal containing no other non-zero two-sided ideal of R .
In other words, minimal right ideals are minimal elements of the partially ordered set (poset) of non-zero right ideals of R ordered by inclusion. The reader is cautioned that outside of this context, some posets of ideals may admit the zero ideal, and so the zero ideal could potentially be a minimal element in that poset. This is the case for the poset of prime ideals of a ring, which may include the zero ideal as a minimal prime ideal.
The definition of a minimal right ideal N of a ring R is equivalent to the following conditions:
N is non-zero and if K is a right ideal of R with {0} ⊆ K ⊆ N, then either K = {0} or K = N.
N is a simple right R-module.
Minimal ideals are the dual notion to maximal ideals.
Many standard facts on minimal ideals can be found in standard texts such as , , , and .
In a ring with unity, maximal right ideals always exist. In contrast, minimal right, left, or two-sided ideals in a ring with unity need not exist.
The right socle of a ring is an important structure defined in terms of the minimal right ideals of R.
Rings for which every right ideal contains a minimal right ideal are exactly the rings with an essential right socle.
Any right Artinian ring or right Kasch ring has a minimal right ideal.
Domains that are not division rings have no minimal right ideals.
In rings with unity, minimal right ideals are necessarily principal right ideals, because for any nonzero x in a minimal right ideal N, the set xR is a nonzero right ideal of R inside N, and so xR = N.
Brauer's lemma: Any minimal right ideal N in a ring R satisfies N2 = {0} or N = eR for some idempotent element e of R .
If N1 and N2 are non-isomorphic minimal right ideals of R, then the product N1N2 equals {0}.
Source officielle
À 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.