A lattice of homomorphs
Menon’s identity is a classical identity involving gcd sums and the Euler totient function . A natural generalization of is the Klee’s function . We derive a Menon-type identity using Klee’s function and a generalization of the gcd function. This identity generalizes an identity given by Y. Li and D. Kim (2017).
Let be a finite group and a prime number. We prove that if is a finite group of order such that has an irreducible character of degree and we know that has no irreducible character such that , then is isomorphic to . As a consequence of our result we prove that is uniquely determined by the structure of its complex group algebra.
Let be a finite group and the set of numbers of elements with the same order in . In this paper, we prove that a finite group is isomorphic to , where is one of the Mathieu groups, if and only if the following hold: (1) , (2) .
One of the important questions that remains after the classification of the finite simple groups is how to recognize a simple group via specific properties. For example, authors have been able to use graphs associated to element orders and to number of elements with specific orders to determine simple groups up to isomorphism. In this paper, we prove that Suzuki groups , where is a prime number can be uniquely determined by the order of group and the number of elements with the same order.
Let be a group and be the set of element orders of . Let and be the number of elements of order in . Let nse. Assume is a prime number and let be a group such that nse nse, where is the symmetric group of degree . In this paper we prove that , if divides the order of and does not divide it. To get the conclusion we make use of some well-known results on the prime graphs of finite simple groups and their components.
is the group presented by . In this paper, we study the structure of . We also give a new efficient presentation for the Projective Special Linear group and in particular we prove that is isomorphic to under certain conditions.
In this note we study finite -groups admitting a factorization by an Abelian subgroup and a subgroup . As a consequence of our results we prove that if contains an Abelian subgroup of index then has derived length at most .