The trace Cayley-Hamilton theorem

दिए गए डैरिज ग्रिनबर्ग के शोध पत्र के आधार पर, "The trace Cayley-Hamilton theorem" का विस्तृत तकनीकी सारांश यहाँ दिया गया है।

1. समस्या विवरण (Problem Statement)

यह शोध पत्र कम्यूटेटिव रिंग्स (commutative rings) के संदर्भ में रैखिक बीजगणित (linear algebra) के दो प्राथमिक उद्देश्यों को संबोधित करता है (जहाँ आइगेनवैल्यू (eigenvalues) मौजूद नहीं हो सकते हैं):

1. ट्रेस कैली-हैमिल्टन प्रमेय (The Trace Cayley-Hamilton Theorem): एक मैट्रिक्स की घातों (powers) के ट्रेस और उसके विशेषता बहुपद (characteristic polynomial) के गुणांकों (coefficients) के बीच संबंध स्थापित करने वाली पहचान (identity) का एक कठोर, प्रारंभिक प्रमाण प्रदान करना। विशेष रूप से, एक $n \times n$ मैट्रिक्स $A$ के लिए जिसका विशेषता बहुपद $\chi_A(t) = \sum_{i=0}^n c_{n-i}t^i$ है, प्रमेय कहता है:
   $$k c_k + \sum_{i=1}^k \text{Tr}(A^i) c_{k-i} = 0$$
   प्रत्येक $k \in \mathbb{N}$ के लिए। हालांकि यह विशेषज्ञों के लिए ज्ञात है (अक्सर क्षेत्रों (fields) पर आइगेनवैल्यू या सार्वभौमिक पहचानों के माध्यम से), शोध पत्र का लक्ष्य बिना आइगेनवैल्यू पर निर्भर रहे किसी भी मनमाने कम्यूटेटिव रिंग के लिए एक स्व-निहित (self-contained) प्रमाण प्रदान करना है।
2. एडजुगेट गुण और अनुप्रयोग (Adjugate Properties and Applications): एडजुगेट मैट्रिक्स ($\text{adj } A$) के विभिन्न गुणों की खोज और प्रमाण करना और उन निर्धारक पहचानों (determinant identities) को सिद्ध करने के लिए एक विशिष्ट बीजगणितीय रणनीति ("the $tI_n + A$ trick") का प्रदर्शन करना जो तब कठिन होती हैं जब निर्धारक (determinant) एक ज़ीरो-डिविसर (zero-divisor) हो।

2. कार्यप्रणाली (Methodology)

शोध पत्र एक एकीकृत बीजगणितीय रणनीति का उपयोग करता है जो पॉलिनोमियल मैट्रिसेस (polynomial matrices) और इवैल्यूएशन होमोमोर्फिज्म (evaluation homomorphisms) पर केंद्रित है।

• "$tI_n + A$" रणनीति: सीधे मैट्रिक्स $A \in K^{n \times n}$ के साथ काम करने के बजाय, लेखक इसे पॉलिनोमियल मैट्रिक्स $M(t) = tI_n + A \in (K[t])^{n \times n}$ से बदल देता है।

  • मुख्य लाभ: $\det(tI_n + A)$ $K[t]$ में $t$ की घात $n$ वाला एक मोनिक (monic) बहुपद है। मोनिक बहुपद $K[t]$ में रेगुलर एलिमेंट्स (regular elements) (गैर-शून्य-विभाजक) होते हैं।
  • तंत्र (Mechanism): यह नियमितता $\det(tI_n + A)$ को समीकरणों से रद्द करने की अनुमति देती है (जैसे, $X \cdot \det(M) = Y \cdot \det(M) \implies X=Y$), जो एक ऐसा चरण है जो सामान्यतः असंभव है यदि $\det(A)$, $K$ में एक ज़ीरो-डिविसर है।
  • निष्कर्ष: एक बार जब $K[t]$ में इस नियमितता का उपयोग करके एक पहचान सिद्ध हो जाती है, तो लेखक मूल रिंग $K$ में परिणाम को वापस लाने के लिए इवैल्यूएशन होमोमोर्फिज्म $\varepsilon: K[t] \to K$ (जहाँ $\varepsilon(p) = p(0)$) लागू करता है।

• एडजुगेट विस्तार (Adjugate Expansion): विशेषता मैट्रिक्स के एडजुगेट को $t$ के एक बहुपद के रूप में विस्तारित करने में कैली-हैमिल्टन प्रमेयों के प्रमाण का मूल निहित है:
  $$\text{adj}(tI_n - A) = \sum_{k=0}^{n-1} t^k D_k$$
  जहाँ $D_k$, $K^{n \times n}$ में स्थिर मैट्रिक्स हैं।

• डेरिवेशंस (Derivations): शोध पत्र $K$-डेरिवेशंस (विशेष रूप से अवकलन ऑपरेटर $\partial$) की अवधारणा का उपयोग करता है ताकि विशेषता बहुपद के डेरिवेटिव को एडजुगेट के ट्रेस से जोड़ा जा सके।

3. मुख्य योगदान और परिणाम (Key Contributions and Results)

अ. ट्रेस कैली-हैमिल्टन प्रमेय (Theorem 2.6)

शोध पत्र ट्रेस पहचान का एक नया, प्रारंभिक प्रमाण प्रदान करता है।

• व्युत्पत्ति (Derivation): पहचान $(tI_n - A)\text{adj}(tI_n - A) = \chi_A(t)I_n$ का अवकलन (differentiation) करके, लेखक यह स्थापित करता है कि $\partial \chi_A = \text{Tr}(\text{adj}(tI_n - A))$ है।
• गुणांक मिलान (Coefficient Matching): $\chi_A$ के घातों के डेरिवेटिव और विस्तारित एडजुगेट के ट्रेस में घातों की तुलना करने से $c_k$ और $\text{Tr}(D_k)$ के बीच एक संबंध प्राप्त होता है।
• परिणाम: इसे मानक कैली-हैमिल्टन प्रमाण (जो $D_k$ को $A$ की घातों से जोड़ता है) के साथ जोड़कर, लेखक ट्रेस पहचान $k c_k + \sum \text{Tr}(A^i)c_{k-i} = 0$ प्राप्त करता है।

ब. एडजुगेट मैट्रिक्स के गुण (Properties of the Adjugate Matrix)

शोध पत्र $tI_n + A$ रणनीति का उपयोग करके कम्यूटेटिव रिंग्स पर एडजुगेट के कई शास्त्रीय और गैर-तुच्छ गुणों को सिद्ध करता है:

1. प्रोडक्ट रूल (Theorem 5.10): $\text{adj}(AB) = \text{adj}(B)\text{adj}(A)$।
2. एडजुगेट का एडजुगेट (Theorem 5.12):
   • $\det(\text{adj } A) = (\det A)^{n-1}$।
   • $\text{adj}(\text{adj } A) = (\det A)^{n-2}A$ (यदि $n \ge 2$ हो)।
3. पॉलिनोमियल प्रतिनिधित्व (Theorem 5.14): एडजुगेट, $A$ का एक बहुपद है:
   $$\text{adj } A = (-1)^{n-1} \sum_{i=0}^{n-1} c_{n-1-i} A^i$$
4. जैकोबी का प्रमेय (Theorem 5.22): $\text{adj } A$ के माइनर्स (minors) को $A$ के माइनर्स से जोड़ने वाला एक सूत्र।
5. एडजुगेट का ट्रेस (Theorem 5.32): $\text{Tr}(\text{adj } A) = (-1)^{n-1} c_{n-1} = (-1)^{n-1} [t^1]\chi_A$।

स. ब्लॉक मैट्रिसेस के अनुप्रयोग (Applications to Block Matrices)

जहाँ कम्यूटेटिविटी की स्थितियाँ मौजूद हों, वहाँ ब्लॉक मैट्रिसेस के लिए निर्धारक सूत्रों को प्राप्त करने के लिए इस रणनीति का उपयोग किया जाता है:

• कम्यूटिंग ब्लॉक्स (Theorem 5.27): यदि $AC = CA$, तो$\det \begin{pmatrix} A & B \ C & D \end{pmatrix} = \det(AD - CB)$।
• रैंक-1 परटर्बेशन (Theorem 5.34): वेक्टर्स और रो/कॉलम परटर्बेशन वाले ब्लॉक मैट्रिक्स के निर्धारक के लिए एक सामान्यीकृत सूत्र, जो मैट्रिक्स डिटर्मिनेंट लेम्मा का सामान्यीकरण करता है।

द. निलपोटेंसी और ट्रेस (Nilpotency and Traces)

• निलपोटेंसी मानदंड (Corollary 4.1): यदि $\text{Tr}(A^i) = 0$ सभी $1 \le i \le n$ के लिए, तो $n! A^n = 0$। यदि $K$ एक $\mathbb{Q}$-एल्जेब्रा है, तो $A^n = 0$।
• विपरीत (Corollary 4.2): यदि $\chi_A = t^n$, तो सभी $i > 0$ के लिए $\text{Tr}(A^i) = 0$।
• अल्मक्विस्ट का प्रमेय (Section 6.1): शोध पत्र एक प्रमाण की रूपरेखा प्रस्तुत करता है (एक्सटीरियर अलजेब्रा अवधारणाओं पर आधारित लेकिन पुनर्गठित) जो यह दिखाता है कि यदि $A^{k+1}=0$, तो $(\text{Tr } A)^{nk+1} = 0$।

4. महत्व (Significance)

• सुगमता (Accessibility): शोध पत्र उन्नत मशीनरी जैसे एक्सटीरियर अलजेब्रा या यूनिवर्सल स्प्लिटिंग एल्जेब्रा से बचकर, "ट्रेस कैली-हैमिल्टन प्रमेय" को छात्रों और शोधकर्ताओं के लिए सुलभ बनाता है, और इसके बजाय प्रारंभिक पॉलिनोमियल मैनिपुलेशन पर निर्भर करता है।
• कठोर सामान्यीकरण (Rigorous Generalization): यह प्रदर्शित करता है कि परिणाम, जो अक्सर क्षेत्रों (fields) के लिए (आइगेनवैल्यू का उपयोग करके) सिद्ध किए जाते हैं, मनमाने कम्यूटेटिव रिंग्स के लिए भी मान्य होते हैं, बशर्ते कि सही बीजगणितीय उपकरणों (मोनिक पॉलिनोमियल्स की नियमितता) का उपयोग किया जाए।
• एकीकृत तकनीक (Unified Technique): "$tI_n + A$" ट्रिक को निर्धारक पहचानों को सिद्ध करने के लिए एक शक्तिशाली, सामान्यीकरण योग्य विधि के रूप में प्रस्तुत किया गया है। यह प्रभावी रूप से एक सिंगुलर मैट्रिक्स को एक रेगुलर मैट्रिक्स में "विकृत" (deform) करती है, जिससे वे बीजगणितीय निरसन (cancellations) संभव होते हैं जो अन्यथा वर्जित होते।
• ऐतिहासिक संदर्भ (Historical Context): लेखक इन प्रमेयों के ऐतिहासिक श्रेय को स्पष्ट करता है, यह नोट करते हुए कि जबकि कैली और हैमिल्टन को मानक प्रमेय के साथ जोड़ा जाता है, ट्रेस संस्करण की जड़ें फ्रोबेनियस और गैंटमेकर में हैं, और विशिष्ट प्रमाण तकनीक (एडजुगेट का विस्तार करना) बुचहीम (1884) से संबंधित है।

संक्षेप में, ग्रिनबर्ग का शोध पत्र एक शिक्षण संसाधन के रूप में कार्य करता है जो ट्रेस कैली-हैमिल्टन प्रमेय को सिद्ध करता है, और साथ ही कम्यूटेटिव रिंग्स पर एडजुगेट और ब्लॉक डिटर्मिनेंट्स के उन्नत गुणों के लिए एक तकनीकी संदर्भ भी है, जो एक मजबूत बीजगणितीय विरूपण रणनीति (algebraic deformation strategy) द्वारा एकीकृत है।