تقدم هذه الورقة العلمية بعض الصفات الثابتة بالتماثل في الزمر مع توظيفها في خوارزمية لاختبار زمرتين منتهيتي التمثيل. و تبدأ هذه الخوارزمية بإيجاد الزمر الدوارة المحتواة في كل من الزمرتين المطلوب اختبارهما، و من ثم يقارن توزع مجموعة معينة من عناصر الزمرتين الخاضعتين للاختبار ضمن تلك الزمر الدوارة. تهدف الخوارزمية إلى الوصول إلى إحدى النتيجتين:
1. الحصول على زمرتين تملكان البصمة نفسها.
2. إثبات أن الزمرتين الخاضعتين للاختبار غير متماثلتين.
This paper introduces some isomorphism-invariants for groups and uses
them to test two finitely presented groups. The introduced algorithm starts with
the construction of all cyclic groups contained in the groups under test, then it
compares the distribution of a particular set of elements in the constructed
cyclic groups. The algorithm leads to one of these two results:
1. The groups have the same "fingerprint"
2. The groups are not isomorphic
References used
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
The objective of this studying is the important answer on the following open question : Let G and G' be two fuzzy groups and L(G), L(G') be lattices for them, respectively,
We have shown that this statement don’t true in the case general, and we sup
It is known that (Z×Z) is a semigroup with respect to addition, and it can
be endowed with the discrete topology; where Z is the set of integers. We can
make β(Z×Z), the Stone –Cech compactification of (Z×Z), a right –
topological semi group (Baker & Butcher).
The paper aims to distinguish the couple-couple non-isomorphism
hypergraphs, which have a known vertexes number, Z, and sides number, d.
To solve this problem a number of criteria graded in distinguishing
accuracy are developed.
It also presents
Previous research has used linguistic features to show that translations exhibit traces of source language interference and that phylogenetic trees between languages can be reconstructed from the results of translations into the same language. Recent
Blood groups are of greatclinical importancein blood transfusion and in tissue
transplantation. In fact,the discovery ofthe ABOsystemwas oneof the most importantfactors in making the
practice ofblood transfusion possible.The person`sABO bloodtypeis