On finite groups whose power graphs are line graphs

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.

Variants of some of the Brauer-Fowler theorems

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.

In this article, it is shown that the normalizer property holds for the following two kinds of finite nilpotent-by-nilpotent groups: (1) G = NwrH is the standard wreath product of N by H, where N is a finite nilpotent group and H is a finite abelian 2-group; (2) G is a finite group having a normal nilpotent subgroup N such that the integral group ring ℤ(G/N) has only trivial units. Our results generalize a result of Yuanlin Li and extend some ones obtained by Juriaans, Miranda, and Robério.

In this note, we show that among finite nilpotent groups of a given order or finite groups of a given odd order, the cyclic group of that order has the minimum number of edges in its cyclic subgroup graph. We also conjecture that this holds for arbitrary finite groups.

The power graph P(G) of a group G is a graph with vertex set G, where two vertices u and v are adjacent if and only if and or for some positive integer m. In this paper, we raise and study the following question: For which natural numbers n every two groups of order n with isomorphic power graphs are isomorphic? In particular, it is proved that all such odd number n are cube-free and also they are not multiples of 16 in general. Moreover, we show that if two finite groups have isomorphic power graphs and one of them is nilpotent, the same is true for the other one.

In a graph Γ = ( V , E ) \Gamma=(V,E) , we consider the common closed neighbourhood of a subset of vertices and use this notion to introduce a Moore closure operator in 𝑉. We also consider the closed twin equivalence relation in which two vertices are equivalent if they have the same closed neighbourhood. Those notions are explored deeply in the case when Γ is the power graph associated with a finite group 𝐺. In that case, among the corresponding closed twin equivalence classes, we introduce the concepts of plain, compound and critical classes. The study of critical classes, together with properties of the Moore closure operator, allow us to correct a mistake in the proof of [P. J. Cameron, The power graph of a finite group, II, J. Group Theory 13 (2010), 6, 779–783; Theorem 2] and to deduce a simple algorithm to reconstruct the directed power graph of a finite group from its undirected counterpart, as asked in [P. J. Cameron, Graphs defined on groups, Int. J. Group Theory 11 (2022), 2, 53–107; Question 2].

It is shown that any finite group 𝐴 is realizable as the automizer in a finite perfect group 𝐺 of an abelian subgroup whose conjugates generate 𝐺. The construction uses techniques from fusion systems on arbitrary finite groups, most notably certain realization results for fusion systems of the type studied originally by Park.

We consider a variant of random walks on finite groups. At each step, we\nchoose an element from a set of generators ("directions") uniformly, and an\ninteger from a power law ("speed") distribution associated with the chosen\ndirection. We show that if the finite group is nilpotent, the mixing time of\nthis walk is of the same order of magnitude as the diameter of a suitable\npseudo-metric, D(S, a), on the group, which depends only on the generators and\nspeeds. Additionally, we give sharp bounds on the $\\ell^2$-distance between the\ndistribution of the position of the walker and the stationary distribution, and\ncompute D(S,a) for some examples.\n

We show that every action of a finite dihedral group on a closed orientable surface F \mathcal F extends to a 3-dimensional handlebody V \mathcal V , with ∂ V = F \partial \mathcal V=\mathcal F . In the case of a finite abelian group G G , we give necessary and sufficient conditions for a G G -action on a surface to extend to a compact 3 3 -manifold, or, equivalently in this case, to a 3-dimensional handlebody; in particular all (fixed-point) free actions of finite abelian groups extend to handlebodies. This is no longer true for free actions of arbitrary finite groups: we give a procedure which allows us to construct free actions of finite groups on surfaces which do not extend to a handlebody. We also show that the unique Hurwitz action of order 84 ( g − 1 ) 84(g-1) of P S L ( 2 , 27 ) PSL(2,27) on a surface F \mathcal F of genus g = 118 g=118 does not extend to any compact 3-manifold M M with ∂ M = F \partial M=\mathcal F , thus resolving the only case of Hurwitz actions of type P S L ( 2 , q ) PSL(2,q) of low order which remained open in an earlier paper (Math. Proc. Cambridge Philos. Soc. 117 (1995), 137–151).

Let G be a finite abelian group with identity 0. For an integer the additive power graph of G is the simple undirected graph with vertex set G in which two distinct vertices x and y are adjacent if and only if x + y = nt for some with When the additive power graph has been studied in the name of square graph of finite abelian groups. In this paper, we study the additive power graph of G with n = 3 and name the graph as the cubic power graph. The cubic power graph of G is denoted by More specifically, we obtain the diameter and the girth of the graph and its complement Using these, we obtain a condition for and its complement to be self-centered. Also, we obtain the independence number, the clique number and the chromatic number of and its complement and hence we prove that and its complement are weakly perfect. Also, we discuss about the perfectness of At last, we obtain a condition for and its complement to be vertex pancyclic.

It is well known that every local formation of finite soluble groups possesses three distinguished local definitions consisting of finite soluble groups: the minimal one, the full and integrated one, and the maximal one. As far as the first and the second of these are concerned, this statement remains true in the context of arbitrary finite groups. Doerk, Šemetkov, and Schmid have posed the problem of whether every local formation of finite groups has a distinguished (that is, unique) maximal local definition. In this paper a description of local formations with a unique maximal local definition is given, from which counter-examples emerge. Furthermore, a criterion for a formation function to be a local definition of a given local formation is obtained.

Weights for symmetric and general linear groups

On the chromatic number of the power graph of a finite group

‎In this paper‎, ‎exact formulas for the dependence‎, ‎independence‎, ‎vertex cover and clique polynomials of the power graph and its‎ ‎supergraphs for certain finite groups are presented‎.