نظرية المدار والمثبت

Core idea

Overview

تؤسس نظرية المدار والمثبت علاقة أساسية بين مجموعة تعمل على مجموعة وتماثل العناصر داخل تلك المجموعة. تنص على أن حجم المجموعة يساوي حاصل ضرب حجم مدار العنصر ورتبة مجموعته الفرعية المثبتة.

When to use: استخدم هذه النظرية عندما تحتاج إلى حساب عدد الترتيبات الفريدة تحت التماثل أو تحديد حجم مجموعة تماثلية. وهي قابلة للتطبيق عندما تعمل مجموعة محدودة G على مجموعة محدودة X.

Why it matters: هذه النظرية هي حجر الزاوية لتطبيقات نظرية المجموعات في التوافقيات والكيمياء (تماثل الجزيئات) والبلورات. تسمح لعلماء الرياضيات بتبسيط مسائل العد المعقدة من خلال التركيز على النقاط الثابتة والمثبتات.

Walkthrough

Derivation

اشتقاق/فهم نظرية المدار والمثبت

يثبت هذا الاشتقاق نظرية المدار والمثبت، التي تنص على أنه بالنسبة لمجموعة تعمل على مجموعة، فإن حجم مدار عنصر ما يساوي دليل مجموعة المثبت الفرعية في المجموعة.

1

تعريف المدار والمثبت:

نبدأ بتعريف المفهومين الأساسيين في المبرهنة: المدار $O_{x}$ ، وهو مجموعة جميع العناصر في $X$ التي يمكن أن يُنقل إليها $x$ بفعل من $G$ ، والمثبت $G_{x}$ ، وهو الزمرة الجزئية من $G$ التي تثبت عناصرها $x$ .

Let G be a group acting on a set X . For any x \in X, O_{x} = {g \cdot x ∣ g \in G} is the orbit of x . G_{x} = {g \in G ∣ g \cdot x = x} is the stabilizer of x .

2

إنشاء تطبيق للأصناف الجانبية:

نقوم ببناء دالة $ϕ$ تربط كل مشاركة يسرى للمثبت $G_{x}$ بعنصر في المدار $O_{x}$ . من الضروري إظهار أن هذه الدالة محددة جيدًا، مما يعني أن اختيار الممثل لمشاركة لا يغير العنصر الناتج في المدار.

Define a map ϕ : G / G_{x} \to O_{x} by ϕ (g G_{x}) = g \cdot x . This map is well-defined: if g G_{x} = h G_{x}, then h^{- 1} g \in G_{x}, so h^{- 1} g \cdot x = x ⟹ g \cdot x = h \cdot x .

3

إثبات تقابلية التطبيق:

نظهر أن الدالة $ϕ$ هي غامرة (كل عنصر في المدار هو صورة لمشاركة ما) ومتباينة (المشاركات المختلفة ترتبط بعناصر مختلفة في المدار). هذا يؤسس تطابقًا واحدًا لواحد بين مجموعة المشاركات اليسرى والمدار.

The map ϕ is surjective: for any y \in O_{x}, there exists g \in G such that y = g \cdot x, so ϕ (g G_{x}) = y . The map ϕ is injective: if ϕ (g G_{x}) = ϕ (h G_{x}), then g \cdot x = h \cdot x ⟹ h^{- 1} g \cdot x = x ⟹ h^{- 1} g \in G_{x} ⟹ g G_{x} = h G_{x} .

4

استنتاج المبرهنة:

نظرًا لوجود تطابق حيوي بين مجموعة المشاركات اليسرى $G / G_{x}$ والمدار $O_{x}$ ، يجب أن تكون أعدادهما الأساسية متساوية. بحكم التعريف، العدد الأساسي لـ $G / G_{x}$ هو الدليل $[G : G_{x}]$ ، مما يثبت نظرية المدار والمثبت.

Since ϕ is a bijection, the number of elements in its domain equals the number of elements in its codomain. Thus, ∣ G / G_{x} ∣ = ∣ O_{x} ∣. By definition, the number of left cosets of G_{x} in G is the index [G : G_{x}] . Therefore, ∣ O_{x} ∣ = [G : G_{x}] .

Result

Since ϕ is a bijection, the number of elements in its domain equals the number of elements in its codomain. Thus, ∣ G / G_{x} ∣ = ∣ O_{x} ∣. By definition, the number of left cosets of G_{x} in G is the index [G : G_{x}] . Therefore, ∣ O_{x} ∣ = [G : G_{x}] .

Source: Dummit, D. S., & Foote, R. M. (2004). Abstract Algebra (3rd ed.). John Wiley & Sons.

Free formulas

Rearrangements

Solve for $G$

اجعل G موضوع المعادلة

G

ابدأ من نظرية استقرار المدار. تعبر النظرية بشكل مباشر عن ترتيب المجموعة G، مما يجعل G موضوعًا مفاهيميًا دون الحاجة إلى إعادة ترتيب جبري.

Difficulty: 2/5

Solve for $G \cdot x$

اجعل G x موضوع المعادلة

G \cdot x

ابدأ من نظرية استقرار المدار، التي تربط ترتيب المجموعة بحجم المدار ومثبته. لجعل المدار $G \cdot x$ هو الموضوع، اعزل المصطلح الذي يمثل حجمه، ثم حدد المدار نفسه من الناحية المفاهيمية.

Difficulty: 2/5

Solve for $G_{x}$

اجعل Gx موضوع المعادلة

G_{x}

ابدأ من نظرية استقرار المدار. لجعل $G_{x}$ الموضوع، قم بتقسيم الجانبين على $∣ G \cdot x ∣$ .

Difficulty: 2/5

The static page shows the finished rearrangements. The app keeps the full worked algebra walkthrough.

Why it behaves this way

Intuition

فكر في مجموعة من العناصر يتم إعادة ترتيبها بواسطة مجموعة من العمليات. العدد الإجمالي للعمليات في المجموعة يساوي عدد المواقع الفريدة التي يمكن أن ينتهي إليها عنصر مختار، مضروبًا في عدد

Term

العدد الإجمالي للعناصر (أو العمليات) في المجموعة G.

يمثل 'الحجم' الكلي أو 'رتبة' المجموعة، مشيرًا إلى عدد التحويلات المميزة المتاحة.

Term

عدد العناصر المميزة في المجموعة X التي يمكن تعيين العنصر x إليها بواسطة إجراء المجموعة G.

هذا هو 'مدى' x: عدد المواضع أو الأشكال الفريدة التي يمكن أن يأخذها x تحت تحويلات المجموعة.

Term

عدد العناصر في المجموعة G التي تترك العنصر x دون تغيير عند تطبيقها.

يقيس هذا 'التناظر الداخلي' لـ x: عدد التحويلات التي 'تثبت' x، وتعيده إلى حالته الأصلية.

Free study cues

Insight

Canonical usage

تربط هذه المعادلة أحجام المجموعات المنتهية (الزُمر، المدارات، والمُثبِّتات)، وكلها أعداد صحيحة بلا أبعاد.

Dimension note

جميع الكميات في نظرية المدار-المثبت (|G|, |G $\cdot$ x|, | $G_{x}$ |) هي أعداد عناصر في مجموعات منتهية (زُمر، مدارات، زُمر جزئية). وبناءً عليه، فهي أعداد صحيحة موجبة بلا أبعاد بطبيعتها.

One free problem

Practice Problem

مجموعة G من الرتبة 24 تعمل على مجموعة X. إذا كان مثبت عنصر x يحتوي على 4 عناصر بالضبط، فما هو حجم مدار x؟

Hint: حاصل ضرب حجم المدار وحجم المثبت يساوي رتبة المجموعة.

The full worked solution stays in the interactive walkthrough.

Where it shows up

Real-World Context

في سياق حساب عدد التماثلات الدورانية لمكعب عن طريق النظر في مدار أحد الأوجه (الذي يحتوي على 6 أوجه) ومثبت هذا الوجه (الذي يحتوي على 4 دورانات)، تُستخدم معادلة نظرية المدار والمثبت لتحويل القياسات إلى قيمة يمكن تفسيرها. وتكمن أهمية الناتج في أنه يساعد على ربط الحساب بالشكل أو معدل التغير أو الاحتمال أو القيد داخل النموذج.

Study smarter

Tips

تأكد من تعريف عمل المجموعة بشكل صحيح على المجموعة.
المثبت هو دائمًا مجموعة فرعية من G، لذا يجب أن تقسم رتبته رتبة المجموعة.
اختيار عنصر ممثل ذي مثبت واضح غالبًا ما يبسط الحساب.

Avoid these traps

Common Mistakes

الخلط بين حجم المجموعة X وحجم مدار عنصر معين.
الافتراض بأن جميع العناصر في المجموعة لها نفس حجم المدار.
الخلط بين المثبت والمركز أو المجموعات الفرعية الأخرى.

Keep going

Related Formulas

Common questions

Frequently Asked Questions

يثبت هذا الاشتقاق نظرية المدار والمثبت، التي تنص على أنه بالنسبة لمجموعة تعمل على مجموعة، فإن حجم مدار عنصر ما يساوي دليل مجموعة المثبت الفرعية في المجموعة.

استخدم هذه النظرية عندما تحتاج إلى حساب عدد الترتيبات الفريدة تحت التماثل أو تحديد حجم مجموعة تماثلية. وهي قابلة للتطبيق عندما تعمل مجموعة محدودة G على مجموعة محدودة X.

هذه النظرية هي حجر الزاوية لتطبيقات نظرية المجموعات في التوافقيات والكيمياء (تماثل الجزيئات) والبلورات. تسمح لعلماء الرياضيات بتبسيط مسائل العد المعقدة من خلال التركيز على النقاط الثابتة والمثبتات.

الخلط بين حجم المجموعة X وحجم مدار عنصر معين. الافتراض بأن جميع العناصر في المجموعة لها نفس حجم المدار. الخلط بين المثبت والمركز أو المجموعات الفرعية الأخرى.

في سياق حساب عدد التماثلات الدورانية لمكعب عن طريق النظر في مدار أحد الأوجه (الذي يحتوي على 6 أوجه) ومثبت هذا الوجه (الذي يحتوي على 4 دورانات)، تُستخدم معادلة نظرية المدار والمثبت لتحويل القياسات إلى قيمة يمكن تفسيرها. وتكمن أهمية الناتج في أنه يساعد على ربط الحساب بالشكل أو معدل التغير أو الاحتمال أو القيد داخل النموذج.

تأكد من تعريف عمل المجموعة بشكل صحيح على المجموعة. المثبت هو دائمًا مجموعة فرعية من G، لذا يجب أن تقسم رتبته رتبة المجموعة. اختيار عنصر ممثل ذي مثبت واضح غالبًا ما يبسط الحساب.

References

Sources

Dummit and Foote, Abstract Algebra
Herstein, Topics in Algebra
Wikipedia: Orbit-stabilizer theorem
Dummit, David S., and Richard M. Foote. Abstract Algebra. 3rd ed. John Wiley & Sons, 2004.
Gallian, Joseph A. Contemporary Abstract Algebra. 9th ed. Cengage Learning, 2017.
Dummit and Foote Abstract Algebra
Gallian Contemporary Abstract Algebra
Dummit, D. S., & Foote, R. M. (2004). Abstract Algebra (3rd ed.). John Wiley & Sons.

Overview

Derivation

تعريف المدار والمثبت:

إنشاء تطبيق للأصناف الجانبية:

إثبات تقابلية التطبيق:

استنتاج المبرهنة:

Rearrangements

Intuition

Insight

Practice Problem

Real-World Context

Tips

Common Mistakes

Related Formulas

Lagrange's Theorem

Fermat's Little Theorem

Euler's Totient Function

Frequently Asked Questions

Sources