Anneau quotientEn 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).
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.
DistributivitéEn mathématiques, plus précisément en arithmétique et en algèbre générale, la distributivité d'une opération par rapport à une autre est une généralisation de la propriété élémentaire : « le produit d'une somme est égal à la somme des produits ». Par exemple, dans l'expression 2 × (5 + 3) = (2×5) + (2×3), le facteur 2 est distribué à chacun des deux termes de la somme 5 + 3. L'égalité est alors bien vérifiée : à gauche 2 × 8 = 16, à droite 10 + 6 = 16.
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].
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.
Ideal quotientIn abstract algebra, if I and J are ideals of a commutative ring R, their ideal quotient (I : J) is the set Then (I : J) is itself an ideal in R. The ideal quotient is viewed as a quotient because if and only if . The ideal quotient is useful for calculating primary decompositions. It also arises in the description of the set difference in algebraic geometry (see below). (I : J) is sometimes referred to as a colon ideal because of the notation. In the context of fractional ideals, there is a related notion of the inverse of a fractional ideal.
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.
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.
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.
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.
Total ring of fractionsIn abstract algebra, the total quotient ring or total ring of fractions is a construction that generalizes the notion of the field of fractions of an integral domain to commutative rings R that may have zero divisors. The construction embeds R in a larger ring, giving every non-zero-divisor of R an inverse in the larger ring. If the homomorphism from R to the new ring is to be injective, no further elements can be given an inverse. Let be a commutative ring and let be the set of elements which are not zero divisors in ; then is a multiplicatively closed set.
Quotient (universal algebra)In mathematics, a quotient algebra is the result of partitioning the elements of an algebraic structure using a congruence relation. Quotient algebras are also called factor algebras. Here, the congruence relation must be an equivalence relation that is additionally compatible with all the operations of the algebra, in the formal sense described below. Its equivalence classes partition the elements of the given algebraic structure. The quotient algebra has these classes as its elements, and the compatibility conditions are used to give the classes an algebraic structure.
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.
Multiplicationthumb|La multiplication de 4 par 3 donne le même résultat que la multiplication de 3 par 4. La multiplication est l'une des quatre opérations de l'arithmétique élémentaire avec l'addition, la soustraction et la division. Cette opération est souvent notée avec la croix de multiplication « × », mais peut aussi être notée par d'autres symboles (par exemple le point médian « · ») ou par l'absence de symbole. Son résultat s'appelle le produit, les nombres que l'on multiplie sont les facteurs.
Module quotientEn mathématiques, un module quotient est le module obtenu en quotientant un module sur un anneau par un de ses sous-modules. Soient M un module sur un anneau A et N un sous-module de M. Le groupe (M,+) étant abélien, son sous-groupe (N,+) est normal, ce qui permet de définir le groupe quotient (M/N,+). Sur ce groupe (M/N,+), qui est abélien, il existe une unique loi externe faisant de M/N un A-module et telle que la projection canonique soit non seulement un morphisme de groupes, mais un morphisme de A-modules : M/M est le module trivial {0}.
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.
Distributivity (order theory)In the mathematical area of order theory, there are various notions of the common concept of distributivity, applied to the formation of suprema and infima. Most of these apply to partially ordered sets that are at least lattices, but the concept can in fact reasonably be generalized to semilattices as well. Probably the most common type of distributivity is the one defined for lattices, where the formation of binary suprema and infima provide the total operations of join () and meet ().
Cancellation propertyIn mathematics, the notion of cancellativity (or cancellability) is a generalization of the notion of invertibility. An element a in a magma (M, ∗) has the left cancellation property (or is left-cancellative) if for all b and c in M, a ∗ b = a ∗ c always implies that b = c. An element a in a magma (M, ∗) has the right cancellation property (or is right-cancellative) if for all b and c in M, b ∗ a = c ∗ a always implies that b = c. An element a in a magma (M, ∗) has the two-sided cancellation property (or is cancellative) if it is both left- and right-cancellative.
