In mathematics, the dual module of a left (respectively right) module M over a ring R is the set of left (respectively right) R-module homomorphisms from M to R with the pointwise right (respectively left) module structure.[1][2] The dual module is typically denoted M∗ or HomR(M, R).
If the base ring R is a field, then a dual module is a dual vector space.
Every module has a canonical homomorphism to the dual of its dual (called the double dual). A reflexive module is one for which the canonical homomorphism is an isomorphism. A torsionless module is one for which the canonical homomorphism is injective.
Example: If is a finite commutative group scheme represented by a Hopf algebra A over a commutative ring R, then the Cartier dual is the Spec of the dual R-module of A.
^Nicolas Bourbaki (1974). Algebra I. Springer. ISBN 9783540193739.
^Serge Lang (2002). Algebra. Springer. ISBN 978-0387953854.
mathematics, the dualmodule of a left (respectively right) module M over a ring R is the set of left (respectively right) R-module homomorphisms from...
In abstract algebra, a dualizingmodule, also called a canonical module, is a module over a commutative ring that is analogous to the canonical bundle...
A DIMM, or Dual In-Line Memory Module, is a popular type of memory module used in computers. It is a printed circuit board with one or both sides (front...
extend to modules. Yet, some useful properties of the tensor product, considered as module homomorphisms, remain. The dualmodule of a right R-module E, is...
Memory Module SIMM, a single in-line memory module DIMM, dual in-line memory module Rambus memory modules are a subset of DIMMs, but are normally referred...
In algebra, Matlis duality is a duality between Artinian and Noetherian modules over a complete Noetherian local ring. In the special case when the local...
_{R}(M,R)} is called the dualmodule of M; it is a left (resp. right) module if M is a right (resp. left) module over R with the module structure coming from...
introduce the dual space of a vector space (module) is by introducing it in a categorical sense. To do this, let A {\displaystyle A} be a module defined over...
commutative ring R. Since A is in particular a module, we can take the dualmodule A* of A. A priori, the dual A* need not have a structure of an associative...
with integrated Wi-Fi and dual-mode Bluetooth. The ESP32 series employs either a Tensilica Xtensa LX6 microprocessor in both dual-core and single-core variations...
dual notion. The most familiar examples of this construction occur when considering vector spaces (modules over a field) and abelian groups (modules over...
FlexE. The initial ACO IA is for the CFP2 module. The typical optical modulations that are used include Dual Polarization Quadrature Phase Shift Keying...
the module includes non-volatile memory, backup power is required for only a short time after the computer's main power fails, while the module copies...
CFP2 module. The typical optical modulation that are used include Dual Polarization Quadrature Phase Shift Keying (DP-QPSK) and QAM-16. These modules put...
referred to as the split-case. Given a ring R and a right R-module M and its dualmodule M∗, a mapping B : M∗ × M → R is called a bilinear form if B(u...
homomorphism from all of Y to Q. This concept is dual to that of projective modules. Injective modules were introduced in (Baer 1940) and are discussed...
one or both sides. It differs from a dual in-line memory module (DIMM), the most predominant form of memory module since the late 1990s, in that the contacts...
sheaf of O-modules or simply an O-module over a ringed space (X, O) is a sheaf F such that, for any open subset U of X, F(U) is an O(U)-module and the restriction...
dual module of a module M over a commutative ring R is the module Hom R ( M , R ) {\displaystyle \operatorname {Hom} _{R}(M,R)} . dualizingdualizing module...
program that was installed on board each Apollo command module (CM) and Apollo Lunar Module (LM). The AGC provided computation and electronic interfaces...
for rings. In many ways, it is the dual notion to that of the socle soc(M) of M. Let R be a ring and M a left R-module. A submodule N of M is called maximal...
introduced by Hyman Bass.[citation needed] A module is torsionless if and only if the canonical map into its double dual, M → M ∗ ∗ = Hom R ( M ∗ , R ) , m...
for non-ECC modules and a multiple of 9 for ECC modules. Chips can occupy one side (single sided) or both sides (dual sided) of the module. The maximal...
right Ore u.dim(DD) = 1 u.dim(DD) < ∞ The dual notion of a uniform module is that of a hollow module: a module M is said to be hollow if, when N1 and N2...