نمایش مبدأ برای جمع مستقیم

'''جمع مستقیم''' {{به انگلیسی|direct sum}} [[عمل (ریاضی)|عملی]] از [[جبر مجرد]] (شاخه‌ای از [[ریاضیات]]) است. برای مثال، جمع مستقیم <math> \Reals \oplus \Reals </math> که در آن <math> \Reals </math> همان [[:en:Real_coordinate_space|فضای مختصات حقیقی]] است، برابر [[دستگاه مختصات دکارتی|فضای دکارتی]] <math> \R ^2 </math> است. برای آنکه ببینید چگونه جمع مستقیم در جبر مجرد استفاده می‌شود، یک ساختار ابتدایی‌تر در جبر مجرد، یعنی [[گروه آبلی]] را در نظر بگیرید. جمع مستقیم دو گروه آبلی <math>A</math> و <math>B</math> یک گروه آبلی دیگر <math>A\oplus B</math> است که شامل زوج‌مرتب‌های <math>(a,b)</math> است که در آن با ساختار زیر، <math>a \in A</math> و <math>b \in B</math> است. برای جمع زوج‌مرتب‌ها، ما جمع <math>(a, b) + (c, d)</math> را به صورت <math>(a + c, b + d)</math> تعریف می‌کنیم؛ به زبان دیگر، جمع به صورت مختصاتی تعریف می‌شود. از یک فرایند مشابه برای تعریف جمع مستقیم دو [[فضای برداری]] یا دو [[مدول (ریاضیات)|مدول]] استفاده می‌شود.

ما همچمنین می‌توانیم جمع مستقیم را با هر تعداد متناهی از جمع‌وند تشکیل دهیم، برای مثال، <math>A \oplus B \oplus C</math> را تعریف کنیم با این شرط که <math>A, B</math> و <math>C</math> هر سه ساختارهای جبری هم‌نوع باشند (مثلا، همه گروه آبلی باشند، یا همه فضای برداری باشند). این موضوع وابسته به این است که جمع مستقیم [[در حد|از بابت]] [[یکریختی|ایزوریختار]] [[خاصیت شرکت‌پذیری|انجمنی]] است؛ یعنی، <math>(A \oplus B) \oplus C \cong A \oplus (B \oplus C)</math> برقرار است، برای هر ساختار جبری <math>A</math>، <math>B</math>، و <math>C</math> که هم‌نوع هستند. جمع مستقیم از بابت ایزوریختار هم [[خاصیت جابه‌جایی|جابه‌جایی]] است، یعنی <math>A \oplus B \cong B \oplus A</math> برای هر ساختار جبری <math>A</math> و <math>B</math> که هم‌نوع هستند، برقرار است.

جمع مستقیم تعداد متناهی گروه آبلی، فضای برداری، یا مدول به صورت رسمی با [[:en:Direct_product|ضرب مستقیم]] متناظر ایزوریختار است. بااین‌حال، این موضوع برای بعضی از اشیای جبری، مثل گروه‌های غیرآبلی نادرست است.

در حالتیکه در آن اشیای نامتناهی ترکیب می‌شوند، جمع مستقیم و ضرب مستقیم ایزوریختار نیستند، این موضوع حتی برای گروه آبلی، فضای برداری یا مدول‌ها هم برقرار نیست. برای مثال، جمع مستقیم و ضرب مستقیم نسخه‌های نامتناهی (شمارا) از [[عدد صحیح|اعداد صحیح]] را درنظر بگیرید. یک عنصر در فضای برداری یک ترتیب نامتناهی، مثل (۱٬۲٬۳,...) است، اما در جمع مستقیم، این نیازمندی موجود است که همه ولی تعداد متناهی از مختصات صفر باشد، از این‌رو ترتیب (۱٬۲٬۳,...) یک عنصر از ضرب مستقیم است ولی عنصری از جمع مستقیم نیست، درحالیکه (۱٬۲٬۰٬۰٬۰,...) یک عنصر از هر دو است. معمولاً وقتیکه یک علامت + استفاده بشود، همه ولی تعداد متناهی از مختصات باید صفر باشد، درحالیکه اگر حالتی از ضرب استفاده شود، همه ولی تعداد متناهی از مختصات باید ۱ باشد. به زبان فنی‌تر، اگر جمع‌وندها <math>(A_i)_{i \in I}</math> باشند، جمع مستقیم <math display="block">\bigoplus_{i \in I} A_i</math> را به صورت مجموعه تاپل‌های <math>(a_i)_{i \in I}</math> تعریف می‌کنیم، که در آن <math>a_i \in A_i</math> است به این‌صورت که <math>a_i=0</math> برای همه ولی تعداد متناهی از ''i'' برقرار باشد. جمع مستقیم <math display="inline">\bigoplus_{i \in I} A_i</math> در [[:en:Direct_product|ضرب مستقیم]] <math display="inline">\prod_{i \in I} A_i</math> موجود است، ولی وقتیکه [[:en:Index_set|مجموعه اندیس]] <math>I</math> نامتناهی است، به صورت مؤکد کوچکتر است، زیرا ضرب‌های مستقیم این محدودیت را ندارند که همه ولی تعداد متناهی از مختصات باید صفر باشد.<ref>[[Thomas W. Hungerford]], ''Algebra'', p.60, Springer, 1974, {{ISBN|0387905189}}</ref>

== مثال‌ها ==
صفحه-''xy''، یک [[فضای برداری]] دوبعدی، را می‌توان به صورت جمع مستقیم دو فضای برداری یک-بعدی، با نام محورهای ''x'' و ''y'' در نظر گرفت. در این جمع مستقیم، محورهای ''x'' و ''y'' فقط در مبدأ تقاطع دارند (یعنی بردار صفر). جمع به صورت مختصاتی تعریف می‌شود، یعنی <math>(x_1,y_1) + (x_2,y_2) = (x_1+x_2, y_1 + y_2)</math> است، که مشابه جمع برداری است.

اگر دو ساختار <math>A</math> و <math>B</math> داده شود، جمع مستقیم آن‌ها به صورت <math>A\oplus B</math> نوشته می‌شود. اگر یک [[:en:Indexed_family|خانواده اندیسی]] از ساختارهای <math>A_i</math> داده شود، که توسط <math>i \in I</math> اندیس‌دهی شده‌است، جمع مستقیم را می‌توان به صورت <math display="inline"> A=\bigoplus_{i\in I}A_i</math> نوشت. هر A<sub>i</sub> یک '''جمع‌وند مستقیم''' از ''A'' نامیده می‌شود. اگر مجموعه [[اندیس (معدن)|اندیس]] متناهی باشد، جمع مستقیم مشابه ضرب مستقیم است. در حالت گروه‌ها، اگر عمل گروه به صورت <math>+</math> نوشته شود، از عبارت «جمع مستقیم» استفاده می‌شود، درحالیکه اگر عمل گروه به صورت <math>*</math> نوشته شود، از عبارت «ضرب مستقیم» استفاده می‌شود. وقتیکه مجموعه اندیس نامتناهی باشد، جمع مستقیم مشابه ضرب مستقیم نیست، زیرا جمع مستقیم این نیازمندی اضافی را دارد که همه ولی تعداد متناهی از مختصات باید صفر باشد.

=== جمع‌های مستقیم دورنی و بیرونی ===
جمع‌های مستقیم درونی و بیرونی متفاوت هستند، اگرچه هر دو ایزوریختار هستند. اگر اول جمع‌وندها تعریف شوند، و سپس جمع مستقیم در عبارت جمع‌وند تعریف شود، آنوقت ما یک جمع مستقیم بیرونی داریم. برای مثال، اگر ما اول اعداد حقیقی <math>\mathbb{R}</math> را تعریف کنیم و سپس <math>\mathbb{R} \oplus \mathbb{R}</math> را تعریف کنیم، آنوقت گفته می‌شود که جمع مستقیم بیرونی است.

از جهت دیگر، اگر اول یک ساختار جبری <math>S</math> را تعریف کنیم و سپس <math>S</math> را به صورت جمع مستقیم دو زیرساختار <math>V</math> و <math>W</math> بنویسیم، آنوقت گفته می‌شود که جمع مستقیم، دورنی است. در این‌حالت، هر عنصر <math>S</math> را می‌توان به صورت یکتا به صورت ترکیب جبری از عناصر <math>V</math> و یک عنصر از <math>W</math> بیان نمود. برای مثال یک جمع مستقیم درونی، <math>\mathbb Z_6</math> را در نظر بگیرید (یعنی اعداد صحیح در پیمانه شش)، که عناصر آن <math>\{0, 1, 2, 3, 4, 5\}</math> هستند. این را می‌توان به صورت جمع مستقیم دورنی <math>\mathbb Z_6 = \{0, 2, 4\} \oplus \{0, 3\}</math> بیان نمود.

== انواع جمع مستقیم ==
=== جمع مستقیم گروه‌های آبلی ===
'''جمع مستقیم [[گروه آبلی|گروه‌های آبلی]]''' یک مثال پیش‌نمون از یک جمع مستقیم است. اگر دو تا از این [[گروه (ریاضیات)|گروه‌ها]] به صورت <math>(A, \circ)</math> و <math>(B, \bullet),</math> را داشته باشیم، جمع مستقیم آن‌ها <math>A \oplus B</math> مشابه [[:en:Direct_product_of_groups|ضرب مستقیم]] آن‌ها است؛ یعنی، مجموعه زیربنایی برابر [[ضرب دکارتی]] <math>A \times B</math> است و عمل گروه <math>\,\cdot\,</math> به صورت مولفه‌ای تعریف می‌شود: <math display=block>\left(a_1, b_1\right) \cdot \left(a_2, b_2\right) = \left(a_1 \circ a_2, b_1 \bullet b_2\right).</math> این تعریف به جمع مستقیم برای تعداد متناهی از گروه آبلی تعمیم می‌یابد. برای یک خانواده دلخواه از گروه‌ها <math>A_i</math> که توسط <math>i \in I</math> اندیس‌دهی شده‌است، {{em|جمع مستقیم}} آن‌ها<ref name="nLabDirectSum"/> یعنی <math display=block>\bigoplus_{i \in I} A_i</math> برابر [[زیرگروه]] از ضرب مستقیم است، که شامل عناصر <math display="inline">\left(a_i\right)_{i \in I} \in \prod_{i \in I} A_i</math> است، که [[تکیه‌گاه (ریاضی)|تکیه‌گاه]] متناهی دارد، که در آن طبق تعریف، <math>\left(a_i\right)_{i \in I}</math> وقتی {{em|تکیه‌گاه متناهی}} دارد، اگر که <math>a_i</math> برابر عنصر همانی <math>A_i</math> است برای همه ولی تعداد متناهی <math>i</math> برقرار باشد.<ref>Joseph J. Rotman, ''The Theory of Groups: an Introduction'', p. 177, Allyn and Bacon, 1965</ref> جمع مستقیم از یک خانواده نامتناهی <math>\left(A_i\right)_{i \in I}</math> از گروه‌های غیربدیهی یک [[زیرگروه|زیرگروه سره]] از گروه ضربی <math display="inline">\prod_{i \in I} A_i</math> است.

=== جمع مستقیم مدول‌ها ===
''جمع مستقیم مدول‌ها'' یک ساختار است که چندین مدول را در یک [[مدول (ریاضیات)|مدول]] جدید ترکیب می‌کند.

آشناترین مثال‌های این ساختار وقتی رخ می‌دهد که [[فضای برداری|فضاهای برداری]] را درنظر گرفته باشیم، که مدول‌هایی روی یک [[میدان (ریاضیات)|میدان]] هستند. این ساختار به [[فضای باناخ|فضاهای باناخ]] و [[فضای هیلبرت|فضاهای هیلبرت]] تعمیم می‌یابد.

=== جمع مستقیم رسته‌ها ===
یک [[:en:Additive_category|رسته جمعی]]، یک انتزاع از ویژگی‌های رسته مدول‌ها است.<ref>{{یادکرد وب |نشانی=http://www.math.jussieu.fr/~schapira/lectnotes/HomAl.pdf |عنوان="p.45" |بازبینی=۲۹ آوریل ۲۰۲۲ |archive-date=۲۲ مه ۲۰۱۳ |archive-url=https://web.archive.org/web/20130522164408/http://www.math.jussieu.fr/~schapira/lectnotes/HomAl.pdf |dead-url=yes }}</ref><ref>{{Cite web|url=http://www.princeton.edu/~hhalvors/aqft.pdf|title=Appendix|access-date=2014-01-14|archive-url=https://web.archive.org/web/20060917010409/http://www.princeton.edu/~hhalvors/aqft.pdf|archive-date=2006-09-17|dead-url=yes}}</ref> در این رسته، ضرب متناهی و [[همضرب (نظریه رسته‌ها)|همضرب]] پذیرفته می‌شود و جمع مستقیم می‌تواند هرکدام از آن‌ها باشد، رجوع کنید به [[:en:Biproduct|دوضرب]].

حالت کلی:<ref name=nLabDirectSum>{{nlab|id=direct+sum|title=Direct Sum}}</ref> در [[نظریه رسته‌ها]]، جمع مستقیم معمولاً، ولی نه همیشه، [[همضرب (نظریه رسته‌ها)|همضربی]] در [[رسته (ریاضیات)|رسته]] اشیاء ریاضی مورد نظر است. برای مثال، در رسته گروه‌های آبلی، جمع مستقیم همان همضرب است. این موضوع در رسته مدول‌ها هم درست می‌باشد.

==== جمع مستقیم دربرابر همضرب در رسته گروه‌ها ====
بااین‌حال، جمع مستقیم <math>S_3 \oplus \Z_2</math> (که به صورت مشابه با جمع مستقیم گروه‌های آبلی تعریف شده‌است) برابر همضرب گروه‌های <math>S_3</math> و <math>\Z_2</math> در [[رسته گروه‌ها]] {{em|نیست}}.<ref>{{Cite web| url=https://planetmath.org/counterexamplesforproductsandcoproduct | title=Counterexamples for products and coproduct|access-date=2021-07-23 | work=Planetmath}}</ref> ازاین‌رو در این رسته، یک جمع مستقیم رسته‌ای را به صورت ساده یک همضرب می‌نامند، تا از هر اشتباه ممکن جلوگیری شود.

=== جمع مستقیم نمایش گروه ===
'''جمع مستقیم نمایش گروه'''، [[:en:Direct_sum_of_modules|جمع مستقیم]] [[مدول (ریاضیات)|مدول‌های]] مبنا را تعمیم می‌دهد، و یک [[کنش گروهی]] به آن اضافه می‌کند. بخصوص، اگر به ما یک [[گروه (ریاضیات)|گروه]] <math>G</math> و دو [[نمایش گروه|نمایش]] <math>V</math> و <math>W</math> از <math>G</math> داده شود (یا به صورت کلی‌تر، دو [[:en:G-module|<math>G</math>-مدول]] داده شود، جمع مستقیم نمایش‌ها برابر <math>V \oplus W</math> می‌شود، که کنش <math>g \in G</math> در آن مولفه-گون است، یعنی،
<math display="block">g \cdot (v, w) = (g \cdot v, g \cdot w).</math>
راه معادل دیگر برای تعریف جمع مستقیم به صورت زیر است:

اگر به ما دو نمایش <math>(V, \rho_V)</math> و <math>(W, \rho_W)</math> داده شود، آنوقت فضای برداری برای جمع مستقیم برابر <math>V \oplus W</math> است، و هوموریختار <math>\rho_{V \oplus W}</math> توسط <math>\alpha \circ (\rho_V \times \rho_W),</math> به دست می‌آید، که در آن <math>\alpha: GL(V) \times GL(W) \to GL(V \oplus W)</math> همان نگاشت طبیعی است که توسط عمل مولفه-گون مثل بالا به دست می‌آید.

بعلاوه، اگر <math>V,\,W</math> دارای بعد متناهی باشند، آوقت، با این شرط که پایه‌های <math>V,\,W</math> ،<math>\rho_V</math> و <math>\rho_W</math> ماتریس-مقدار باشد. در این‌حالت، <math>\rho_{V \oplus W}</math> به صورت <math display="block">g \mapsto \begin{pmatrix}\rho_V(g) & 0 \\ 0 & \rho_W(g)\end{pmatrix}</math> به دست می‌آید.

بعلاوه، اگر ما با <math>V</math> و <math>W</math> به صورت مدول روی [[:en:Group_ring|حلقه گروهی]] <math>kG</math> رفتار کنیم، که در آن <math>k</math> همان میدان است، آنوقت جمع مستقیم نمایش‌های <math>V</math> و <math>W</math> برابر جمع مستقیم‌شان و به صورت مدول‌های <math>kG</math> است.

=== جمع مستقیم حلقه‌ها ===
بعضی از نویسندگان از جمع مستقیم <math>R \oplus S</math> دو حلقه موقعی صحبت می‌کنند که منظورشان [[:en:Direct_product|ضرب مستقیم]] <math>R \times S</math> است، اما باید از این‌کار اجتناب کرد<ref>[https://math.stackexchange.com/q/345501 Math StackExchange] on direct sum of rings vs. direct product of rings.</ref> زیرا <math>R \times S</math> هوموریختارهای حلقه‌ای طبیعی از <math>R</math> و <math>S</math> دریافت نمی‌کند: بخصوص، نگاشت <math>R \to R \times S</math> که <math>r</math> را به <math>(r, 0)</math> می‌فرستد، یک هوموریختار حلقه‌ای نیست، زیرا نمی‌تواند ۱ را به <math>(1, 1)</math> بفرستد (با این فرض که <math>0 \neq 1</math> در <math>S</math> قرار دارد). ازاین‌رو <math>R \times S</math> یک همضرب در [[:en:Category_of_rings|رسته حلقه‌ها]] نیست، و نباید به صورت یک جمع مستقیم نوشته شود. (همضرب در [[:en:Category_of_rings#Category_of_commutative_rings|رسته حلقه‌های جابجایی]] برابر [[:en:Tensor_product_of_algebras|ضرب تنسوری از حلقه‌ها]] است.<ref>{{harvnb|Lang|2002}}, section I.11</ref> در رسته حلقه‌ها، همضرب توسط یک ساختار مشابه با [[:en:Free_product|ضرب آزاد]] گروه‌ها به دست می‌آید)

استفاده از اصطلاحات و نماد جمع مستقیم مخصوصاً وقتی مشکل‌زا است که با خانواده نامتناهی از حلقه‌ها سروکار داریم: اگر <math>(R_i)_{i \in I}</math> یک گردآورد نامتناهی از حلقه‌های غیربدیهی باشد، آنوقت جمع مستقیم گروه‌های جمعی مبنا را می‌توان به ضرب جمله-گون مجهز نمود، اما این منجر به یک [[:en:Free_product|rng (رونگ)]] می‌شود، یعنی، یک حلقه که همانی ضربی ندارد.

=== جمع مستقیم ماتریس‌ها ===
برای ماتریس‌های اختیاری <math>\mathbf{A}</math> و <math>\mathbf{B}</math>، جمع مستقیم <math>\mathbf{A} \oplus \mathbf{B}</math> به صورت [[:en:Block_matrix#Block_diagonal_matrices|ماتریس بلوکی قطری]] از <math>\mathbf{A}</math> و <math>\mathbf{B}</math> تعریف می‌شود، اگر هر دو [[ماتریس مربعی]] باشند (و اگر نباشد، باید یک [[:en:Block_matrix|ماتریس بلوکی]] مشابه باشد).
<math display=block>\mathbf{A} \oplus \mathbf{B} = \begin{bmatrix}
\mathbf{A} & 0          \\
0          & \mathbf{B}
\end{bmatrix}.</math>

=== جمع مستقیم فضاهای برداری توپولوژیکی ===
یک [[فضای برداری توپولوژیکی]] (TVS) <math>X</math> مثل [[فضای باناخ]]، را یک {{em|[https://en.wikipedia.org/wiki/Complemented_subspace#Topological_direct_sum جمع مستقیم توپولوژیکی]}} برای دو زیرفضای برداری <math>M</math> و <math>N</math> می‌نامند اگر نگاشت جمعی زیر
<math display=block>\begin{alignat}{4}
\  \;&& M \times N &&\;\to    \;& X \\[0.3ex]
     && (m, n) &&\;\mapsto\;& m + n \\
\end{alignat}</math>
یک [[:en:Topological_vector_space#TVS-isomorphism|ایزوریختار از فضاهای برداری توپولوژیکی]] باشد، (یعنی این [[نگاشت خطی]] یک [[هومئومورفیسم|هوموریختار]] [[تناظر دوسویه|دوسویه]] باشد)، که در آن‌حالت <math>M</math> و <math>N</math> را {{em|متمم توپوبوژیکی}} در <math>X</math> می‌نامند. این موضوع وقتیکه به صورت [[گروه توپولوژیکی|گروه‌های توپولوژیکی]] [[:en:Additive_group|جمعی]] درنظر گرفته شوند هم درست است (که از این‌رو ضرب نرده‌ای را درنظر نمی‌گیریم)، <math>X</math> همان [[:en:Direct_sum_of_topological_groups|جمع مستقیم توپولوژیکی از زیرگروه‌های توپولوژیکی]] <math>M</math> و <math>N</math> است. اگر این درست باشد و اگر <math>X</math> [[فضای هاسدورف|هاوسدورف]] باشد، آنوقت  <math>M</math> و <math>N</math> باید حتماً زیرفضاهای [[مجموعه بسته|بسته]] <math>X</math> باشند.

اگر <math>M</math> یک زیرفضای برداری از فضاهای برداری مختلط یا حقیقی <math>X</math> باشد، آنوقت همیشه یک زیرفضای برداری <math>N</math> از <math>X</math> دیگر وجود دارد، که {{em|متمم جبری <math>M</math> در <math>X</math> نامیده می‌شود}}، به این صورت که <math>X</math> یک {{em|جمع مستقیم جبری}} برای <math>M</math> و <math>N</math> است (که فقط و فقط وقتی رخ می‌دهد که نگاشت جمع <math>M \times N \to X</math> یک [[:en:Linear_map#linear_isomorphism|ایزوریختار فضای برداری]] باشد. دربرابر جمع‌های مستقیم جبری، وجود چنین متممی برای جمع‌های مستقیم توپولوژیکی تضمین نشده‌است.

یک زیرفضای برداری <math>M</math> از <math>X</math> را یک ({{em|از نظر توپولوژی}}) {{em|[https://en.wikipedia.org/wiki/Complemented_subspace زیرفضای متتم‌دار] از <math>X</math>}} می‌نامند، اگر یک زیرفضای برداری <math>N</math> از <math>X</math> موجود باشد که <math>X</math> برابر جمع مستقیم توپولوژیکی از <math>M</math> و <math>N</math> باشد. یک زیرفضای برداری موقعی {{em|نامتممی}} است که یک زیرفضای متتمی نباشد. برای مثال، هر زیرفضای برداری از TVS هاوسدورف که یک زیرمجموعه بسته نیست، الزاماً نامتممی است. هر زیرفضای برداری بسته از یک [[فضای هیلبرت]] متمم‌دار است. اما هر [[فضای باناخ]] که فضای هیلبرت نیست، الزاماً شامل چمد زیرفضای برداری بسته غیرمتممی است.

== هوموریختارها ==
جمع مستقیم <math display="inline">\bigoplus_{i \in I} A_i</math> به یک [[همریختی|هوموریختار]] ''[[:en:Projection_(mathematics)|تصویری]]'' <math display="inline">\pi_j \colon \, \bigoplus_{i \in I} A_i \to A_j</math> برای هر ''j'' در ''I'' و یک ''هم‌تصویر'' <math display="inline">\alpha_j \colon \, A_j \to \bigoplus_{i \in I} A_i</math> برای هر ''j'' در ''I'' مجهز است.<ref name=Heu26>{{cite book | title=Categorical Quantum Models and Logics | url=https://archive.org/details/categoricalquant00heun | series=Pallas Proefschriften | first=Chris | last=Heunen | publisher=Amsterdam University Press | year=2009 | isbn=978-9085550242 | page=[https://archive.org/details/categoricalquant00heun/page/n34 26]}}</ref> اگر یک [[ساختار جبری]] دیگر <math>B</math> (با ساختار اضافی مشابه) و هوموریختارهای <math>g_j \colon A_j \to B</math> برای هر ''j'' در ''I'' داده شده باشد، آنوقت یک هوموریختار یکتای <math display="inline">g \colon \, \bigoplus_{i \in I} A_i \to B</math> وجود دارد که جمع ''g''<sub>''j''</sub>‌ها نامیده شده، به این‌صورت که <math>g \alpha_j =g_j</math> برای همه ''j''‌ها برقرار است. از این‌رو در یک [[رسته (ریاضیات)|رسته]] مناسب، جمع مستقیم همان [[همضرب (نظریه رسته‌ها)|همضرب]] است.

== پانویس ==
{{پانویس|چپ‌چین=بله|۲}}

== منابع ==
*{{یادکرد-ویکی|پیوند=https://en.wikipedia.org/wiki/Direct_sum|عنوان=Direct sum|زبان=انگلیسی|بازیابی=۲۹ آوریل ۲۰۲۲}}
[[رده:جبر مجرد]]

*{{Lang Algebra|edition=3r}}