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 module
Summary
In algebra, given a module and a submodule, one can construct their quotient module. This construction, described below, is very similar to that of a quotient vector space. It differs from analogous quotient constructions of rings and groups by the fact that in these cases, the subspace that is used for defining the quotient is not of the same nature as the ambient space (that is, a quotient ring is the quotient of a ring by an ideal, not a subring, and a quotient group is the quotient of a group by a normal subgroup, not by a general subgroup).
Given a module A over a ring R, and a submodule B of A, the quotient space A/B is defined by the equivalence relation
if and only if
for any a, b in A. The elements of A/B are the equivalence classes The function sending a in A to its equivalence class a + B is called the quotient map or the projection map, and is a module homomorphism.
The addition operation on A/B is defined for two equivalence classes as the equivalence class of the sum of two representatives from these classes; and scalar multiplication of elements of A/B by elements of R is defined similarly. Note that it has to be shown that these operations are well-defined. Then A/B becomes itself an R-module, called the quotient module. In symbols, for all a, b in A and r in R:
Consider the polynomial ring, \R[X] with real coefficients, and the \R[X]-module . Consider the submodule
of A, that is, the submodule of all polynomials divisible by X^ 2 + 1. It follows that the equivalence relation determined by this module will be
P(X) ~ Q(X) if and only if P(X) and Q(X) give the same remainder when divided by X^ 2 + 1.
Therefore, in the quotient module A/B, X^ 2 + 1 is the same as 0; so one can view A/B as obtained from \R[X] by setting X^ 2 + 1 = 0. This quotient module is isomorphic to the complex numbers, viewed as a module over the real numbers \R.
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 (2)
MATH-215: Rings and fields
C'est un cours introductoire dans la théorie d'anneau et de corps.
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.
Related lectures (16)
Rings and Modules: Color Codes and Homological Algebra
Covers rings and modules, emphasizing color codes and homological algebra concepts.
Ring Operations: Ideals and Classes
Covers the operations in rings, ideals, classes, and quotient rings.
Irreducible Polynomials and Finite Fields
Explores irreducible polynomials, finite fields, and the construction of unique finite fields from irreducible polynomials.
Related publications (1)
Property (T) and rigidity for actions on Banach spaces
We study property (T) and the fixed point property for actions on Lp and other Banach spaces. We show that property (T) holds when L2 is replaced by Lp (and even a subspace/quotient of Lp), and that in fact it is independent of 1 ≤ p < ∞. We show that the ...
2007Related concepts (8)
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.
Quotient space (linear algebra)
In linear algebra, the quotient of a vector space by a subspace is a vector space obtained by "collapsing" to zero. The space obtained is called a quotient space and is denoted (read " mod " or " by "). Formally, the construction is as follows. Let be a vector space over a field , and let be a subspace of . We define an equivalence relation on by stating that if . That is, is related to if one can be obtained from the other by adding an element of .
Duality (mathematics)
In mathematics, a duality translates concepts, theorems or mathematical structures into other concepts, theorems or structures, in a one-to-one fashion, often (but not always) by means of an involution operation: if the dual of A is B, then the dual of B is A. Such involutions sometimes have fixed points, so that the dual of A is A itself. For example, Desargues' theorem is self-dual in this sense under the standard duality in projective geometry. In mathematical contexts, duality has numerous meanings.