En mathématiques, un anneau quotient est un anneau qu'on construit sur l'ensemble quotient d'un anneau par un de ses idéaux bilatères. Soit A un anneau. L'addition et la multiplication de A sont compatibles avec une relation d'équivalence sur A si (et seulement si) celle-ci est de la forme : x ~ y ⇔ x – y ∈ I, pour un certain idéal bilatère I de A. On peut alors munir l'ensemble quotient A/I de l'addition et de la multiplication quotients de celles de A : Ceci munit A/I d'une structure d'anneau, appelé l'anneau quotient de A par I (son groupe additif est le groupe quotient de (A, +) par I). La surjection canonique π : A → A/I est alors un morphisme d'anneaux, de noyau I. A / A est l'anneau trivial (réduit à 0). A / {0} est isomorphe à A. Si A = Z (l'anneau des entiers relatifs) et I = n Z pour un certain entier n, l'anneau quotient A / I est l'anneau Z / n Z. Cette structure est le fondement de l'arithmétique modulaire. Pour A = R[X], anneau des polynômes à coefficients réels et I l'idéal principal engendré par X2 + 1, A / I est un anneau isomorphe à C, le corps des nombres complexes. Les utilisations de l'anneau Z / nZ en théorie des nombres illustrent l'efficacité de l'introduction d'anneaux quotients. Ainsi l'équation diophantienne ax+by = 1, qui peut être traitée par des méthodes d'arithmétique tout à fait élémentaire, peut aussi être interprétée comme recherche de l'inverse de a dans l'anneau quotient Z / bZ. Pour ce point de vue, il existe des solutions si et seulement si la classe de a est un élément inversible de l'anneau quotient, si et seulement si a premier avec b. Les valeurs possibles de x sont alors les entiers qui se projettent dans Z / bZ sur cet inverse de la classe de a. Le cas des quotients Z / pZ où p est premier est particulièrement fécond. L'anneau Z / p Z est alors un corps commutatif et on bénéficie de la richesse de cette structure. Le petit théorème de Fermat ou le théorème de Wilson sont deux exemples en arithmétique élémentaire qui peuvent bénéficier d'un tel traitement.

À 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.
Cours associés (32)
MATH-310: Algebra
This is an introduction to modern algebra: groups, rings and fields.
MATH-311: Algebra IV - rings and modules
Ring and module theory with a major emphasis on commutative algebra and a minor emphasis on homological algebra.
MATH-215: Algebra III - rings and fields
C'est un cours introductoire dans la théorie d'anneau et de corps.
Afficher plus
Séances de cours associées (184)
Théorie des dimensions des anneaux
Explore la théorie des dimensions des anneaux, en se concentrant sur les chaînes d'idéaux et les idéaux premiers.
Courbes algébriques : Normalisation
Couvre le processus de normalisation des courbes algébriques planes, en se concentrant sur les polynômes irréductibles et les courbes affines.
Modélisation du transfert de chaleur dans les anneaux de chute
Explore la modélisation du transfert de chaleur entre les anneaux tombants et les liquides, en mettant l'accent sur les changements de température et la conduction thermique.
Afficher plus
Publications associées (63)
Concepts associés (37)
Parité (arithmétique)
En arithmétique modulaire, étudier la parité d'un entier, c'est déterminer si cet entier est ou non un multiple de deux. Un entier multiple de deux est un entier pair, les autres sont les entiers impairs. L'opposition pair/impair apparaît chez Épicharme (vers 490 av. J.-C.) : (Diogène Laërce, III, 11). Chez les pythagoriciens, la notion de limité est positive comme celle d'illimité négative, et le nombre impair est masculin, limité, positif, tandis que le nombre pair est féminin, illimité, négatif.
Polynôme formel
En 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].
Congruence relation
In abstract algebra, a congruence relation (or simply congruence) is an equivalence relation on an algebraic structure (such as a group, ring, or vector space) that is compatible with the structure in the sense that algebraic operations done with equivalent elements will yield equivalent elements. Every congruence relation has a corresponding quotient structure, whose elements are the equivalence classes (or congruence classes) for the relation. The prototypical example of a congruence relation is congruence modulo on the set of integers.
Afficher plus
MOOCs associés (10)
Mécanique de Newton
Ce cours de Physique générale – mécanique fourni les outils permettant de maîtriser la mécanique newtonienne du point matériel.
Mécanique du Point Matériel
Ce cours de Physique générale – mécanique fourni les outils permettant de maîtriser la mécanique newtonienne du point matériel.
Mécanique du Solide Indéformable
Ce cours de Physique générale – mécanique fourni les outils permettant de maîtriser la mécanique newtonienne du point matériel.
Afficher plus

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.