الصفات الثابتة بالتماثل و تطبيقها في التحقق من تماثل الزمر منتهية التمثيل
نشر في جامعة دمشق
بتاريخ 2013
في مجال
والبحث باللغة
العربية
تحميل البحث
الملخص بالعربية
تقدم هذه الورقة العلمية بعض الصفات الثابتة بالتماثل في الزمر مع توظيفها في خوارزمية لاختبار زمرتين منتهيتي التمثيل. و تبدأ هذه الخوارزمية بإيجاد الزمر الدوارة المحتواة في كل من الزمرتين المطلوب اختبارهما، و من ثم يقارن توزع مجموعة معينة من عناصر الزمرتين الخاضعتين للاختبار ضمن تلك الزمر الدوارة. تهدف الخوارزمية إلى الوصول إلى إحدى النتيجتين:
1. الحصول على زمرتين تملكان البصمة نفسها.
2. إثبات أن الزمرتين الخاضعتين للاختبار غير متماثلتين.
المراجع المستخدمة
Holt, D. F., Bettina Eick and Eamonn A.O’Brien. (2005). Handbook of Computational Group Theory. Chapman & Hall/CRC Press
Holt, D. F. and Sarah Rees. (1992). Testing for isomorphism between finitely presented groups. Groups, Combinatorics & Geometry Durham, 1990. London Mathematical Society Lecture Note Series 165. 459-475
Magnus, W., Karrass, A. and Solitar, D. (1966). Combinatorial Group Theory Presentations of Groups in Terms of Generators and Relations. Dover Publications, INC. New York