الصفات الثابتة بالتماثل و تطبيقها في التحقق من تماثل الزمر منتهية التمثيل

Isomorphism-invariants and their applications in testing for isomorphism between finitely presented groups

أعلن في شمرا
226   0   15   0 ( 0 )
 تاريخ النشر 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
قيم البحث
أعلن في شمرا
التعليقات
جاري جلب التعليقات جاري جلب التعليقات