गुणांक का प्रदिश गुणनफल

गणित में, मॉड्यूल का टेंसर उत्पाद निर्माण है जो मॉड्यूल समरूपता के संदर्भ में बिलिनियर मानचित्र मानचित्रों (जैसे गुणा) के बारे में तर्क करने की अनुमति देता है। मॉड्यूल निर्माण सदिश रिक्त स्थान के टेंसर उत्पाद के निर्माण के समान है, किन्तु क्रमविनिमेय वलय पर मॉड्यूल (गणित) की जोड़ी के लिए किया जा सकता है जिसके परिणामस्वरूप तीसरा मॉड्यूल होता है, और दाएं-मॉड्यूल की जोड़ी के लिए भी किया जा सकता है और किसी भी वलय (गणित) पर बायाँ-मॉड्यूल, जिसके परिणामस्वरूप एबेलियन समूह होता है। टेन्सर उत्पाद एबस्ट्रेक्ट बीजगणित, होमोलॉजिकल बीजगणित, बीजगणितीय टोपोलॉजी, बीजगणितीय ज्यामिति, ऑपरेटर बीजगणित और गैर-अनुवांशिक ज्यामिति के क्षेत्रों में महत्वपूर्ण हैं। सदिश स्थानों के टेंसर उत्पाद की सार्वभौमिक गुण एबस्ट्रेक्ट बीजगणित में अधिक सामान्य स्थितियों तक फैली हुई है। बीजगणित और मॉड्यूल के टेंसर उत्पाद का उपयोग अदिश के विस्तार के लिए किया जा सकता है। क्रमविनिमेय वलय के लिए, मॉड्यूल के टेंसर उत्पाद को मॉड्यूल के टेंसर बीजगणित बनाने के लिए पुनरावृत्त किया जा सकता है, जिससे किसी को सार्वभौमिक विधि से मॉड्यूल में गुणन को परिभाषित करने की अनुमति मिलती है।

संतुलित उत्पाद

Main article: pairing

एक वलय आर, दाएं आर-मॉड्यूल एम, बाएं आर-मॉड्यूल एन, और एबेलियन समूह G के लिए, नक्शा φ: M × N → G को आर-संतुलित, आर-मध्य-रैखिक या आर कहा जाता है। -संतुलित उत्पाद यदि m, m′ में M, n, n′ में N और r में R के लिए निम्नलिखित धारण करें:

$${\begin{aligned}\varphi (m,n+n')&=\varphi (m,n)+\varphi (m,n')&&{\text{Dl}}_{\varphi }\\\varphi (m+m',n)&=\varphi (m,n)+\varphi (m',n)&&{\text{Dr}}_{\varphi }\\\varphi (m\cdot r,n)&=\varphi (m,r\cdot n)&&{\text{A}}_{\varphi }\\\end{aligned}}$$

M × N से जी तक R पर ऐसे सभी संतुलित उत्पादों का सेट L_R(M, N; G) द्वारा दर्शाया गया है।

यदि φ, ψ संतुलित उत्पाद हैं, तो बिंदुवार परिभाषित प्रत्येक ऑपरेशन φ + ψ और −φ संतुलित उत्पाद है। यह समुच्चय L_R(M, N; G) को एबेलियन समूह में बदल देता है।

M और N के लिए, मानचित्र G ↦ L_R(M, N; G) अपने आप में एबेलियन समूहों की श्रेणी से कारक है। रूपवाद भाग समूह समरूपता g : G → G′ को फ़ंक्शन φ ↦ g ∘ φ में मैप करके दिया जाता है, जो L_R(M, N; G) से L_R(M, N; G′) तक जाता है।

टिप्पणी

1. गुण (Dl) और (Dr) φ की द्विअद्वितीयता को व्यक्त करते हैं, जिसे योग पर φ की वितरणशीलता के रूप में माना जा सकता है।
2. गुण (a) φ के कुछ साहचर्य गुण से मिलती जुलती है।
3. प्रत्येक वलय R R-बिमॉड्यूल है। तो वलय गुणन (r, r′) ↦ r ⋅ r′ R में R-संतुलित उत्पाद R × R → R.है

परिभाषा

वलय R के लिए, दाएं R -मॉड्यूल M, बाएं R -मॉड्यूल N, R पर 'टेंसर उत्पाद है

$$M\otimes _{R}N$$

एक संतुलित उत्पाद के साथ एबेलियन समूह है (जैसा कि ऊपर परिभाषित किया गया है)

$$\otimes :M\times N\to M\otimes _{R}N$$

जो निम्नलिखित अर्थों में सार्वभौमिक गुण है:

:प्रत्येक एबेलियन समूह जी और प्रत्येक संतुलित उत्पाद के लिए

$$f:M\times N\to G$$

एक अद्वितीय समूह समरूपता है

$${\tilde {f}}:M\otimes _{R}N\to G$$

ऐसा है कि

$${\tilde {f}}\circ \otimes =f.$$

सभी सार्वभौमिक गुण #अस्तित्व और विशिष्टता की तरह, उपरोक्त गुण अद्वितीय समरूपता तक टेंसर उत्पाद को विशिष्ट रूप से परिभाषित करती है: समान गुणों वाला कोई भी अन्य एबेलियन समूह और संतुलित उत्पाद समरूपी होगा M ⊗_R N और ⊗. दरअसल, मैपिंग ⊗ को कैनोनिकल कहा जाता है, या अधिक स्पष्ट रूप से: टेंसर उत्पाद का कैनोनिकल मैपिंग (या संतुलित उत्पाद)। परिभाषा के अस्तित्व को सिद्ध नहीं करती M ⊗_R N; निर्माण के लिए नीचे देखें.

टेंसर उत्पाद को फ़नकार के लिए प्रतिनिधित्व योग्य फ़नकार के रूप में भी परिभाषित किया जा सकता है G → L_R(M,N;G); स्पष्ट रूप से, इसका मतलब है कि प्राकृतिक समरूपता है:

$${\begin{cases}\operatorname {Hom} _{\mathbb {Z} }(M\otimes _{R}N,G)\simeq \operatorname {L} _{R}(M,N;G)\\g\mapsto g\circ \otimes \end{cases}}$$

यह ऊपर दी गई सार्वभौमिक मानचित्रण गुण को बताने का संक्षिप्त तरीका है। (यदि किसी प्राथमिकता को यह प्राकृतिक समरूपता दी गई है, तो $\otimes$ लेकर पुनः प्राप्त किया जा सकता है $G=M\otimes _{R}N$ और फिर पहचान मानचित्र मैप करना।)

इसी प्रकार, प्राकृतिक पहचान दी गई है $\operatorname {L} _{R}(M,N;G)=\operatorname {Hom} _{R}(M,\operatorname {Hom} _{\mathbb {Z} }(N,G))$ , कोई परिभाषित भी कर सकता है M ⊗_R N सूत्र द्वारा

$$\operatorname {Hom} _{\mathbb {Z} }(M\otimes _{R}N,G)\simeq \operatorname {Hom} _{R}(M,\operatorname {Hom} _{\mathbb {Z} }(N,G)).$$

इसे टेंसर-होम एडजंक्शन के रूप में जाना जाता है; यह सभी देखें § Properties.

एम में प्रत्येक एक्स, एन में वाई के लिए, लिखता है

x ⊗ y

विहित मानचित्र के अंतर्गत (x, y) की छवि के लिए $\otimes :M\times N\to M\otimes _{R}N$. इसे अक्सर शुद्ध टेंसर कहा जाता है। कड़ाई से बोलते हुए, सही संकेतन x ⊗ होगा_R y किन्तु यहां R को छोड़ना पारंपरिक है। फिर, परिभाषा से तुरंत, संबंध हैं:

x ⊗ (y + y′) = x ⊗ y + x ⊗ y′	(Dl⊗)
(x + x′) ⊗ y = x ⊗ y + x′ ⊗ y	(Dr⊗)
(x ⋅ r) ⊗ y = x ⊗ (r ⋅ y)	(A⊗)

टेंसर उत्पाद की सार्वभौमिक गुण के निम्नलिखित महत्वपूर्ण परिणाम होते हैं:

Proposition — Every element of $M\otimes _{R}N$ can be written, non-uniquely, as

$$\sum _{i}x_{i}\otimes y_{i},\,x_{i}\in M,y_{i}\in N.$$

In other words, the image of $\otimes$ generates $M\otimes _{R}N$. Furthermore, if f is a function defined on elements $x\otimes y$ with values in an abelian group G, then f extends uniquely to the homomorphism defined on the whole $M\otimes _{R}N$ if and only if $f(x\otimes y)$ is $\mathbb {Z}$-bilinear in x and y.

प्रमाण: पहले कथन के लिए, मान लीजिए कि L का उपसमूह है $M\otimes _{R}N$ प्रश्नगत प्रपत्र के तत्वों द्वारा उत्पन्न, $Q=(M\otimes _{R}N)/L$ और q, Q का भागफल मानचित्र है। हमारे पास है: $0=q\circ \otimes$ साथ ही $0=0\circ \otimes$. इसलिए, सार्वभौमिक गुण के विशिष्टता भाग द्वारा, q = 0. दूसरा कथन यह है कि मॉड्यूल समरूपता को परिभाषित करने के लिए, इसे मॉड्यूल के जेनरेटिंग सेट पर परिभाषित करना पर्याप्त है। $\square$

टेंसर उत्पादों की सार्वभौमिक गुण का अनुप्रयोग

यह निर्धारित करना कि मॉड्यूल का टेंसर उत्पाद शून्य है

व्यवहार में, कभी-कभी यह दिखाना अधिक कठिन होता है कि आर-मॉड्यूल का टेंसर उत्पाद $M\otimes _{R}N$ यह दिखाने के लिए कि यह शून्य नहीं है, यह 0 है। सार्वभौमिक गुण इसे जाँचने का सुविधाजनक तरीका देता है।

यह जाँचने के लिए कि टेंसर उत्पाद $M\otimes _{R}N$ शून्येतर है, तो कोई आर-बिलिनियर मानचित्र का निर्माण कर सकता है $f:M\times N\rightarrow G$ एबेलियन समूह के लिए $G$ ऐसा है कि $f(m,n)\neq 0$. इस काम की वजह से $m\otimes n=0$, तब $f(m,n)={\bar {f}}(m\otimes n)={\bar {(f)}}(0)=0$.

उदाहरण के लिए, उसे देखने के लिए $\mathbb {Z} /p\mathbb {Z} \otimes _{Z}\mathbb {Z} /p\mathbb {Z}$, शून्येतर है, लीजिए $G$ होना $\mathbb {Z} /p\mathbb {Z}$ और $(m,n)\mapsto mn$. यह कहता है कि शुद्ध टेंसर $m\otimes n\neq 0$ जब तक कि $mn$ में शून्येतर है $\mathbb {Z} /p\mathbb {Z}$.

समतुल्य मॉड्यूल के लिए

प्रस्ताव कहता है कि कोई भी हर बार सीधे सार्वभौमिक गुण का आह्वान करने के बजाय टेंसर उत्पादों के स्पष्ट तत्वों के साथ काम कर सकता है। यह व्यवहार में बहुत सुविधाजनक है. उदाहरण के लिए, यदि R क्रमविनिमेय है और मॉड्यूल पर R द्वारा बाएँ और दाएँ कार्यों को समतुल्य माना जाता है $M\otimes _{R}N$ स्वाभाविक रूप से विस्तार करके आर-स्केलर गुणन से सुसज्जित किया जा सकता है

$$r\cdot (x\otimes y):=(r\cdot x)\otimes y=x\otimes (r\cdot y)$$

संपूर्ण को $M\otimes _{R}N$ पिछले प्रस्ताव के अनुसार (सख्ती से कहें तो, जो आवश्यक है वह द्विमॉड्यूल संरचना है न कि कम्यूटेटिविटी; नीचे पैराग्राफ देखें)। इस आर-मॉड्यूल संरचना से सुसज्जित, $M\otimes _{R}N$ उपरोक्त के समान सार्वभौमिक गुण को संतुष्ट करता है: किसी भी आर-मॉड्यूल जी के लिए, प्राकृतिक समरूपता है:

$${\begin{cases}\operatorname {Hom} _{R}(M\otimes _{R}N,G)\simeq \{R{\text{-bilinear maps }}M\times N\to G\},\\g\mapsto g\circ \otimes \end{cases}}$$

यदि R आवश्यक रूप से क्रमविनिमेय नहीं है, किन्तु यदि M के पास वलय S (उदाहरण के लिए, R) द्वारा बायीं ओर क्रिया है, तो $M\otimes _{R}N$ ऊपर की तरह, सूत्र द्वारा बाईं एस-मॉड्यूल संरचना दी जा सकती है

$$s\cdot (x\otimes y):=(s\cdot x)\otimes y.$$

अनुरूप रूप से, यदि एन की वलय एस द्वारा सही कार्रवाई होती है, तो $M\otimes _{R}N$ सही एस-मॉड्यूल बन जाता है।

रैखिक मानचित्रों का टेंसर उत्पाद और बेस वलय का परिवर्तन

रेखीय मानचित्र दिए गए $f:M\to M'$ वलय आर पर सही मॉड्यूल की और $g:N\to N'$ बाएँ मॉड्यूल में, अद्वितीय समूह समरूपता है

$${\begin{cases}f\otimes g:M\otimes _{R}N\to M'\otimes _{R}N'\\x\otimes y\mapsto f(x)\otimes g(y)\end{cases}}$$

निर्माण का परिणाम यह है कि टेंसरिंग फ़नकार है: प्रत्येक सही आर-मॉड्यूल एम फ़नकार को निर्धारित करता है

$$M\otimes _{R}-:R{\text{-Mod}}\longrightarrow {\text{Ab}}$$

मॉड्यूल की श्रेणी से लेकर एबेलियन समूहों की श्रेणी तक जो एन को भेजता है M ⊗ N और समूह समरूपता के लिए मॉड्यूल समरूपता एफ 1 ⊗ f. अगर $f:R\to S$ वलय समरूपता है और यदि एम दायां एस-मॉड्यूल है और एन बायां एस-मॉड्यूल है, तो विहित विशेषण समरूपता है:

$$M\otimes _{R}N\to M\otimes _{S}N$$

प्रेरक

$$M\times N{\overset {\otimes _{S}}{\longrightarrow }}M\otimes _{S}N.$$
 परिणामी नक्शा शुद्ध टेंसर के बाद से विशेषण है x ⊗ y संपूर्ण मॉड्यूल उत्पन्न करें। विशेष रूप से, R को मानते हुए $\mathbb {Z}$ इससे पता चलता है कि मॉड्यूल का प्रत्येक टेंसर उत्पाद एबेलियन समूहों के टेंसर उत्पाद का भागफल है।

See also: Tensor product § Tensor product of linear maps

कई मॉड्यूल

(इस अनुभाग को अद्यतन करने की आवश्यकता है। अभी के लिए, देखें § Properties अधिक सामान्य चर्चा के लिए।)

एक ही क्रमविनिमेय वलय पर किसी भी संख्या में मॉड्यूल के टेंसर उत्पाद तक परिभाषा का विस्तार करना संभव है। उदाहरण के लिए, की सार्वभौमिक गुण

M₁ ⊗ M₂ ⊗ M₃

क्या वह प्रत्येक त्रिरेखीय मानचित्र पर है

M₁ × M₂ × M₃ → Z

एक अद्वितीय रेखीय मानचित्र से मेल खाता है

M₁ ⊗ M₂ ⊗ M₃ → Z.

बाइनरी टेंसर उत्पाद साहचर्य है: (एम₁ ⊗ एम₂) ⊗ एम₃ एम के लिए स्वाभाविक रूप से आइसोमोर्फिक है₁ ⊗ (एम₂ ⊗ एम₃). त्रिरेखीय मानचित्रों की सार्वभौमिक गुण द्वारा परिभाषित तीन मॉड्यूल का टेंसर उत्पाद इन दोनों पुनरावृत्त टेंसर उत्पादों के लिए आइसोमोर्फिक है।

गुण

सामान्य रिंगों पर मॉड्यूल

चलो आर₁, आर₂, आर₃, R वलय हो, आवश्यक नहीं कि क्रमविनिमेय हो।

• आर के लिए₁-आर₂-बिमॉड्यूल एम₁₂ और बायां आर₂-मॉड्यूल एम₂₀, $M_{12}\otimes _{R_{2}}M_{20}$ बायाँ R है₁-मापांक।
• एक सही आर के लिए₂-मॉड्यूल एम₀₂ और आर₂-आर₃-बिमॉड्यूल एम₂₃, $M_{02}\otimes _{R_{2}}M_{23}$ सही आर है₃-मापांक।
• (साहचर्य) सही आर के लिए₁-मॉड्यूल एम₀₁, आर₁-आर₂-बिमॉड्यूल एम₁₂, और बायां आर₂-मॉड्यूल एम₂₀ हमारे पास है:
  $$\left(M_{01}\otimes _{R_{1}}M_{12}\right)\otimes _{R_{2}}M_{20}=M_{01}\otimes _{R_{1}}\left(M_{12}\otimes _{R_{2}}M_{20}\right).$$
• चूँकि R R-R-बिमॉड्यूल है, हमारे पास है $R\otimes _{R}R=R$ वलय गुणन के साथ $mn=:m\otimes _{R}n$ इसके विहित संतुलित उत्पाद के रूप में।

क्रमविनिमेय वलय पर मॉड्यूल

मान लीजिए R क्रमविनिमेय वलय है, और M, N और P R-मॉड्यूल हैं। तब

पहचान

$$R\otimes _{R}M=M.$$

साहचर्य

$$(M\otimes _{R}N)\otimes _{R}P=M\otimes _{R}(N\otimes _{R}P).$$

पहले तीन गुण (आकारवाद पर प्लस पहचान) कहते हैं कि आर-मॉड्यूल की श्रेणी, आर कम्यूटेटिव के साथ, सममित मोनोइडल श्रेणी बनाती है। इस प्रकार $M\otimes _{R}N\otimes _{R}P$ अच्छी तरह से परिभाषित है.

समरूपता

$$M\otimes _{R}N=N\otimes _{R}M.$$

वास्तव में, सेट {1, ..., n} के किसी भी क्रमपरिवर्तन σ के लिए, अद्वितीय समरूपता है:

$${\begin{cases}M_{1}\otimes _{R}\cdots \otimes _{R}M_{n}\longrightarrow M_{\sigma (1)}\otimes _{R}\cdots \otimes _{R}M_{\sigma (n)}\\x_{1}\otimes \cdots \otimes x_{n}\longmapsto x_{\sigma (1)}\otimes \cdots \otimes x_{\sigma (n)}\end{cases}}$$

प्रत्यक्ष राशियों पर वितरण

$$M\otimes _{R}(N\oplus P)=(M\otimes _{R}N)\oplus (M\otimes _{R}P).$$

वास्तव में,

$$M\otimes _{R}\left(\bigoplus \nolimits _{i\in I}N_{i}\right)=\bigoplus \nolimits _{i\in I}\left(M\otimes _{R}N_{i}\right),$$

मनमानी प्रमुखता के सूचकांक सेट I के लिए। चूँकि परिमित उत्पाद परिमित प्रत्यक्ष योगों से मेल खाते हैं, इसका अर्थ यह है:

• परिमित उत्पादों पर वितरण

  किसी भी परिमित अनेक के लिए $N_{i}$,

  $$M\otimes _{R}\prod _{i=1}^{n}N_{i}=\prod _{i=1}^{n}M\otimes _{R}N_{i}.$$

आधार विस्तार

यदि S R-बीजगणित है, तो लेखन $-_{S}=S\otimes _{R}-$,

$$(M\otimes _{R}N)_{S}=M_{S}\otimes _{S}N_{S};$$

सी एफ § Extension of scalars. परिणाम यह है:

• एक मॉड्यूल के स्थानीयकरण पर वितरण

  आर के किसी भी गुणात्मक रूप से बंद उपसमुच्चय एस के लिए,

  $$S^{-1}(M\otimes _{R}N)=S^{-1}M\otimes _{S^{-1}R}S^{-1}N$$

  के रूप में $S^{-1}R$-मापांक। तब से $S^{-1}R$ आर-बीजगणित है और $S^{-1}-=S^{-1}R\otimes _{R}-$, यह विशेष मामला है:

प्रत्यक्ष सीमा के साथ रूपान्तरण

आर-मॉड्यूल एम की किसी भी प्रत्यक्ष प्रणाली के लिए_i,

$$(\varinjlim M_{i})\otimes _{R}N=\varinjlim (M_{i}\otimes _{R}N).$$

टेंसर-होम एडजंक्शन

$$\operatorname {Hom} _{R}(M\otimes _{R}N,P)=\operatorname {Hom} _{R}(M,\operatorname {Hom} _{R}(N,P)){\text{.}}$$

परिणाम यह है:

• सही-सटीकता

  यदि

  $$0\to N'{\overset {f}{\to }}N{\overset {g}{\to }}N''\to 0$$

  तो, आर-मॉड्यूल का सटीक अनुक्रम है

  $$M\otimes _{R}N'{\overset {1\otimes f}{\to }}M\otimes _{R}N{\overset {1\otimes g}{\to }}M\otimes _{R}N''\to 0$$

  आर-मॉड्यूल का सटीक अनुक्रम है, जहां $(1\otimes f)(x\otimes y)=x\otimes f(y).$ ; टेन्सर-होम संबंध: विहित आर-रेखीय मानचित्र है:

  $$\operatorname {Hom} _{R}(M,N)\otimes P\to \operatorname {Hom} _{R}(M,N\otimes P),$$

  जो समरूपता है यदि एम या पी अंतिम रूप से उत्पन्न प्रक्षेप्य मॉड्यूल है (देखें)। § As linearity-preserving maps गैर-कम्यूटेटिव मामले के लिए); अधिक सामान्यतः, विहित आर-रैखिक मानचित्र है:

  $$\operatorname {Hom} _{R}(M,N)\otimes \operatorname {Hom} _{R}(M',N')\to \operatorname {Hom} _{R}(M\otimes M',N\otimes N')$$

  जो कि समरूपता है यदि दोनों में से कोई है $(M,N)$ या $(M,M')$ परिमित रूप से उत्पन्न प्रोजेक्टिव मॉड्यूल की जोड़ी है।

एक व्यावहारिक उदाहरण देने के लिए, मान लीजिए कि एम, एन आधार के साथ मुक्त मॉड्यूल हैं $e_{i},i\in I$ और $f_{j},j\in J$. तब M मॉड्यूल का सीधा योग है $M=\bigoplus _{i\in I}Re_{i}$ और एन के लिए भी यही बात वितरणात्मक गुण के अनुसार, किसी के पास है:

$$M\otimes _{R}N=\bigoplus _{i,j}R(e_{i}\otimes f_{j});$$

अर्थात।, $e_{i}\otimes f_{j},\,i\in I,j\in J$ के आर-आधार हैं $M\otimes _{R}N$. भले ही एम मुफ़्त नहीं है, एम की मुफ़्त प्रस्तुति का उपयोग टेंसर उत्पादों की गणना के लिए किया जा सकता है।

टेंसर उत्पाद, सामान्य तौर पर, व्युत्क्रम सीमा के साथ आवागमन नहीं करता है: ओर,

$$\mathbb {Q} \otimes _{\mathbb {Z} }\mathbb {Z} /p^{n}=0$$

(सीएफ. उदाहरण ). वहीं दूसरी ओर,

$$\left(\varprojlim \mathbb {Z} /p^{n}\right)\otimes _{\mathbb {Z} }\mathbb {Q} =\mathbb {Z} _{p}\otimes _{\mathbb {Z} }\mathbb {Q} =\mathbb {Z} _{p}\left[p^{-1}\right]=\mathbb {Q} _{p}$$

कहाँ $\mathbb {Z} _{p},\mathbb {Q} _{p}$ पी-एडिक पूर्णांकों का वलय और पी-एडिक संख्याओं का क्षेत्र हैं। समान भावना में उदाहरण के लिए अनंत पूर्णांक भी देखें।

यदि R क्रमविनिमेय नहीं है, तो टेंसर उत्पादों का क्रम निम्नलिखित विधि से मायने रख सकता है: हम टेंसर उत्पाद बनाने के लिए M की दाईं क्रिया और N की बाईं क्रिया का उपयोग करते हैं। $M\otimes _{R}N$; विशेष रूप से, $N\otimes _{R}M$ परिभाषित भी नहीं किया जाएगा. यदि एम, एन द्वि-मॉड्यूल हैं, तो $M\otimes _{R}N$ बाईं क्रिया M की बाईं क्रिया से आ रही है और दाहिनी क्रिया N की दाईं क्रिया से आ रही है; उन क्रियाओं का बाएँ और दाएँ कार्यों के समान होना आवश्यक नहीं है $N\otimes _{R}M$.

साहचर्यता गैर-कम्यूटेटिव रिंगों के लिए अधिक सामान्यतः लागू होती है: यदि एम दायां आर-मॉड्यूल है, एन ए (आर, एस)-मॉड्यूल और पी बायां एस-मॉड्यूल है, तो

$$(M\otimes _{R}N)\otimes _{S}P=M\otimes _{R}(N\otimes _{S}P)$$

एबेलियन समूह के रूप में।

टेंसर उत्पादों के सहायक संबंध का सामान्य रूप कहता है: यदि R आवश्यक रूप से क्रमविनिमेय नहीं है, M सही R-मॉड्यूल है, N (R, S)-मॉड्यूल है, P सही S-मॉड्यूल है, तो एबेलियन समूह के रूप में

$$\operatorname {Hom} _{S}(M\otimes _{R}N,P)=\operatorname {Hom} _{R}(M,\operatorname {Hom} _{S}(N,P)),\,f\mapsto f'$$

कहाँ $f'$ द्वारा दिया गया है $f'(x)(y)=f(x\otimes y).$

See also: Tensor-hom adjunction

अंश क्षेत्र के साथ आर-मॉड्यूल का टेंसर उत्पाद

मान लीजिए कि R, भिन्न K के क्षेत्र के साथ अभिन्न डोमेन है।

• किसी भी आर-मॉड्यूल एम के लिए, $K\otimes _{R}M\cong K\otimes _{R}(M/M_{\operatorname {tor} })$ आर-मॉड्यूल के रूप में, जहां $M_{\operatorname {tor} }$ एम का मरोड़ उपमॉड्यूल है।
• यदि एम मरोड़ आर-मॉड्यूल है तो $K\otimes _{R}M=0$ और यदि एम मरोड़ मॉड्यूल नहीं है तो $K\otimes _{R}M\neq 0$.
• यदि N, M का सबमॉड्यूल है जैसे कि $M/N$ तो फिर मरोड़ मॉड्यूल है $K\otimes _{R}N\cong K\otimes _{R}M$ आर-मॉड्यूल के रूप में $x\otimes n\mapsto x\otimes n$.
• में $K\otimes _{R}M$, $x\otimes m=0$ अगर और केवल अगर $x=0$ या $m\in M_{\operatorname {tor} }$. विशेष रूप से, $M_{\operatorname {tor} }=\operatorname {ker} (M\to K\otimes _{R}M)$ कहाँ $m\mapsto 1\otimes m$.
• $K\otimes _{R}M\cong M_{(0)}$ कहाँ $M_{(0)}$ मॉड्यूल का स्थानीयकरण है $M$ प्रमुख आदर्श पर $(0)$ (यानी, गैर-शून्य तत्वों के संबंध में स्थानीयकरण)।

अदिशों का विस्तार

Main article: Extension of scalars

See also: Weil restriction

सामान्य रूप में संयुक्त संबंध में महत्वपूर्ण विशेष मामला है: किसी भी आर-बीजगणित एस के लिए, एम सही आर-मॉड्यूल, पी सही एस-मॉड्यूल, का उपयोग कर $\operatorname {Hom} _{S}(S,-)=-$, हमारे पास प्राकृतिक समरूपता है:

$$\operatorname {Hom} _{S}(M\otimes _{R}S,P)=\operatorname {Hom} _{R}(M,\operatorname {Res} _{R}(P)).$$

यह कहता है कि फनकार $-\otimes _{R}S$ भुलक्कड़ फ़नकार का बायां जोड़ है $\operatorname {Res} _{R}$, जो S-क्रिया को R-क्रिया तक सीमित करता है। इसके कारण, $-\otimes _{R}S$ इसे अक्सर R से S तक अदिशों का विस्तार कहा जाता है। प्रतिनिधित्व सिद्धांत में, जब R, S समूह बीजगणित होते हैं, तो उपरोक्त संबंध फ्रोबेनियस पारस्परिकता बन जाता है।

उदाहरण

• $R^{n}\otimes _{R}S=S^{n},$ किसी भी आर-बीजगणित एस के लिए (यानी, स्केलर का विस्तार करने के बाद मुक्त मॉड्यूल मुक्त रहता है।)
• एक क्रमविनिमेय वलय के लिए $R$ और क्रमविनिमेय आर-बीजगणित एस, हमारे पास है:
  $$S\otimes _{R}R[x_{1},\dots ,x_{n}]=S[x_{1},\dots ,x_{n}];$$
  वास्तव में, अधिक सामान्यतः,
  $$S\otimes _{R}(R[x_{1},\dots ,x_{n}]/I)=S[x_{1},\dots ,x_{n}]/IS[x_{1},\dots ,x_{n}],$$
  कहाँ $I$ आदर्श है.
• उपयोग करना $\mathbb {C} =\mathbb {R} [x]/(x^{2}+1),$ पिछला उदाहरण और चीनी शेषफल प्रमेय, हमारे पास छल्ले के रूप में हैं
  $$\mathbb {C} \otimes _{\mathbb {R} }\mathbb {C} =\mathbb {C} [x]/(x^{2}+1)=\mathbb {C} [x]/(x+i)\times \mathbb {C} [x]/(x-i)=\mathbb {C} ^{2}.$$
  यह उदाहरण देता है जब टेंसर उत्पाद प्रत्यक्ष उत्पाद होता है।
• $\mathbb {R} \otimes _{\mathbb {Z} }\mathbb {Z} [i]=\mathbb {R} [i]=\mathbb {C} .$

उदाहरण

बिल्कुल सामान्य मॉड्यूल के टेंसर उत्पाद की संरचना अप्रत्याशित हो सकती है।

मान लीजिए G एबेलियन समूह है जिसमें प्रत्येक तत्व का क्रम सीमित है (अर्थात् G मरोड़ वाला एबेलियन समूह है; उदाहरण के लिए G परिमित एबेलियन समूह हो सकता है या $\mathbb {Q} /\mathbb {Z}$). तब:

$$\mathbb {Q} \otimes _{\mathbb {Z} }G=0.$$

वास्तव में, कोई भी $x\in \mathbb {Q} \otimes _{\mathbb {Z} }G$ स्वरूप का है

$$x=\sum _{i}r_{i}\otimes g_{i},\qquad r_{i}\in \mathbb {Q} ,g_{i}\in G.$$

अगर $n_{i}$ का क्रम है $g_{i}$, तो हम गणना करते हैं:

$$x=\sum (r_{i}/n_{i})n_{i}\otimes g_{i}=\sum r_{i}/n_{i}\otimes n_{i}g_{i}=0.$$

वैसे ही कोई देखता है

$$\mathbb {Q} /\mathbb {Z} \otimes _{\mathbb {Z} }\mathbb {Q} /\mathbb {Z} =0.$$

यहां गणना के लिए उपयोगी कुछ पहचान दी गई हैं: मान लीजिए कि R क्रमविनिमेय वलय है, I, J आदर्श, M, N R-मॉड्यूल हैं। तब

1. $R/I\otimes _{R}M=M/IM$. यदि एम फ्लैट मॉड्यूल है, $IM=I\otimes _{R}M$.
2. $M/IM\otimes _{R/I}N/IN=M\otimes _{R}N\otimes _{R}R/I$ (क्योंकि टेंसरिंग बेस एक्सटेंशन के साथ चलती है)
3. $R/I\otimes _{R}R/J=R/(I+J)$.

उदाहरण: यदि जी एबेलियन समूह है, $G\otimes _{\mathbb {Z} }\mathbb {Z} /n=G/nG$; यह 1 से अनुसरण करता है।

उदाहरण: $\mathbb {Z} /n\otimes _{\mathbb {Z} }\mathbb {Z} /m=\mathbb {Z} /{\gcd(n,m)}$; यह 3 से अनुसरण करता है। विशेष रूप से, विशिष्ट अभाज्य संख्याओं के लिए p, q,

$$\mathbb {Z} /p\mathbb {Z} \otimes \mathbb {Z} /q\mathbb {Z} =0.$$

समूहों के तत्वों के क्रम को नियंत्रित करने के लिए टेंसर उत्पादों को लागू किया जा सकता है। मान लीजिए G एबेलियन समूह है। फिर 2 इंच के गुणज

$$G\otimes \mathbb {Z} /2\mathbb {Z}$$

शून्य हैं.

उदाहरण: चलो $\mu _{n}$ एकता की n-वीं जड़ों का समूह बनें। यह चक्रीय समूह है और चक्रीय समूहों को क्रम के अनुसार वर्गीकृत किया जाता है। इस प्रकार, गैर-विहित रूप से, $\mu _{n}\approx \mathbb {Z} /n$ और इस प्रकार, जब g, n और m की gcd है,

$$\mu _{n}\otimes _{\mathbb {Z} }\mu _{m}\approx \mu _{g}.$$

उदाहरण: विचार करें $\mathbb {Q} \otimes _{\mathbb {Z} }\mathbb {Q} .$ तब से $\mathbb {Q} \otimes _{\mathbb {Q} }\mathbb {Q}$ से प्राप्त किया जाता है $\mathbb {Q} \otimes _{\mathbb {Z} }\mathbb {Q}$ थोप कर $\mathbb {Q}$-मध्य पर रैखिकता, हमारे पास अनुमान है

$$\mathbb {Q} \otimes _{\mathbb {Z} }\mathbb {Q} \to \mathbb {Q} \otimes _{\mathbb {Q} }\mathbb {Q}$$

जिसका कर्नेल प्रपत्र के तत्वों द्वारा उत्पन्न होता है ${r \over s}x\otimes y-x\otimes {r \over s}y$ जहाँ r, s, x, u पूर्णांक हैं और s अशून्य है। तब से

$${r \over s}x\otimes y={r \over s}x\otimes {s \over s}y=x\otimes {r \over s}y,$$

कर्नेल वास्तव में गायब हो जाता है; इस तरह, $\mathbb {Q} \otimes _{\mathbb {Z} }\mathbb {Q} =\mathbb {Q} \otimes _{\mathbb {Q} }\mathbb {Q} =\mathbb {Q} .$ हालाँकि, विचार करें $\mathbb {C} \otimes _{\mathbb {R} }\mathbb {C}$ और $\mathbb {C} \otimes _{\mathbb {C} }\mathbb {C}$. जैसा $\mathbb {R}$-सदिश स्थल, $\mathbb {C} \otimes _{\mathbb {R} }\mathbb {C}$ आयाम 4 है, किन्तु $\mathbb {C} \otimes _{\mathbb {C} }\mathbb {C}$ आयाम 2 है.

इस प्रकार, $\mathbb {C} \otimes _{\mathbb {R} }\mathbb {C}$ और $\mathbb {C} \otimes _{\mathbb {C} }\mathbb {C}$ समरूपी नहीं हैं.

उदाहरण: हम तुलना करने का प्रस्ताव करते हैं $\mathbb {R} \otimes _{\mathbb {Z} }\mathbb {R}$ और $\mathbb {R} \otimes _{\mathbb {R} }\mathbb {R}$. पिछले उदाहरण की तरह, हमारे पास है: $\mathbb {R} \otimes _{\mathbb {Z} }\mathbb {R} =\mathbb {R} \otimes _{\mathbb {Q} }\mathbb {R}$ एबेलियन समूह के रूप में और इस प्रकार $\mathbb {Q}$-सदिश स्पेस (कोई भी) $\mathbb {Z}$-के बीच रेखीय मानचित्र $\mathbb {Q}$-सदिश रिक्त स्थान है $\mathbb {Q}$-रेखीय). जैसा $\mathbb {Q}$-सदिश स्थल, $\mathbb {R}$ सातत्य की कार्डिनैलिटी का आयाम (आधार की कार्डिनैलिटी) है। इस तरह, $\mathbb {R} \otimes _{\mathbb {Q} }\mathbb {R}$ $\mathbb {Q}$-सातत्य के उत्पाद द्वारा अनुक्रमित आधार; इस प्रकार यह $\mathbb {Q}$-आयाम सातत्य है. इसलिए, आयाम कारण के लिए, गैर-विहित समरूपता है $\mathbb {Q}$-सदिश रिक्त स्थान:

$$\mathbb {R} \otimes _{\mathbb {Z} }\mathbb {R} \approx \mathbb {R} \otimes _{\mathbb {R} }\mathbb {R} .$$

मॉड्यूल पर विचार करें $M=\mathbb {C} [x,y,z]/(f),N=\mathbb {C} [x,y,z]/(g)$ के लिए $f,g\in \mathbb {C} [x,y,z]$ अघुलनशील बहुपद जैसे कि $\gcd(f,g)=1.$ तब,

$${\frac {\mathbb {C} [x,y,z]}{(f)}}\otimes _{\mathbb {C} [x,y,z]}{\frac {\mathbb {C} [x,y,z]}{(g)}}\cong {\frac {\mathbb {C} [x,y,z]}{(f,g)}}$$

उदाहरणों का और उपयोगी परिवार अदिश परिवर्तन से आता है। नोटिस जो

$${\frac {\mathbb {Z} [x_{1},\ldots ,x_{n}]}{(f_{1},\ldots ,f_{k})}}\otimes _{\mathbb {Z} }R\cong {\frac {R[x_{1},\ldots ,x_{n}]}{(f_{1},\ldots ,f_{k})}}$$

इस घटना के अच्छे उदाहरण कब देखने लायक हैं $R=\mathbb {Q} ,\mathbb {C} ,\mathbb {Z} /(p^{k}),\mathbb {Z} _{p},\mathbb {Q} _{p}.$

निर्माण

का निर्माण M ⊗ N प्रतीकों के आधार पर मुक्त एबेलियन समूह का भागफल लेता है m ∗ n, यहां ऑर्डर किए गए जोड़े को दर्शाने के लिए उपयोग किया जाता है (m, n), फॉर्म के सभी तत्वों द्वारा उत्पन्न उपसमूह द्वारा एम में एम और एन में एन के लिए

1. −m * (n + n′) + m * n + m * n′
2. −(एम + एम′) * एन + एम * एन + एम′ * एन
3. (एम · आर) * एन - एम * (आर · एन)

जहां एम में एम, एम', एन में एन, एन' और आर में आर। भागफल मानचित्र जो लेता है m ∗ n = (m, n) युक्त कोसेट के लिए m ∗ n; वह है,

$$\otimes :M\times N\to M\otimes _{R}N,\,(m,n)\mapsto [m*n]$$

संतुलित है, और उपसमूह को न्यूनतम रूप से चुना गया है ताकि यह मानचित्र संतुलित हो। ⊗ का सार्वभौमिक गुण मुक्त एबेलियन समूह और भागफल के सार्वभौमिक गुणों से अनुसरण करता है।

यदि S, वलय R का उप-वलय है, तो $M\otimes _{R}N$ का भागफल समूह है $M\otimes _{S}N$ द्वारा उत्पन्न उपसमूह द्वारा $xr\otimes _{S}y-x\otimes _{S}ry,\,r\in R,x\in M,y\in N$, कहाँ $x\otimes _{S}y$ की छवि है $(x,y)$ अंतर्गत $\otimes :M\times N\to M\otimes _{S}N.$ विशेष रूप से, आर-मॉड्यूल के किसी भी टेंसर उत्पाद का निर्माण, यदि वांछित हो, आर-संतुलित उत्पाद गुण को लागू करके एबेलियन समूहों के टेंसर उत्पाद के भागफल के रूप में किया जा सकता है।

अधिक श्रेणी-सैद्धांतिक रूप से, मान लीजिए कि M पर R की दी गई सही क्रिया σ है; यानी, σ(m, r) = m · r और τ N के R की बाईं क्रिया। फिर, बशर्ते कि एबेलियन समूहों का टेंसर उत्पाद पहले से ही परिभाषित हो, R पर M और N के टेंसर उत्पाद को सहतुल्यकारक के रूप में परिभाषित किया जा सकता है :

$$M\otimes R\otimes N{{{} \atop {\overset {\sigma \times 1}{\to }}} \atop {{\underset {1\times \tau }{\to }} \atop {}}}M\otimes N\to M\otimes _{R}N$$

कहाँ $\otimes$ बिना सबस्क्रिप्ट के एबेलियन समूहों के टेंसर उत्पाद को संदर्भित करता है।

एक क्रमविनिमेय वलय आर पर टेंसर उत्पाद के निर्माण में, सामान्य निर्माण के लिए ऊपर दिए गए तत्वों द्वारा उत्पन्न सबमॉड्यूल द्वारा मुक्त आर-मॉड्यूल के भागफल का निर्माण करके आर-मॉड्यूल संरचना को शुरू से ही बनाया जा सकता है। तत्वों द्वारा r ⋅ (m ∗ n) − m ∗ (r ⋅ n). वैकल्पिक रूप से, स्केलर क्रिया को परिभाषित करके सामान्य निर्माण को Z(R)-मॉड्यूल संरचना दी जा सकती है r ⋅ (m ⊗ n) = m ⊗ (r ⋅ n) जब यह अच्छी तरह से परिभाषित होता है, जो ठीक तब होता है जब r ∈ Z(R), R का केंद्र (वलय सिद्धांत)।

एम और एन का प्रत्यक्ष उत्पाद एम और एन के टेंसर उत्पाद के लिए शायद ही कभी आइसोमॉर्फिक होता है। जब आर क्रमविनिमेय नहीं होता है, तो टेंसर उत्पाद के लिए आवश्यक है कि एम और एन विपरीत दिशाओं में मॉड्यूल हों, जबकि प्रत्यक्ष उत्पाद के लिए आवश्यक है कि वे मॉड्यूल हों। उसी तरफ़। सभी मामलों में एकमात्र कार्य M × Nजी के लिए जो रैखिक और द्विरेखीय दोनों है, शून्य मानचित्र है।

रैखिक मानचित्रों के रूप में

सामान्य स्थिति में, सदिश रिक्त स्थान के टेंसर उत्पाद के सभी गुण मॉड्यूल तक विस्तारित नहीं होते हैं। फिर भी, टेंसर उत्पाद के कुछ उपयोगी गुण, जिन्हें मॉड्यूल होमोमोर्फिज्म माना जाता है, बने हुए हैं।

दोहरा मॉड्यूल

See also: Duality (mathematics) § Dual objects

दाएं आर-मॉड्यूल ई के दोहरे मॉड्यूल को इस प्रकार परिभाषित किया गया है Hom_R(E, R) विहित बाएँ R-मॉड्यूल संरचना के साथ, और इसे E दर्शाया गया है^∗. विहित संरचना जोड़ और अदिश गुणन की बिंदुवार संक्रिया है। इस प्रकार, ई^∗सभी आर-रेखीय मानचित्रों का सेट है E → R (जिसे रैखिक रूप भी कहा जाता है), संचालन के साथ

$$(\phi +\psi )(u)=\phi (u)+\psi (u),\quad \phi ,\psi \in E^{*},u\in E$$

$$(r\cdot \phi )(u)=r\cdot \phi (u),\quad \phi \in E^{*},u\in E,r\in R,$$

बाएं आर-मॉड्यूल के दोहरे को समान नोटेशन के साथ अनुरूप रूप से परिभाषित किया गया है।

हमेशा विहित समरूपता होती है E → E^∗∗ई से इसके दूसरे दोहरे तक। यदि E परिमित रैंक का मुक्त मॉड्यूल है तो यह समरूपता है। सामान्य तौर पर, ई को रिफ्लेक्सिव मॉड्यूल कहा जाता है यदि कैनोनिकल होमोमोर्फिज्म आइसोमोर्फिज्म है।

द्वैत युग्म

हम इसके दोहरे E के प्राकृतिक युग्म को निरूपित करते हैं^∗ और दायां आर-मॉड्यूल ई, या बायां आर-मॉड्यूल एफ और इसका दोहरा एफ^∗जैसे

$$\langle \cdot ,\cdot \rangle :E^{*}\times E\to R:(e',e)\mapsto \langle e',e\rangle =e'(e)$$

$$\langle \cdot ,\cdot \rangle :F\times F^{*}\to R:(f,f')\mapsto \langle f,f'\rangle =f'(f).$$

यह युग्मन अपने बाएँ तर्क में बाएँ R-रैखिक है, और दाएँ तर्क में दाएँ R-रैखिक है:

$$\langle r\cdot g,h\cdot s\rangle =r\cdot \langle g,h\rangle \cdot s,\quad r,s\in R.$$

एक (द्वि)रेखीय मानचित्र के रूप में तत्व

सामान्य स्थिति में, मॉड्यूल के टेंसर उत्पाद का प्रत्येक तत्व बाएं आर-रेखीय मानचित्र, दाएं आर-रेखीय मानचित्र और आर-बिलिनियर फॉर्म को जन्म देता है। क्रमविनिमेय मामले के विपरीत, सामान्य मामले में टेंसर उत्पाद आर-मॉड्यूल नहीं है, और इस प्रकार स्केलर गुणन का समर्थन नहीं करता है।

• दाएं आर-मॉड्यूल ई और दाएं आर-मॉड्यूल एफ को देखते हुए, विहित समरूपता है θ : F ⊗_R E^∗ → Hom_R(E, F) ऐसा है कि θ(f ⊗ e′) नक्शा है e ↦ f ⋅ ⟨e′, e⟩.
• बाएं आर-मॉड्यूल ई और दाएं आर-मॉड्यूल एफ को देखते हुए, विहित समरूपता है θ : F ⊗_R E → Hom_R(E^∗, F) ऐसा है कि θ(f ⊗ e) नक्शा है e′ ↦ f ⋅ ⟨e, e′⟩.

दोनों मामले सामान्य मॉड्यूल के लिए हैं, और समरूपता बन जाते हैं यदि मॉड्यूल ई और एफ को सीमित रूप से उत्पन्न प्रोजेक्टिव मॉड्यूल (विशेष रूप से परिमित रैंक के मुक्त मॉड्यूल) तक सीमित कर दिया जाता है। इस प्रकार, वलय आर पर मॉड्यूल के टेंसर उत्पाद का तत्व आर-रैखिक मानचित्र पर कैनोनिक रूप से मैप होता है, हालांकि सदिश रिक्त स्थान के साथ, ऐसे रैखिक मानचित्रों के पूर्ण स्थान के बराबर होने के लिए मॉड्यूल पर बाधाएं लागू होती हैं।

• दाएं आर-मॉड्यूल ई और बाएं आर-मॉड्यूल एफ को देखते हुए, विहित समरूपता है θ : F^∗ ⊗_R E^∗ → L_R(F × E, R) ऐसा है कि θ(f′ ⊗ e′) नक्शा है (f, e) ↦ ⟨f, f′⟩ ⋅ ⟨e′, e⟩. इस प्रकार, टेंसर उत्पाद का तत्व ξ ∈ F^∗ ⊗_R E^∗ को आर-बिलिनियर मानचित्र को जन्म देने या उसके रूप में कार्य करने के बारे में सोचा जा सकता है F × E → R.

ट्रेस

माना R क्रमविनिमेय वलय है और ई आर-मॉड्यूल। फिर विहित आर-रेखीय मानचित्र है:

$$E^{*}\otimes _{R}E\to R$$

द्वारा रैखिकता के माध्यम से प्रेरित $\phi \otimes x\mapsto \phi (x)$; यह प्राकृतिक युग्मन के अनुरूप अद्वितीय आर-रैखिक मानचित्र है।

यदि ई अंतिम रूप से उत्पन्न प्रक्षेप्य आर-मॉड्यूल है, तो कोई पहचान सकता है $E^{*}\otimes _{R}E=\operatorname {End} _{R}(E)$ ऊपर उल्लिखित विहित समरूपता के माध्यम से और फिर ऊपर ट्रेस मानचित्र है:

$$\operatorname {tr} :\operatorname {End} _{R}(E)\to R.$$

जब R फ़ील्ड है, तो यह रैखिक परिवर्तन का सामान्य ट्रेस (रैखिक बीजगणित) है।

विभेदक ज्यामिति से उदाहरण: टेंसर फ़ील्ड

विभेदक ज्यामिति में मॉड्यूल के टेंसर उत्पाद का सबसे प्रमुख उदाहरण सदिश फ़ील्ड और विभेदक रूपों के रिक्त स्थान का टेंसर उत्पाद है। अधिक सटीक रूप से, यदि आर चिकनी मैनिफोल्ड एम पर चिकनी कार्यों की (कम्यूटिव) अंगूठी है, तो कोई डालता है

$${\mathfrak {T}}_{q}^{p}=\Gamma (M,TM)^{\otimes p}\otimes _{R}\Gamma (M,T^{*}M)^{\otimes q}$$

जहां Γ का अर्थ अनुभागों का स्थान और सुपरस्क्रिप्ट है $\otimes p$ इसका अर्थ है R पर p को कई बार टेंसर करना। परिभाषा के अनुसार, का तत्व ${\mathfrak {T}}_{q}^{p}$ (p, q) प्रकार का टेंसर फ़ील्ड है।

आर-मॉड्यूल के रूप में, ${\mathfrak {T}}_{p}^{q}$ का दोहरा मॉड्यूल है ${\mathfrak {T}}_{q}^{p}.$ नोटेशन को हल्का करने के लिए लगाएं $E=\Gamma (M,TM)$ इसलिए $E^{*}=\Gamma (M,T^{*}M)$. जब p, q ≥ 1, प्रत्येक (k, l) के लिए 1 ≤ k ≤ p, 1 ≤ l ≤ q के साथ, R-बहुरेखीय मानचित्र होता है:

$$E^{p}\times {E^{*}}^{q}\to {\mathfrak {T}}_{q-1}^{p-1},\,(X_{1},\dots ,X_{p},\omega _{1},\dots ,\omega _{q})\mapsto \langle X_{k},\omega _{l}\rangle X_{1}\otimes \cdots \otimes {\widehat {X_{l}}}\otimes \cdots \otimes X_{p}\otimes \omega _{1}\otimes \cdots {\widehat {\omega _{l}}}\otimes \cdots \otimes \omega _{q}$$

कहाँ $E^{p}$ मतलब $\prod _{1}^{p}E$ और टोपी का मतलब है कि शब्द छोड़ा गया है। सार्वभौमिक गुण के अनुसार, यह अद्वितीय आर-रेखीय मानचित्र से मेल खाता है:

$$C_{l}^{k}:{\mathfrak {T}}_{q}^{p}\to {\mathfrak {T}}_{q-1}^{p-1}.$$

इसे सूचकांक (k, l) में टेंसरों का टेंसर संकुचन कहा जाता है। सार्वभौमिक गुण जो कहती है उसे खोलकर कोई देखता है:

$$C_{l}^{k}(X_{1}\otimes \cdots \otimes X_{p}\otimes \omega _{1}\otimes \cdots \otimes \omega _{q})=\langle X_{k},\omega _{l}\rangle X_{1}\otimes \cdots {\widehat {X_{l}}}\cdots \otimes X_{p}\otimes \omega _{1}\otimes \cdots {\widehat {\omega _{l}}}\cdots \otimes \omega _{q}.$$

टिप्पणी: पूर्ववर्ती चर्चा विभेदक ज्यामिति पर पाठ्यपुस्तकों में मानक है (उदाहरण के लिए, हेल्गासन)). तरह से, शीफ-सैद्धांतिक निर्माण (यानी, मॉड्यूल के शीफ की भाषा) अधिक प्राकृतिक और तेजी से अधिक सामान्य है; उसके लिए, अनुभाग देखें § Tensor product of sheaves of modules.

फ्लैट मॉड्यूल से संबंध

सामान्य रूप में,

$$-\otimes _{R}-:{\text{Mod-}}R\times R{\text{-Mod}}\longrightarrow \mathrm {Ab}$$
 एक द्विभाजक है जो दाएं और बाएं आर मॉड्यूल जोड़ी को इनपुट के रूप में स्वीकार करता है, और उन्हें एबेलियन समूहों की श्रेणी में टेंसर उत्पाद को असाइन करता है।

एक सही आर मॉड्यूल एम, फ़ंक्टर को ठीक करके

$$M\otimes _{R}-:R{\text{-Mod}}\longrightarrow \mathrm {Ab}$$

उत्पन्न होता है, और फ़नकार बनाने के लिए सममित रूप से बाएं आर मॉड्यूल एन को तय किया जा सकता है

$$-\otimes _{R}N:{\text{Mod-}}R\longrightarrow \mathrm {Ab} .$$

होम बिफंक्टर के विपरीत $\mathrm {Hom} _{R}(-,-),$ टेंसर फ़ैक्टर दोनों इनपुट में सहसंयोजक फ़ैक्टर है।

ऐसा दिखाया जा सकता है $M\otimes _{R}-$ और $-\otimes _{R}N$ हमेशा सही सटीक फ़ैक्टर होते हैं, किन्तु जरूरी नहीं कि सटीक बाईं ओर हों ($0\to \mathbb {Z} \to \mathbb {Z} \to \mathbb {Z} _{n}\to 0,$ जहां पहला नक्शा गुणा है $n$, सटीक है किन्तु टेंसर को साथ लेने के बाद नहीं $\mathbb {Z} _{n}$). परिभाषा के अनुसार, मॉड्यूल टी फ्लैट मॉड्यूल है यदि $T\otimes _{R}-$ सटीक फ़नकार है.

अगर $\{m_{i}\mid i\in I\}$ और $\{n_{j}\mid j\in J\}$ तो, क्रमशः एम और एन के लिए सेट तैयार कर रहे हैं $\{m_{i}\otimes n_{j}\mid i\in I,j\in J\}$ के लिए जनरेटिंग सेट होगा $M\otimes _{R}N.$ क्योंकि टेंसर फ़ैक्टर $M\otimes _{R}-$ कभी-कभी सटीक छोड़े जाने में विफल रहता है, यह न्यूनतम जनरेटिंग सेट नहीं हो सकता है, भले ही मूल जनरेटिंग सेट न्यूनतम हों। यदि एम फ्लैट मॉड्यूल है, तो फ़ैक्टर $M\otimes _{R}-$ फ्लैट मॉड्यूल की परिभाषा के अनुसार सटीक है। यदि टेंसर उत्पादों को फ़ील्ड F पर लिया जाता है, तो हम ऊपर दिए गए सदिश रिक्त स्थान के मामले में हैं। चूँकि सभी F मॉड्यूल समतल हैं, द्विभाजक $-\otimes _{R}-$ दोनों स्थितियों में सटीक है, और दिए गए दो जनरेटिंग सेट आधार हैं $\{m_{i}\otimes n_{j}\mid i\in I,j\in J\}$ वास्तव में आधार बनता है $M\otimes _{F}N.$

See also: pure submodule

अतिरिक्त संरचना

See also: Free product of associative algebras

यदि एस और टी क्रमविनिमेय आर-बीजगणित हैं, तो #समतुल्य मॉड्यूल के समान, S ⊗_R T गुणन मानचित्र द्वारा परिभाषित होने के साथ-साथ क्रमविनिमेय आर-बीजगणित भी होगा (m₁ ⊗ m₂) (n₁ ⊗ n₂) = (m₁n₁ ⊗ m₂n₂) और रैखिकता द्वारा विस्तारित। इस सेटिंग में, टेंसर उत्पाद क्रमविनिमेय आर-बीजगणित की श्रेणी में फाइबरयुक्त सहउत्पाद बन जाता है। (किन्तु यह आर-बीजगणित की श्रेणी में सहउत्पाद नहीं है।) यदि एम और एन दोनों क्रमविनिमेय वलय पर आर-मॉड्यूल हैं, तो उनका टेंसर उत्पाद फिर से आर-मॉड्यूल है। यदि R वलय है,_Rएम बायां आर-मॉड्यूल और कम्यूटेटर है

rs − sr

R के किन्हीं दो तत्वों r और s, M के एनीहिलेटर (वलय सिद्धांत) में हैं, तो हम सेटिंग करके M को सही R मॉड्यूल में बना सकते हैं

mr = rm.

एम पर आर की कार्रवाई भागफल क्रमविनिमेय वलय की कार्रवाई के माध्यम से होती है। इस मामले में R के ऊपर M का टेंसर उत्पाद फिर से R-मॉड्यूल है। क्रमविनिमेय बीजगणित में यह बहुत ही सामान्य तकनीक है।

सामान्यीकरण

मॉड्यूल के कॉम्प्लेक्स का टेंसर उत्पाद

यदि एक्स, वाई आर-मॉड्यूल (आर क्रमविनिमेय रिंग) के कॉम्प्लेक्स हैं, तो उनका टेंसर उत्पाद द्वारा दिया गया कॉम्प्लेक्स है

$$(X\otimes _{R}Y)_{n}=\sum _{i+j=n}X_{i}\otimes _{R}Y_{j},$$

दिए गए अंतर के साथ: एक्स में एक्स के लिए_i और Y में Y_j,

$$d_{X\otimes Y}(x\otimes y)=d_{X}(x)\otimes y+(-1)^{i}x\otimes d_{Y}(y).$$

उदाहरण के लिए, यदि C फ्लैट एबेलियन समूहों का श्रृंखला परिसर है और यदि G एबेलियन समूह है, तो होमोलॉजी समूह $C\otimes _{\mathbb {Z} }G$ जी में गुणांक के साथ सी का समरूपता समूह है (यह भी देखें: सार्वभौमिक गुणांक प्रमेय।)

मॉड्यूल के ढेरों का टेंसर उत्पाद

Main article: Sheaf of modules

मॉड्यूल के शीव्स का टेंसर उत्पाद खुले उपसमुच्चय पर अनुभागों के मॉड्यूल के टेंसर उत्पादों के प्री-शीफ से जुड़ा शीफ ​​है।

इस सेटअप में, उदाहरण के लिए, कोई स्मूथ मैनिफोल्ड एम पर टेंसर फ़ील्ड को टेंसर उत्पाद के (वैश्विक या स्थानीय) अनुभाग के रूप में परिभाषित कर सकता है (जिसे 'टेंसर बंडल' कहा जाता है)

$$(TM)^{\otimes p}\otimes _{O}(T^{*}M)^{\otimes q}$$

जहां O, M और बंडलों पर चिकने कार्यों के छल्लों का समूह है $TM,T^{*}M$ एम पर स्थानीय रूप से मुक्त शीफ के रूप में देखा जाता है। एम पर बाहरी सबबंडल टेंसर बंडल का उपबंडल है जिसमें सभी एंटीसिमेट्रिक सहसंयोजक टेंसर शामिल हैं। बाहरी बंडल का खंड (फाइबर बंडल) एम पर भिन्न रूप हैं।

See also: Tensor product bundle

एक महत्वपूर्ण मामला जब कोई गैर-कम्यूटेटिव रिंगों के समूह पर टेंसर उत्पाद बनाता है तो डी-मॉड्यूल|डी-मॉड्यूल के सिद्धांत में प्रकट होता है; यानी, डिफरेंशियल ऑपरेटरों के शीफ पर टेंसर उत्पाद।

यह भी देखें

• टोर काम करता है
• बीजगणित का टेंसर उत्पाद
• क्षेत्रों का टेंसर उत्पाद
• व्युत्पन्न टेंसर उत्पाद

संदर्भ

• Bourbaki, Algebra
• Helgason, Sigurdur (1978), Differential geometry, Lie groups and symmetric spaces, Academic Press, ISBN 0-12-338460-5
• Northcott, D.G. (1984), Multilinear Algebra, Cambridge University Press, ISBN 613-0-04808-4.
• Hazewinkel, Michiel; Gubareni, Nadezhda Mikhaĭlovna; Gubareni, Nadiya; Kirichenko, Vladimir V. (2004), Algebras, rings and modules, Springer, ISBN 978-1-4020-2690-4.
• May, Peter (1999). A concise course in algebraic topology (PDF). University of Chicago Press.