مشخصه جدید بعضی ازگروه های ساده متناهی

بعد از رده بندی گروه های ساده متناهی، یکی از مسایل مهم که مورد بحث محققین قرارگرفت مساله  تشخیص پذیری یک گروه با یک ویژگی خاص است، در واقع گروه 𝐺 با خاصیت 𝑀 تشخیص پذیر است هرگاه گروه 𝐺 تحت یکریختی تنها گروهی با خاصیت 𝑀 باشد. تا کنون در این زمینه تشخیص پذیرهای زیادی با روشهای مختلف توسط محققین مورد بررسی قرار گرفته شده است؛ به عنوان مثال تشخیص پذیری با استفاده از مرتبه ی عناصر، تعداد عناصر هم مرتبه، بزرگترین مرتبه ی عناصر، انواع مختلف گرافهاو... مورد بررسی قرار گرفته شده است. دراین مقاله ثابت می کنیم که گروه های استینبرگ ( که درآن   عددی اول است، با استفاده از مرتبه ی گروه و بزرگترین مرتبه ی عناصرگروه تشخیص پذیر است.بعد از رده بندی گروه های ساده متناهی، یکی از مسایل مهم که مورد بحث محققین قرارگرفت مساله  تشخیص پذیری یک گروه با یک ویژگی خاص است، در واقع گروه  با خاصیت تشخیص پذیر است هرگاه گروه  تحت یکریختی تنها گروهی با خاصیت  باشد. تا کنون در این زمینه تشخیص پذیرهای زیادی با روشهای مختلف توسط محققین مورد بررسی قرار گرفته شده است؛ به عنوان مثال تشخیص پذیری با استفاده از مرتبه ی عناصر، تعداد عناصر هم مرتبه، بزرگترین مرتبه ی عناصر، انواع مختلف گرافهاو... مورد بررسی قرار گرفته شده است. دراین مقاله ثابت می کنیم که گروه های استینبرگ ( که درآن   عددی اول است، با استفاده از مرتبه ی گروه و بزرگترین مرتبه ی عناصرگروه تشخیص پذیر است.

a new recognition of some finite simple groups

introductionin this paper g is considered to be a finite group. we denote the set of elements order and the set of prime divisors of order g by πeg and π(g) , respectively. the largest element order of g is denoted by k1 (g), and the prime graph of g is denoted by γ(g) , where two vertices u and v are adjacent if uv ∈πeg . after classification of finite simple groups, the problem that came to the researchers’ attention was the problem of recognizing a group with a specific characteristic. properties such as elements order, the set of elements with the same order, graphs, etc. in fact we say the group g by property m is recognizable, whenever by isomorphic g be the only group by property m. the other methods are group recognition by using the order of the group and the largest element order. in other words, we say the group g is recognizably by using the order of the g and the largest element order whenever there exists group h so that ∣g∣= ∣h∣ and k1g=k1 (h) then  g≅   h. it is known that some of groups are recognizable by this method. in this paper, we prove that the stienberg group 3d4(2n ), where 24n-22n+1  is a prime number are recognizable by using the order of the group and the largest element order. in other words, we have the following main theorem.main theorem let g be a group with the steinberg group  3d4(2n ), where24n-22n+1  is a prime number such that ∣g∣= ∣ 3d4(2n )∣ and k1g=k1 ( 3d4(2n )), then g≅    3d4(2n ).material and methodsin this research we prove that steinberg group 3d4(2n ), where 24n-22n+1  is a prime number by using the order of the group and the largest element order. in order to prove the main theorem, we used lemmas 4.2, 7.2 of the reference [18].results and discussionin this section we prove the main result of this article. for simplicity the steinberg simple group and prime number are denoted by d and p respectively.  as mentioned in the previous section to prove the main result of this article we use the lemma 4.2 of [18]. we prove p is an isolated vertex of prime graph. using lemma 4.2 we prove that g neither a frobenius nor 2-frobenius group. and for the case c this lemma is satisfied. in other words, g has a normal series such that h and g/k   and k/h are non-abelian simple groups. moreover, h is a nilpotent group. every odd components of prime is an odd component of the prime graph.  in the next step, by using lemma 7.2, since (5, ∣g∣)=1, we consider the groups of this lemma. we also prove that isomorphism k/h≇l2 (q) , l3 (q), u3(q)  , g2q,  2g2(q ), are  a contradiction. finally we have k/h ≅ 3d4(2n ). the proof be completed.conclusionwe conclude that in addition to a previously known criterion(test) for steinberg groups recognition by their 2-sylow subgroups(anthony hughes, characterization of 3d4 (q3), q = 2n  by its sylow 2-subgroup, proceedings of the conference on finite groups,1976, pages 103-105) and also the same order components (guiyun chen, characterization of 3d4(q), southeast asian bulletin of mathematics, 25, pages 389–401,2002). next, in this paper we can recognize them by the order of the group and the largest element order of the group.