Bases in finite groups of small order

Let $$I_n(G)$$ denote the number of elements of order n in a finite group G. In 1979, Herzog (Proc Am Math Soc 77:313–314, 1979) conjectured that two finite simple groups containing the same number of involutions have the same order. In a 2018 paper (Arch Math 111:349–351, 2018), Zarrin disproved Herzog’s conjecture with a counterexample. Then he conjectured that “if S is a non-abelian simple group and G a group such that $$I_2(G)=I_2(S)$$ and $$I_p(G) =I_p(S)$$ for some odd prime divisor p, then $$|G|=|S|$$ ”. In this paper, we give more counterexamples to Herzog’s conjecture. Moreover, we disprove Zarrin’s conjecture.

In this paper, we prove that the Cayley digraph Γ = Cay(G, S) of valency 2 on non-abelian group G of odd order is normal if the automorphism group of A(Γ), a graph constructed from Γ by using the method presented in the paper, is primitive on the vertices set V(A(Γ). We also prove that the Cayley digraphs of valency 2 on non-abelian group of order pq2 are normal, where p and q are distinct odd primes.

The enhanced power graph [Formula: see text] of a group [Formula: see text] is the graph with vertex set [Formula: see text] such that two vertices [Formula: see text] and [Formula: see text] are adjacent if they are contained in the same cyclic subgroup. We prove that finite groups with isomorphic enhanced power graphs have isomorphic directed power graphs. We show that any isomorphism between undirected power graph of finite groups is an isomorphism between enhanced power graphs of these groups, and we find all finite groups [Formula: see text] for which [Formula: see text] is abelian, all finite groups [Formula: see text] with [Formula: see text] being prime power, and all finite groups [Formula: see text] with [Formula: see text] being square-free. Also, we describe enhanced power graphs of finite abelian groups. Finally, we give a characterization of finite nilpotent groups whose enhanced power graphs are perfect, and we present a sufficient condition for a finite group to have weakly perfect enhanced power graph.

We construct sequencings for many groups that are a semi-direct product of an odd-order abelian group and a cyclic group of odd prime order. It follows from these constructions that there is a group-based complete Latin square of order $n$ if and only if $n \in \{ 1,2,4\}$ or there is a non-abelian group of order $n$.

Recently, it was proved that every p-Schur ring over an abelian group of order <TEX>$p^3$</TEX> is Schurian. In this paper, we prove that every commutative p-Schur ring over a non-abelian group of order <TEX>$p^3$</TEX> is Schurian.

Let G be a nonabelian group and associate a noncommuting graph ∇(G) with G as follows: The vertex set of ∇(G) is G\\Z(G) with two vertices x and y joined by an edge whenever the commutator of x and y is not the identity. In 1987, Professor J. G. Thompson gave the following conjecture. Thompson's Conjecture. If G is a finite group with Z(G) = 1 and M is a nonabelian simple group satisfying N(G) = N(M), then G ≅ M, where N(G):={n ∈ ℕ | G has a conjugacy class of size n}. In 2006, A. Abdollahi, S. Akbari, and H. R. Maimani put forward a conjecture (AAM's conjecture) in Abdollahi et al. (2006) as follows. AAM's Conjecture. Let M be a finite nonabelian simple group and G a group such that ∇(G) ≅ ∇ (M). Then G ≅ M. In this short article we prove that if G is a finite group with ∇(G) ≅ ∇ (A 10), then G ≅ A 10, where A 10 is the alternating group of degree 10.

An independent set of a graph is a set of pairwise non-adjacent vertices. The independence polynomial of a graph is defined as a polynomial in which the coefficient is the number of the independent set in the graph. Meanwhile, a graph of a group G is called conjugate graph if the vertices are non-central elements of G and two distinct vertices are adjacent if they are conjugate. The noncommuting graph is defined as a graph whose vertex set is non-central elements in which two vertices are adjacent if and only if they do not commute. In this research, the independence polynomial of the conjugate graph and noncommuting graph are found for three nonabelian groups of order at most eight.

For a prime p, a cyclic-by-p group G and a G-extension L|K of complete discrete valuation fields of characteristic p with algebraically closed residue field, the local lifting problem asks whether the extension L|K lifts to characteristic zero. In this thesis, we characterize D_4-extensions of fields of characteristic two, determine the ramification breaks of (suitable) D_4-extensions of complete discrete valuation fields of characteristic two, and solve the local lifting problem in the affirmative for every D_4-extension of complete discrete valuation fields of characteristic two with algebraically closed residue field; that is, we show that D_4 is a local Oort group for the prime 2. Furthermore, we characterize Q_8-extensions of fields of characteristic two, determine the ramification breaks of (suitable) Q_8-extensions of complete discrete valuation fields of characteristic two, and, by solving the local lifting problem in the negative for a family of Q_8-extensions of complete discrete valuation fields of characteristic two with algebraically closed residue field, show that neither Q_8 nor SL_2(Z/3Z) is an almost local Oort group for the prime 2.

A group $G$ is a CI-group with respect to graphs if two Cayley graphs of $G$ are isomorphic if and only if they are isomorphic by a group automorphism of $G$. We show that an infinite family of groups which include $D_n\times F_{3p}$ are not CI-groups with respect to graphs, where $p$ is prime, $n\not = 10$ is relatively prime to $3p$, $D_n$ is the dihedral group of order $n$, and $F_{3p}$ is the nonabelian group of order $3p$.

Let G be a finite nonabelian group and associate a disoriented noncommuting graph ∇(G) with G as follows: the vertex set of ∇(G) is G\Z(G) with two vertices x and y joined by an edge whenever the commutator of x and y is not the identity. In 1987, J. G. Thompson gave the following conjecture.Thompson's Conjecture If G is a finite group with Z(G) = 1 and M is a nonabelian simple group satisfying N(G) = N(M), then G ≅ M, where N(G) denotes the set of the sizes of the conjugacy classes of G.In 2006, A. Abdollahi, S. Akbari and H. R. Maimani put forward a conjecture in [1] as follows.AAM's Conjecture Let M be a finite nonabelian simple group and G a group such that ∇(G)≅ ∇ (M). Then G ≅ M.Even though both of the two conjectures are known to be true for all finite simple groups with nonconnected prime graphs, it is still unknown for almost all simple groups with connected prime graphs. In the present paper, we prove that the second conjecture is true for the projective special unitary simple group U4(7).

A subgroup [Formula: see text] of a group [Formula: see text] is said to be an [Formula: see text]-subgroup of [Formula: see text] if [Formula: see text]. We analyze the structure of a finite group [Formula: see text] under the assumption that some given subgroups of [Formula: see text] are [Formula: see text]-subgroups of [Formula: see text]. A new characterization of finite abelian groups and some new criteria for [Formula: see text]-nilpotence and nilpotence of finite groups will be obtained. Moreover, we will obtain two criteria for a finite group to lie in a given solvably saturated formation containing the class of finite supersolvable groups.

Perfect nonlinear functions between two finite abelian groups were studied by Carlet and Ding (J Complex 20:205---244, 2004) and Pott (Discret Math Appl 138:177---193, 2004), which can be regarded as a generalization of bent functions on finite abelian groups studied by Logachev et al. (Discret Math Appl 7:547---564, 1997). Poinsot (J Discret Math Sci Cryptogr 9:349---364, 2006), (Cryptogr Commun 4:1---23, 2012) extended this research to arbitrary finite groups, and characterized bent functions on finite nonabelian groups as well as perfect nonlinear functions between two arbitrary finite groups by the Fourier transforms of the related functions at irreducible unitary representations. The purpose of this paper is to study the characterizations of the bentness (perfect nonlinearity) of functions on arbitrary finite groups by the Fourier transforms of the related functions at irreducible characters. We will also give a characterization of a perfect nonlinear function by the relative pseudo-difference family.

On the extendability of Bi-Cayley graphs of finite abelian groups

We consider finite groups which admit a faithful, smooth action on an acyclic manifold of dimension three, four or five (e.g. euclidean space). Our first main result states that a finite group acting on an acyclic 3- or 4-manifold is isomorphic to a subgroup of the orthogonal group O(3) or O(4), respectively. The analogue remains open in dimension five (where it is not true for arbitrary continuous actions, however). We prove that the only finite nonabelian simple groups admitting a smooth action on an acyclic 5-manifold are the alternating groups A_5 and A_6, and deduce from this a short list of finite groups, closely related to the finite subgroups of SO(5), which are the candidates for orientation-preserving actions on acyclic 5-manifolds.

We survey recent results regarding embeddings of finite simple groups (and their nonsplit central extensions) in complex Lie groups, especially the Lie groups of exceptional type. Introduction Throughout this paper, L will be a finite group. Representation theory for L is usually understood to be the study of group morphisms L → GL(n, k) for distinguished collections of fields k (e.g., all overfields of a fixed field F ) and positive integers n . The topic of this survey is motivated by the question as to what happens if GL ( n ,·) is replaced by another algebraic group G (·). We shall mainly be concerned with the case where L is a finite simple group (that is, a finite nonabelian simple group) or a central extension thereof, and G(k) is a connected simple algebraic group over a field k . A further restriction of our discussion concerns the field k . It will mostly be taken to be the complex numbers, in which case we will mainly study group morphisms from L to the complex Lie group G (ℂ). (See below for some exceptions in §3 and §5.) For G (·) of classical type, the theory for representations L → G (ℂ) differs little from the usual one for GL ( n , ℂ). Indeed, a representation L → GL ( n , ℂ) decomposes into irreducible subrepresentations. The decomposition is well controlled by character theory.