Direct Product of Picture Fuzzy Subgroups

إليك ملخص تقني مفصل لورقة البحث بعنوان "الضرب المباشر للزمر الجزئية الضبابية الصورية" للباحث تايو أو. سانغودابو.

1. بيان المشكلة

تعالج الورقة فجوة في النظرية الجبرية للمجموعات الضبابية. فبينما تُعد مفاهيم المجموعات الضبابية (Zadeh, 1965)، والمجموعات الضبابية الحدسية (Atanassov, 1984)، والمجموعات الضبابية الصورية (Cuong & Kreinovich, 2013) مفاهيم راسخة، فإن البنية الجبرية لـ الزمر الجزئية الضبابية الصورية (PFSG) وسلوكها تحت الضرب المباشر يتطلبان مزيداً من التوصيف.

لقد أرست أعمال سابقة (مثل Dogra & Pal، وSangodapo & Onasanya) تعريف الـ PFSGs وخصائصها عبر مجموعات القطع $(r, s, t)$. ومع ذلك، فإن سلوك الضرب المباشر لزمرتين جزئيتين ضبابيتين صوريتين — وتحديداً كيفية تفاعل درجات العضوية (الإيجابية، والمحايدة، والسلبية) في فضاء الضرب وتحت أي شروط يحتفظ الضرب بخصائص الزمرة الجزئية — لم يتم استكشافه بشكل كامل. تهدف الورقة إلى تعريف الضرب المباشر لـ PFSGs وإرساء الشروط الضرورية والكافية لتكون هذه الضربيات زمرًا جزئية صالحة وزمرًا جزئية ناظمية.

2. المنهجية

يستخدم المؤلف نهجاً جبرياً صارماً قائماً على نظرية المجموعة الضبابية الصورية (PFS) ونظرية الزمر. وتتمثل المنهجية الجوهرية في:

• التعريفات: صياغة رسمية لضرب كارتسيزي لمجموعتين ضبابيتين صوريتين (PFS) $P$ و $Q$ معرفتين على الزمر $G$ و $G^*$. يتم تعريف دالات العضوية لـ $P \times Q$ باستخدام:
  • العضوية الإيجابية ($\sigma$): الحد الأقصى (supremum) للعضويات الفردية.
  • العضوية المحايدة ($\tau$): الحد الأقصى (supremum) للعضويات الفردية.
  • العضوية السلبية ($\eta$): الحد الأدنى (infimum) للحد الأقصى للعضويات الفردية (تحديداً $\min(\eta_P(p) \vee \eta_Q(q))$).
• تحليل مجموعة القطع: الأداة الرئيسية للتوصيف هي مجموعة القطع $(r, s, t)$. تستخدم الورقة خاصية أن الـ PFS تكون زمرة جزئية إذا وفقط إذا كانت مجموعات القطع $(r, s, t)$ الخاصة بها هي زمر جزئية حادة (crisp subgroups) لجميع عتبات القيم الصالحة.
• الاستنتاج المنطقي: يتم إثبات النظريات من خلال إقامة تكافؤات بين خصائص المجموعات الضبابية ومجموعات القطع الحادة المقابلة لها، مع الاستفادة من الخصائص المعروفة للضرب المباشر في نظرية الزمر الكلاسيكية.

3. المساهمات والنتائج الرئيسية

أ. تعريف الضرب المباشر

تعرف الورقة الضرب المباشر $P \times Q$ لمجموعتين ضبابيتين صوريتين $P$ (على $G$) و $Q$ (على $G^*$) كـ PFS على ضرب كارتسيزي للزمرة $G \times G^*$.

• دالات العضوية:
  • $\sigma_{P \times Q}(p, q) = \max(\sigma_P(p), \sigma_Q(q))$
  • $\tau_{P \times Q}(p, q) = \max(\tau_P(p), \tau_Q(q))$
  • $\eta_{P \times Q}(p, q) = \min(\eta_P(p) \vee \eta_Q(q))$ (ملاحظة: تستخدم الورقة $\wedge$ للحد الأدنى و $\vee$ للحد الأقصى في منطق التعريف).

ب. التوصيف عبر مجموعات القطع (النظرية 3.1)

تؤسس نتيجة أساسية مفادها أن مجموعة القطع $(r, s, t)$ للضرب المباشر هي الضرب المباشر لمجموعات القطع الفردية:
$$C_{r,s,t}(P \times Q) = C_{r,s,t}(P) \times C_{r,s,t}(Q)$$
هذا يجسّر الفجوة بين الجبر الضبابي والجبر الكلاسيكي، مما يسمح بنقل خصائص الزمر الحادة إلى المجال الضبابي.

ج. الحفاظ على خصائص الزمرة الجزئية (النظرية 3.2 و 3.3)

• الزمر الجزئية: إذا كانت $P$ و $Q$ زمرًا جزئية ضبابية صورية (PFSG) لـ $G$ و $G^*$ على التوالي، فإن $P \times Q$ هي PFSG لـ $G \times G^*$.
• الزمر الجزئية الناظمية: إذا كانت $P$ و $Q$ زمرًا جزئية ضبابية صورية ناظمية (PFNSG)، فإن $P \times Q$ هي PFNSG لـ $G \times G^*$.
• استراتيجية الإثبات: تُشتق هذه النتائج مباشرة من النظرية 3.1 ومن الحقيقة المعروفة بأن الضرب المباشر للزمر الجزئية الكلاسيكية (أو الناظمية) هو زمرة جزئية (أو ناظمية).

د. الشروط الضرورية لعناصر الوحدة (النظرية 3.4)

تحدد الورقة قيوداً حرجة فيما يتعلق بعناصر الوحدة ($e_1, e_2$) للزمر. إذا كانت $P \times Q$ هي PFSG، فيجب أن يتحقق واحد على الأقل مما يلي:

1. قيم العضوية لعنصر الوحدة في $Q$ تهيمن على قيم أي عنصر في $P$ (أي $\sigma_Q(e_2) \geq \sigma_P(g)$، إلخ).
2. قيم العضوية لعنصر الوحدة في $P$ تهيمن على قيم أي عنصر في $Q$.
   هذا يعني أنه لكي يكون الضرب المباشر زمرة جزئية صالحة، يجب أن تكون إحدى المجموعات الضبابية المكونة "مهيمنة" عند مستوى عنصر الوحدة بالنسبة للأخرى.

هـ. الاستلزام العكسي (النظرية 3.5 والاستنتاج 3.2)

تستقصي الورقة العكس: إذا كانت $P \times Q$ هي PFSG، فهل يعني ذلك أن $P$ و $Q$ هما PFSGs؟

• النظرية 3.5: إذا كانت $P \times Q$ هي PFSG واستوفيت شروط هيمنة محددة فيما يتعلق بوحدة $G^*$ (تحديداً $\sigma_P(g) \leq \sigma_Q(e_2)$)، فإن $P$ مضمونة لتكون PFSG لـ $G$.
• الاستنتاج 3.2: بشكل عام، إذا كانت $P \times Q$ هي PFSG، فإن إما $P$ هي PFSG لـ $G$ أو $Q$ هي PFSG لـ $G^*$ (أو كليهما).

و. الترافق في الضرب المباشر (النظرية 3.6)

توسع الورقة مفهوم الزمر الجزئية المترافقة الضبابية الصورية (PFCSG). وتثبت أنه إذا كانت $P_1, P_2$ مترافقتين في $G$ و $Q_1, Q_2$ مترافقتين في $G^*$، فإن ضرباتهما المباشرة $P_1 \times Q_1$ و $P_2 \times Q_2$ تكون مترافقة في $G \times G^*$.

4. الأهمية والأثر

• التقدم النظري: يوسع هذا العمل البنية الجبرية للزمر الضبابية لتشمل البيئة الضبابية الصورية الأكثر تعقيداً، والتي تأخذ في الاعتبار الآراء الإيجابية والمحايدة والرفض (وهو أمر بالغ الأهمية لأنظمة التصويت والتشخيص الطبي).
• الفائدة المنهجية: من خلال إثبات أن مجموعة القطع $(r, s, t)$ للضرب هي ضرب مجموعات القطع، توفر الورقة أداة قوية للباحثين؛ حيث تسمح لهم بحل المسائل الضبابية المعقدة عن طريق اختزالها إلى مسائل كلاسيكية حادة.
• إمكانات التطبيق: النتائج قابلة للتطبيق مباشرة في أنظمة اتخاذ القرار التي تتضمن وكلاء متعددين أو معايير متعددة (يتم نمذجتها كزمر) حيث تكون الحيادية والرفض عوامل مؤثرة. إن شروط الناظمية والترافق ضرورية لبناء البنى القسمية (quotient structures) في الجبر الضبابي الصوري، وهي ضرورية للتطبيقات المتقدمة في التشفير ونظرية الترميز ضمن البيئات الضبابية.

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