Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
Concept
Quotient ring
Summary
In ring theory, a branch of abstract algebra, a quotient ring, also known as factor ring, difference ring or residue class ring, is a construction quite similar to the quotient group in group theory and to the quotient space in linear algebra. It is a specific example of a quotient, as viewed from the general setting of universal algebra. Starting with a ring R and a two-sided ideal I in R, a new ring, the quotient ring R / I, is constructed, whose elements are the cosets of I in R subject to special + and ⋅ operations. (Only the fraction slash "/" is used in quotient ring notation, not a horizontal fraction bar.)
Quotient rings are distinct from the so-called "quotient field", or field of fractions, of an integral domain as well as from the more general "rings of quotients" obtained by localization.
Given a ring and a two-sided ideal in , we may define an equivalence relation on as follows:
if and only if is in .
Using the ideal properties, it is not difficult to check that is a congruence relation.
In case , we say that and are congruent modulo .
The equivalence class of the element in is given by
This equivalence class is also sometimes written as and called the "residue class of modulo ".
The set of all such equivalence classes is denoted by ; it becomes a ring, the factor ring or quotient ring of modulo , if one defines
(Here one has to check that these definitions are well-defined. Compare coset and quotient group.) The zero-element of is , and the multiplicative identity is .
The map from to defined by is a surjective ring homomorphism, sometimes called the natural quotient map or the canonical homomorphism.
The quotient ring R / {0} is naturally isomorphic to R, and R / R is the zero ring {0}, since, by our definition, for any r in R, we have that [r] = r + "R" := {r + b : b ∈ "R", which equals R itself. This fits with the rule of thumb that the larger the ideal I, the smaller the quotient ring R / I. If I is a proper ideal of R, i.e., I ≠ R, then R / I is not the zero ring.
Official source
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
Ontological neighbourhood
Related courses (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: Rings and fields
C'est un cours introductoire dans la théorie d'anneau et de corps.
Related lectures (188)
Dimension Theory of Rings
Explores the dimension theory of rings, focusing on chains of ideals and prime ideals.
Dimension theory of rings
Covers the dimension theory of rings, including additivity of dimension and height, Krull's Hauptidealsatz, and the height of general complete intersections.
Balance in a Rotating Ring
Covers the concept of balance in a rotating ring and harmonic oscillators.
Related publications (63)
Moments of the number of points in a bounded set for number field lattices
Maryna Viazovska, Nihar Prakash Gargava, Vlad Serban
We examine the moments of the number of lattice points in a fixed ball of volume for lattices in Euclidean space which are modules over the ring of integers of a number field . In particular, denoting by the number of roots of unity in , we ...
arXiv2023Related people (9)
Related concepts (37)
Parity (mathematics)
In mathematics, parity is the property of an integer of whether it is even or odd. An integer is even if it is a multiple of two, and odd if it is not. For example, −4, 0, 82 are even because By contrast, −3, 5, 7, 21 are odd numbers. The above definition of parity applies only to integer numbers, hence it cannot be applied to numbers like 1/2 or 4.201. See the section "Higher mathematics" below for some extensions of the notion of parity to a larger class of "numbers" or in other more general settings.
Polynomial ring
In mathematics, especially in the field of algebra, a polynomial ring or polynomial algebra is a ring (which is also a commutative algebra) formed from the set of polynomials in one or more indeterminates (traditionally also called variables) with coefficients in another ring, often a field. Often, the term "polynomial ring" refers implicitly to the special case of a polynomial ring in one indeterminate over a field. The importance of such polynomial rings relies on the high number of properties that they have in common with the ring of the integers.
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.
Related MOOCs (10)
Newton's Mechanics
Ce cours de Physique générale – mécanique fourni les outils permettant de maîtriser la mécanique newtonienne du point matériel.
Point System Mechanics
Ce cours de Physique générale – mécanique fourni les outils permettant de maîtriser la mécanique newtonienne du point matériel.
Rigid Body Mechanics
Ce cours de Physique générale – mécanique fourni les outils permettant de maîtriser la mécanique newtonienne du point matériel.