Noncommutative ringIn mathematics, a noncommutative ring is a ring whose multiplication is not commutative; that is, there exist a and b in the ring such that ab and ba are different. Equivalently, a noncommutative ring is a ring that is not a commutative ring. Noncommutative algebra is the part of ring theory devoted to study of properties of the noncommutative rings, including the properties that apply also to commutative rings. Sometimes the term noncommutative ring is used instead of ring to refer to an unspecified ring which is not necessarily commutative, and hence may be commutative.
Catégorie des anneauxEn mathématiques, la catégorie des anneaux est une construction qui rend compte abstraitement des propriétés des anneaux en algèbre. Dans ce contexte, « anneau » signifie toujours anneau unitaire. La catégorie des anneaux, notée Ring, est la catégorie définie ainsi : Les objets sont les anneaux ; Les morphismes sont les morphismes d'anneaux, avec la composition usuelle, et l'identité est la fonction identité sur un anneau donné. La sous-catégorie pleine de Ring, dont les objets sont les anneaux commutatifs, forme la catégorie des anneaux commutatifs, notée CRing.
Anneau commutatifUn 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.
Polynôme formelEn algèbre, le terme de polynôme formel, ou simplement polynôme, est le nom générique donné aux éléments d'une structure construite à partir d'un ensemble de nombres. On considère un ensemble A de nombres, qui peut être celui des entiers ou des réels, et on lui adjoint un élément X, appelé indéterminée. La structure est constituée par les nombres, le polynôme X, les puissances de X multipliées par un nombre, aussi appelés monômes (de la forme aX), ainsi que les sommes de monômes. La structure est généralement notée A[X].
Algèbre commutativevignette|Propriété universelle du produit tensoriel de deux anneaux commutatifs En algèbre générale, l’algèbre commutative est la branche des mathématiques qui étudie les anneaux commutatifs, leurs idéaux, les modules et les algèbres. Elle est fondamentale pour la géométrie algébrique et pour la théorie algébrique des nombres. David Hilbert est considéré comme le véritable fondateur de cette discipline appelée initialement la « théorie des idéaux ».
Corps gaucheEn mathématiques, un corps gauche ou anneau à division (parfois simplement appelé corps, voir plus bas) est une des structures algébriques utilisées en algèbre générale. C'est un ensemble muni de deux opérations binaires rendant possibles certains types d'additions, de soustractions, de multiplications et de divisions. Plus précisément, un corps gauche est un anneau dans lequel l'ensemble des éléments non nuls est un groupe pour la multiplication. Un corps gauche dont la multiplication est commutative est appelé « corps commutatif ».
Anneau finiEn mathématiques, un anneau fini est un anneau qui a un nombre fini d'éléments. Chaque corps fini est un exemple d’anneau fini, et la partie additive de chaque anneau fini est un exemple de groupe fini et abélien, mais la notion même d’anneaux finis a une histoire plus récente. Comme les anneaux sont plus rigides que les groupes, la classification des anneaux finis est plus simple que celle des groupes finis.
Structure algébriqueEn mathématiques, une structure algébrique est définie axiomatiquement par une ou plusieurs opérations sur un ensemble (dites internes), éventuellement muni d’autres opérations (externes) dépendant d’autres ensembles, toutes ces opérations satisfaisant certaines relations telles que l’associativité, la commutativité ou la distributivité. La structure de groupe qui émerge progressivement au , avec une seule opération interne et quelques propriétés se formalise au début du avec une kyrielle de structures d’algèbre générale moins restrictives (monoïde) ou au contraire enrichies par une seconde opération (anneau, corps, algèbre de Boole.
Idéal premierEn algèbre commutative, un idéal premier d'un anneau commutatif unitaire est un idéal tel que le quotient de l'anneau par cet idéal est un anneau intègre. Ce concept généralise la notion de nombre premier à des anneaux à la structure moins simple d'accès que l'anneau des entiers relatifs. Ils jouent un rôle particulièrement important en théorie algébrique des nombres. thumb|Richard Dedekind (1831-1916), formalisateur du concept d'idéal.
IdéalEn mathématiques, et plus particulièrement en algèbre, un idéal est un sous-ensemble remarquable d'un anneau : c'est un sous-groupe du groupe additif de l'anneau qui est, de plus, stable par multiplication par les éléments de l'anneau. À certains égards, les idéaux s'apparentent donc aux sous-espaces vectoriels — qui sont des sous-groupes additifs stables par une multiplication externe ; à d'autres égards, ils se comportent comme les sous-groupes distingués — ce sont des sous-groupes additifs à partir desquels on peut construire une structure d'anneau quotient.
Anneau intègreUn anneau intègre ou anneau d'intégrité est un anneau commutatif unitaire différent de l'anneau nul et qui ne possède aucun diviseur de zéro. Un anneau commutatif unitaire est dit intègre s'il est différent de l'anneau nul (autrement dit : si 1 ≠ 0) et sans diviseur de zéro, c’est-à-dire : En pratique, travailler dans un anneau intègre permet de résoudre des équations produit-nul.
Idéal maximalUn idéal maximal est un concept associé à la théorie des anneaux en mathématiques et plus précisément en algèbre. Un idéal d'un anneau commutatif est dit maximal lorsqu’il est contenu dans exactement deux idéaux, lui-même et l'anneau tout entier. L'existence d'idéaux maximaux est assurée par le théorème de Krull. Cette définition permet de généraliser la notion d’élément irréductible à des anneaux différents de celui des entiers relatifs. Certains de ces anneaux ont un rôle important en théorie algébrique des nombres et en géométrie algébrique.
Idéal fractionnairevignette|Richard Dedekind donne en 1876 la définition d'idéal fractionnaire. En mathématiques, et plus précisément en théorie des anneaux, un idéal fractionnaire est une généralisation de la définition d'un idéal. Ce concept doit son origine à la théorie algébrique des nombres. Pour résoudre certaines équations diophantiennes, cette théorie utilise des anneaux d'entiers généralisant celui des entiers relatifs.
AlgèbreL'algèbre (de l’arabe الجبر, al-jabr) est une branche des mathématiques qui permet d'exprimer les propriétés des opérations et le traitement des équations et aboutit à l'étude des structures algébriques. Selon l’époque et le niveau d’études considérés, elle peut être décrite comme : une arithmétique généralisée, étendant à différents objets ou grandeurs les opérations usuelles sur les nombres ; la théorie des équations et des polynômes ; depuis le début du , l’étude des structures algébriques (on parle d'algèbre générale ou abstraite).
Anneau (mathématiques)vignette|Richard Dedekind - 1870 En algèbre, un anneau est un ensemble muni de deux lois de composition interne appelées addition et multiplication, qui vérifient des propriétés analogues à celles de ces opérations sur les entiers relatifs. Plus précisément, deux définitions sont représentées dans la littérature mathématique, selon la considération d'un élément neutre : la majorité des sources récentes définissent un « anneau » comme un anneau unitaire, avec la multiplication ayant un élément neutre ; tandis que, selon de nombreux ouvrages, la présence d'une unité multiplicative n'est pas requise, et ce type d'anneau est ailleurs dénommé pseudo-anneau.
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).
Ideal theoryIn mathematics, ideal theory is the theory of ideals in commutative rings. While the notion of an ideal exists also for non-commutative rings, a much more substantial theory exists only for commutative rings (and this article therefore only considers ideals in commutative rings.) Throughout the articles, rings refer to commutative rings. See also the article ideal (ring theory) for basic operations such as sum or products of ideals.
Théorie des groupesvignette|Le Rubik's cube illustre la notion de groupes de permutations. Voir groupe du Rubik's Cube. La théorie des groupes est en mathématique, plus précisément en algèbre générale, la discipline qui étudie les structures algébriques appelées groupes. Le développement de la théorie des groupes est issu de la théorie des nombres, de la théorie des équations algébriques et de la géométrie. La théorie des groupes est étroitement liée à la théorie des représentations.
Localisation (mathématiques)En algèbre, la localisation est une des opérations de base de l'algèbre commutative. C'est une méthode qui construit à partir d'un anneau commutatif un nouvel anneau. La construction du corps des fractions est un cas particulier de la localisation. La localisation consiste à rendre inversibles les éléments d'une partie (« partie multiplicative ») de l'anneau. L'exemple le plus connu est le corps des fractions d'un anneau intègre qui se construit en rendant inversibles tous les éléments non nuls de l'anneau.
Idéal (théorie des ordres)En mathématiques, un idéal au sens de la théorie des ordres est un sous-ensemble particulier d'un ensemble ordonné. Bien qu'à l'origine ce terme soit issu de la notion algébrique d'idéal d'un anneau, il a été généralisé en une notion distincte. Les idéaux interviennent dans beaucoup de constructions en théorie des ordres, en particulier des treillis. Un idéal d'un ensemble ordonné (E, ≤) est une partie non vide I de E telle que : I est une section commençante, c'est-à-dire que tout minorant d'un élément de I appartient à I ; I est un ensemble ordonné filtrant, c'est-à-dire que deux éléments quelconques de I possèdent toujours un majorant commun dans I.
