ریاضیات

تحلیل ساختاری زنجیرهٔ زیرگروه‌های T_n در گروه پروفر

اساس اثبات قضایای مربوط به گروه پروفر

Z(p^∞)،

درک دقیق هندسه و جبرِ زنجیرهٔ صعودی زیرگروه‌های آن است. در ادامه این زنجیره را به تفکیک جزئیات ریاضی بررسی می‌کنیم.

۱. تعریف دقیق و اثبات شمول (Nesting)

زیرمجموعهٔ

T_n

به صورت زیر تعریف می‌شود:

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

برای نشان دادن اینکه این مجموعه‌ها یک زنجیرهٔ صعودیِ یکنواخت می‌سازند، باید شمول

T_n ⊆ T_n+1

را ثابت کنیم:

فرض کنید

z ∈ T_n

باشد. طبق تعریف داریم

z^pn = 1.

حال طرفین را به توان

p

می‌رسانیم:

(z^pn)^p = 1^p ⇒ z^pn+1 = 1

این تساوی نشان می‌دهد که

z ∈ T_n+1.

بنابراین، شمول زیر برقرار است:

T₁ ⊆ T₂ ⊆ T₃ ⊆ ... ⊆ T_n ⊆ T_n+1 ⊆ ...

۲. مولدها و ارتباط پله‌ای آن‌ها

هر

T_n

یک گروه چرخه‌ای از مرتبهٔ

pⁿ

است که توسط ریشهٔ واحدِ بنیادیِ زیر تولید می‌شود:

ζ_n = e^{2πi / pn}

نکتهٔ کلیدی در تحلیل این زنجیره، نحوهٔ نگاشت مولد یک پله به مولد پلهٔ قبلی است:

(ζ_n+1)^p = (e^{2πi / pn+1})^p = e^{2πi / pn} = ζ_n

این رابطه یعنی توان

p‌

ام هر مولد در پلهٔ

n+1،

دقیقاً ما را به مولد پلهٔ

n

می‌رساند.

۳. گروه پروفر به عنوان حد مستقیم (Direct Limit)

اگر نگاشت‌های شمول را به صورت

ι_n: T_n → T_n+1

تعریف کنیم، یک سیستم جهت‌دار (Directed System) از گروه‌های چرخه‌ای متناهی داریم:

T₁ →^ι₁ T₂ →^ι₂ T₃ →^ι₃ ...

حد مستقیم این سیستم در ردهٔ گروه‌های آبلی، دقیقاً برابر با خود گروه پروفر است:

Z(p^∞) = lim_→ T_n

۴. ویژگی‌های توپولوژیک و ترتیبی زنجیره

این زنجیره ویژگی‌های جبری منحصر‌به‌فردی دارد:

• ترتیب کامل زیرگروه‌ها: هر دو زیرگروه دلخواه از

  Z(p^∞)

  نسبت به رابطهٔ شمول مقایسه‌پذیرند. یعنی اگر

  H

  و

  K

  زیرگروه‌های

  Z(p^∞)

  باشند، حتماً داریم

  H ⊆ K

  یا

  K ⊆ H.

• شرط زنجیره نزولی (Artinian): از آنجا که هر زیرگروه محض از

  Z(p^∞)

  متناهی و به شکل یکی از این

  T_n‌

  هاست، هر زنجیرهٔ نزولی از زیرگروه‌ها حتماً متوقف می‌شود. بنابراین

  Z(p^∞)

  یک

  Z-مدول آرتینی است.

• عدم ارضای شرط زنجیره صعودی (Non-Noetherian): چون زنجیرهٔ صعودی

  T₁ ⊆ T₂ ⊆ ...

  هیچ‌گاه متوقف نمی‌شود، این گروه نوتری نیست.