ریاضیات

نظریه گروه‌ها (۱۹): تحلیل حاصل‌ضرب مستقیم و رد یک گزاره

آیا حاصل‌ضرب مستقیم یک گروه متناهی G با گروه اعداد صحیح (Z)، با حاصل‌ضرب دو گروه دوری نامتناهی (Z × Z) ایزومورف است؟ پاسخ خیر است. برای اثبات این موضوع، از مفهوم عناصر تورشن (Torsion) استفاده می‌کنیم.

۱. تعریف عنصر تورشن

عنصر x از گروه G را تورشن می‌نامیم اگر دارای مرتبه متناهی باشد (یعنی عدد صحیح مثبت k وجود داشته باشد که k.x = 0). گروهی که هیچ عنصر تورشن (غیر از عضو خنثی) نداشته باشد، «تورشن-فری» (Torsion-free) نامیده می‌شود.

۲. تحلیل گروه Z × Z

گروه Z × Z (حاصل‌ضرب دوتایی اعداد صحیح) یک گروه تورشن-فری است. یعنی تنها عنصری که مرتبه متناهی دارد، عضو خنثی (0, 0) است. اگر (a, b) عضوی از این گروه باشد و a یا b غیر صفر باشند، هیچ k مثبتی وجود ندارد که k(a, b) = (0, 0) شود.

۳. تحلیل گروه G × Z

فرض کنید G یک گروه متناهی غیربدیهی (مانند Z_n) باشد. در گروه G × Z، عناصری داریم که مرتبه متناهی دارند. به طور دقیق، هر عضو به فرم (g, 0) که در آن g عضو غیرخنثی از G است، دارای مرتبه متناهی است (چون G متناهی است).

بنابراین، گروه G × Z دارای عناصر تورشن است (عناصر غیربدیهی از G)، در حالی که گروه Z × Z کاملاً تورشن-فری است.

۴. نتیجه‌گیری (اثبات تناقض)

دو گروه ایزومورف باید تمام ویژگی‌های ساختاری خود را به یکدیگر نگاشت کنند (از جمله وجود عناصر تورشن). چون در گروه اول (G × Z) عناصر غیرخنثی با مرتبه متناهی وجود دارند، اما در گروه دوم (Z × Z) چنین عناصری وجود ندارند، این دو گروه نمی‌توانند با هم ایزومورف باشند.

این نتیجه نشان می‌دهد که کوچک‌ترین تفاوت در ویژگی‌های ساختاری (مثل متناهی بودن زیرگروه‌ها)، مانع از ایزومورف بودن دو گروه می‌شود.