Quotient module

Last updated May 27, 2023

In algebra, given a module and a submodule, one can construct their quotient module.^[1]^[2] This construction, described below, is very similar to that of a quotient vector space.^[3] 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).

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$ :

{\begin{aligned}&(a+B)+(b+B):=(a+b)+B,\\&r\cdot (a+B):=(r\cdot a)+B.\end{aligned}}

Examples

Consider the polynomial ring, $\mathbb {R} [X]$ with real coefficients, and the $\mathbb {R} [X]$ -module $A=\mathbb {R} [X],$ . Consider the submodule

B=(X^{2}+1)\mathbb {R} [X]

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 $\mathbb {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 $\mathbb {R} .$

Related Research Articles

In mathematics, an associative algebraA is an algebraic structure with compatible operations of addition, multiplication, and a scalar multiplication by elements in some field K. The addition and multiplication operations together give A the structure of a ring; the addition and scalar multiplication operations together give A the structure of a vector space over K. In this article we will also use the term K-algebra to mean an associative algebra over the field K. A standard first example of a K-algebra is a ring of square matrices over a field K, with the usual matrix multiplication.

In mathematics, when the elements of some set $have a notion of equivalence, then one may naturally split the set into equivalence classes . These equivalence classes are constructed so that elements and belong to the same equivalence class if, and only if, they are equivalent.$

In algebra, the kernel of a homomorphism is generally the inverse image of 0. An important special case is the kernel of a linear map. The kernel of a matrix, also called the null space, is the kernel of the linear map defined by the matrix.

In mathematics, specifically abstract algebra, the isomorphism theorems are theorems that describe the relationship between quotients, homomorphisms, and subobjects. Versions of the theorems exist for groups, rings, vector spaces, modules, Lie algebras, and various other algebraic structures. In universal algebra, the isomorphism theorems can be generalized to the context of algebras and congruences.

In mathematics, more specifically in ring theory, a maximal ideal is an ideal that is maximal amongst all proper ideals. In other words, I is a maximal ideal of a ring R if there are no other ideals contained between I and R.

In abstract algebra, a congruence relation is an equivalence relation on an algebraic structure 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 for the relation.

In mathematics, rings are algebraic structures that generalize fields: multiplication need not be commutative and multiplicative inverses need not exist. In other words, a ring is a set equipped with two binary operations satisfying properties analogous to those of addition and multiplication of integers. Ring elements may be numbers such as integers or complex numbers, but they may also be non-numerical objects such as polynomials, square matrices, functions, and power series.

In mathematics, a commutative ring is a ring in which the multiplication operation is commutative. The study of commutative rings is called commutative algebra. Complementarily, noncommutative algebra is the study of ring properties that are not specific to commutative rings. This distinction results from the high number of fundamental properties of commutative rings that do not extend to noncommutative rings.

In mathematics, in particular abstract algebra, a graded ring is a ring such that the underlying additive group is a direct sum of abelian groups $such that . The index set is usually the set of nonnegative integers or the set of integers, but can be any monoid. The direct sum decomposition is usually referred to as gradation or grading .$

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 $\cdot$ operations.

In mathematics, group cohomology is a set of mathematical tools used to study groups using cohomology theory, a technique from algebraic topology. Analogous to group representations, group cohomology looks at the group actions of a group G in an associated G-moduleM to elucidate the properties of the group. By treating the G-module as a kind of topological space with elements of $representing n -simplices, topological properties of the space may be computed, such as the set of cohomology groups . The cohomology groups in turn provide insight into the structure of the group G and G -module M themselves. Group cohomology plays a role in the investigation of fixed points of a group action in a module or space and the quotient module or space with respect to a group action. Group cohomology is used in the fields of abstract algebra, homological algebra, algebraic topology and algebraic number theory, as well as in applications to group theory proper. As in algebraic topology, there is a dual theory called group homology . The techniques of group cohomology can also be extended to the case that instead of a G -module, G acts on a nonabelian G -group; in effect, a generalization of a module to non-Abelian coefficients.$

In mathematics, a finitely generated module is a module that has a finite generating set. A finitely generated module over a ring R may also be called a finite R-module, finite over R, or a module of finite type.

In mathematics, especially in the field of algebra, a polynomial ring or polynomial algebra is a ring formed from the set of polynomials in one or more indeterminates with coefficients in another ring, often a field.

In mathematics, especially in the area of abstract algebra known as module theory, an injective module is a module Q that shares certain desirable properties with the Z-module Q of all rational numbers. Specifically, if Q is a submodule of some other module, then it is already a direct summand of that module; also, given a submodule of a module Y, then any module homomorphism from this submodule to Q can be extended to a homomorphism from all of Y to Q. This concept is dual to that of projective modules. Injective modules were introduced in and are discussed in some detail in the textbook.

In mathematics, the symmetric algebra $S (V)$ (also denoted $Sym(V))$ on a vector space $V$ over a field $K$ is a commutative algebra over $K$ that contains $V$ , and is, in some sense, minimal for this property. Here, "minimal" means that $S (V)$ satisfies the following universal property: for every linear map $f$ from $V$ to a commutative algebra $A$ , there is a unique algebra homomorphism $g : S (V) \to A$ such that $f = g \circ i$ , where $i$ is the inclusion map of $V$ in $S (V)$ .

In mathematics, the Ext functors are the derived functors of the Hom functor. Along with the Tor functor, Ext is one of the core concepts of homological algebra, in which ideas from algebraic topology are used to define invariants of algebraic structures. The cohomology of groups, Lie algebras, and associative algebras can all be defined in terms of Ext. The name comes from the fact that the first Ext group Ext¹ classifies extensions of one module by another.

In 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

In mathematics, specifically in ring theory, a torsion element is an element of a module that yields zero when multiplied by some non-zero-divisor of the ring. The torsion submodule of a module is the submodule formed by the torsion elements. A torsion module is a module that equals its torsion submodule. A module is torsion-free if its torsion submodule comprises only the zero element.

In mathematics, an algebraic number field is an extension field $of the field of rational numbers such that the field extension has finite degree . Thus is a field that contains and has finite dimension when considered as a vector space over .$

This is a glossary of commutative algebra.

References

↑ Dummit, David S.; Foote, Richard M. (2004). Abstract Algebra (3rd ed.). John Wiley & Sons. ISBN 0-471-43334-9.
↑ Lang, Serge (2002). Algebra. Graduate Texts in Mathematics. Springer. ISBN 0-387-95385-X.
↑ Roman, Steven (2008). Advanced linear algebra (3rd ed.). New York: Springer Science + Business Media. p. 117. ISBN 978-0-387-72828-5.
↑ Roman 2008 , p. 118 Theorem 4.7

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[1] Dummit, David S.; Foote, Richard M. (2004). Abstract Algebra (3rd ed.). John Wiley & Sons. ISBN 0-471-43334-9.

[2] Lang, Serge (2002). Algebra. Graduate Texts in Mathematics. Springer. ISBN 0-387-95385-X.

[3] Roman, Steven (2008). Advanced linear algebra (3rd ed.). New York: Springer Science + Business Media. p. 117. ISBN 978-0-387-72828-5.

[4] Roman 2008 , p. 118 Theorem 4.7

[1]

[2]

[3]

[4]

Quotient module

Contents

Examples

See also

Related Research Articles

References