ریاضیات

۴) چرا چرخه‌ای بودن T_n پایان کار است؟

پس از اینکه ثابت کردیم هر زیرگروه متناهی مانند

K

درون یکی از مجموعه‌های

T_n

جای می‌گیرد (یعنی K ⊆ T_n)، قدم نهایی و سرنوشت‌ساز این است که نشان دهیم خودِ

T_n

یک گروه چرخه‌ای است.

این بخش از برهان بر دو ستون اصلی استوار است:

الف) ساختار چرخه‌ای T_n

گروه پروفِر

Z(p^∞)

به عنوان زیرگروهی از گروه ضربی اعداد مختلط روی دایرهٔ واحد تعریف می‌شود که عناصر آن ریشه‌های

p^k-اُم

واحد (به‌ازای تمام مقادیر k ≥ 1) هستند.

بنابراین زیرگروه

T_n

که شامل تمام عناصر با مرتبهٔ مقسوم‌علیه

pⁿ

است، دقیقاً منطبق بر مجموعهٔ تمام ریشه‌های

pⁿ-اُم

واحد است:

T_n = { z ∈ C | z^pn = 1 }.

می‌دانیم که در حساب اعداد مختلط، ریشه‌های

pⁿ-اُم

واحد تحت ضرب، یک گروه چرخه‌ای از مرتبهٔ

pⁿ

می‌سازند که توسط عنصر مولدِ

e^{2πi / pn}

تولید می‌شود. پس داریم:

T_n ≅ C_pⁿ.

ب) قضیهٔ وراثت چرخه‌ای برای زیرگروه‌ها

یکی از قضایای پایه و بنیادی در نظریهٔ گروه‌ها بیان می‌کند:

«هر زیرگروه از یک گروه چرخه‌ای، خود گروهی چرخه‌ای است.»

اکنون قطعات پازل به این ترتیب کنار هم قرار می‌گیرند:

1. نشان دادیم

   K ⊆ T_n.

2. چون

   T_n

   زیرگروه است، پس

   K ≤ T_n.

3. ثابت شد که

   T_n

   یک گروه چرخه‌ای است.

4. بنا بر قضیهٔ وراثت، چون

   K

   زیرگروهی از گروه چرخه‌ای

   T_n

   است، پس

   K

   نیز باید چرخه‌ای باشد.

نتیجه‌گیری نهایی:

با این گام، برهان کامل می‌شود. مهم نیست زیرگروه متناهی

K

چقدر بزرگ یا ساختار آن چقدر پیچیده به نظر برسد؛ تا زمانی که متناهی باشد، در یک پوستهٔ چرخه‌ایِ بزرگتر به نام

T_n

محصور می‌شود و این ویژگی ساختاریِ

T_n

به طور کامل به

K

ارث می‌رسد.