Noyau (algèbre)En mathématiques et plus particulièrement en algèbre générale, le noyau d'un morphisme mesure la non-injectivité d'un morphisme. Dans de nombreux cas, le noyau d'un morphisme est un sous-ensemble de l'ensemble de définition du morphisme : l'ensemble des éléments qui sont envoyés sur l'élément neutre de l'ensemble d'arrivée. Dans des contextes plus généraux, le noyau est interprété comme une relation d'équivalence sur l'ensemble de définition : la relation qui relie les éléments qui sont envoyés sur une même par le morphisme.
Caractéristique d'un anneauEn algèbre, la caractéristique d'un anneau (unitaire) A est par définition l'ordre pour la loi additive de l'élément neutre de la loi multiplicative si cet ordre est fini ; si cet ordre est infini, la caractéristique de l'anneau est par définition zéro. On note, pour un anneau unitaire (A, +, ×), 0A l'élément neutre de « + » et 1A celui de « × ». La caractéristique d'un anneau A est donc le plus petit entier n > 0 tel que si un tel entier existe. Dans le cas contraire (autrement dit si 1A est d'ordre infini), la caractéristique est nulle.
Produit d'anneauxEn algèbre générale, il est possible de combiner plusieurs anneaux pour former un anneau appelé anneau produit. Cette construction peut se faire de la manière suivante : si (Ai) est une famille d'anneaux, le produit cartésien Π Ai peut être muni d'une structure d'anneau en définissant les opérations composante par composante, i.e. (ai) + (bi) = (ai + bi) (ai) · (bi) = (ai · bi) 1 = (1) À la place de Π1≤i≤k Ai nous pouvons aussi écrire A1 × A2 × ... × Ak. Un exemple est l'anneau Z/nZ des entiers modulo n.
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.
Anneau de Dedekindthumb|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.
Produit directLa plupart des structures algébriques permettent de construire de façon très simple une structure produit sur le produit cartésien des ensembles sous-jacents. Plus généralement, . C'est le cas de la topologie produit dans la catégorie des espaces topologiques. Soient E un ensemble muni d'une loi de composition interne et F un ensemble muni d'une loi de composition interne . On peut définir une loi de composition interne sur le produit cartésien E×F de la façon suivante : Si et sont associatives, alors la loi est associative.
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.
Théorie des anneauxEn mathématiques, la théorie des anneaux porte sur l'étude de structures algébriques qui imitent et étendent les entiers relatifs, appelées anneaux. Cette étude s'intéresse notamment à la classification de ces structures, leurs représentations, et leurs propriétés. Développée à partir de la fin du siècle, notamment sous l'impulsion de David Hilbert et Emmy Noether, la théorie des anneaux s'est trouvée être fondamentale pour le développement des mathématiques au siècle, au travers de la géométrie algébrique et de la théorie des nombres notamment, et continue de jouer un rôle central en mathématiques, mais aussi en cryptographie et en physique.
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.
Arithmétique modulaireEn mathématiques et plus précisément en théorie algébrique des nombres, l’arithmétique modulaire est un ensemble de méthodes permettant la résolution de problèmes sur les nombres entiers. Ces méthodes dérivent de l’étude du reste obtenu par une division euclidienne. L'idée de base de l'arithmétique modulaire est de travailler non sur les nombres eux-mêmes, mais sur les restes de leur division par quelque chose. Quand on fait par exemple une preuve par neuf à l'école primaire, on effectue un peu d'arithmétique modulaire sans le savoir : le diviseur est alors le nombre 9.
Direct sumThe direct sum is an operation between structures in abstract algebra, a branch of mathematics. It is defined differently, but analogously, for different kinds of structures. To see how the direct sum is used in abstract algebra, consider a more elementary kind of structure, the abelian group. The direct sum of two abelian groups and is another abelian group consisting of the ordered pairs where and . To add ordered pairs, we define the sum to be ; in other words addition is defined coordinate-wise.
Produit tensoriel de deux modulesLe produit tensoriel de deux modules est une construction en théorie des modules qui, à deux modules sur un même anneau commutatif unifère A, assigne un module. Le produit tensoriel est très important dans les domaines de l'analyse fonctionnelle, de la topologie algébrique et de la géométrie algébrique. Le produit tensoriel permet en outre de ramener l'étude d'applications bilinéaires ou multilinéaires à des applications linéaires.
