On the structure of finite groups with dominatable enhanced power graph

Let [Formula: see text] be a group. The enhanced power graph of [Formula: see text] is a graph with vertex set [Formula: see text] and two distinct vertices [Formula: see text] and [Formula: see text] are adjacent if there exists [Formula: see text] such that [Formula: see text] and [Formula: see text] for some [Formula: see text]. Also, a vertex of a graph is called dominating vertex if it is adjacent to every other vertex of the vertex set. Moreover, an enhanced power graph is said to be a dominatable graph if it has a dominating vertex other than the identity element. In an article of 2018, Bera and his coauthor characterized all abelian finite groups and nonabelian finite [Formula: see text]-groups such that their enhanced power graphs are dominatable (see [2]). In addition as an open problem, they suggested characterizing all finite nonabelian groups such that their enhanced power graphs are dominatable. In this paper, we try to answer their question. We prove that the enhanced power graph of finite group [Formula: see text] is dominatable if and only if there is a prime number [Formula: see text] such that [Formula: see text] and the Sylow [Formula: see text]-subgroups of [Formula: see text] are isomorphic to either a cyclic group or a generalized quaternion group.

Some Results of The Coprime Graph of a Generalized Quaternion Group Q_4n

The Coprime graph is a graph from a finite group that is defined based on the order of each element of the group. In this research, we determine the coprime graph of generalized quaternion group Q_(4n) and its properties. The method used is to study literature and analyze by finding patterns based on some examples. The first result of this research is the form of the coprime graph of a generalized quaternion group Q_(4n) when n = 2^k, n an odd prime number, n an odd composite number, and n an even composite number. The next result is that the total of a cycle contained in the coprime graph of a generalized quaternion group Q_(4n) and cycle multiplicity when is an odd prime number is p-1.Keywords: Coprime graph, generalized quaternion group, order, path AbstrakGraf koprima merupakan graf dari dari suatu grup hingga yang didefiniskan berdasarkan orde dari masing-masing elemen grup tersebut. Pada penelitian ini akan dibahas tentang bentuk graf koprima dari grup generalized quaternion Q_(4n). Metode yang digunakan dalam penelitian ini adalah studi literatur dan melakukan analisis berdasarkan pola yang ditemukan dalam beberapa contoh. Adapun hasil pertama dari penelitian adalah bentuk graf koprima dari grup generalized quaternion Q_(4n) untuk kasus n = 2^k, n bilangan prima ganjil ganjil, n bilangan komposit ganjil dan n bilangan komposit genap. Hasil selanjutnya adalah total sikel pada graf koprima dari grup generalized quaternion dan multiplisitas sikel ketika bilangan prima ganjil adalah p-1.Kata kunci: Graf koprima, grup generalized quternion, orde

The Commuting Graphs on Dicyclic Groups

For a group G and a non-empty subset Ω of G, the commuting graph [Formula: see text] of Ω is a graph whose vertex set is Ω and any two vertices are adjacent if and only if they commute in G. Define [Formula: see text], the dicyclic group of order [Formula: see text] [Formula: see text], which is also known as the generalized quaternion group. We mainly investigate the properties and metric dimension of the commuting graphs on the dicyclic group [Formula: see text].

Classification of the affine structures of a generalized quaternion group of order ⩾32{\geqslant 32}

Based on computing evidence, Guarnieri and Vendramin conjectured that, for a generalized quaternion group G of order {2^{n}\geqslant 32}, there are exactly seven isomorphism classes of braces with adjoint group G. The conjecture is proved in the paper.

Separable deformations of the generalized quaternion group algebras

The group algebras {kQ_{2^{n}}} of the generalized quaternion groups {Q_{2^{n}}} over fields k which contain {\mathbb{F}_{2^{n-2}}} are deformed to separable {k((t))}-algebras {[kQ_{2^{n}}]_{t}}. The dimensions of the simple components of {\overline{k((t))}\otimes_{k((t))}[kQ_{2^{n}}]_{t}} over the algebraic closure {\overline{k((t))}}, and those of {\mathbb{C}Q_{2^{n}}} over {\mathbb{C}} are the same, yielding strong solutions of the Donald–Flanigan conjecture for the generalized quaternion groups.

The metric dimension of the enhanced power graph of a finite group

The enhanced power graph of a finite group [Formula: see text] is the graph whose vertex set is [Formula: see text], and two distinct vertices are adjacent if they generate a cyclic subgroup of [Formula: see text]. In this paper, we establish an explicit formula for the metric dimension of an enhanced power graph. As an application, we compute the metric dimension of the enhanced power graph of an elementary abelian [Formula: see text]-group, a dihedral group and a generalized quaternion group.

Finite nilpotent groups that coincide with their 2-closures in all of their faithful permutation representations

Let [Formula: see text] be any group and [Formula: see text] be a subgroup of [Formula: see text] for some set [Formula: see text]. The [Formula: see text]-closure of [Formula: see text] on [Formula: see text], denoted by [Formula: see text], is by definition, [Formula: see text] The group [Formula: see text] is called [Formula: see text]-closed on [Formula: see text] if [Formula: see text]. We say that a group [Formula: see text] is a totally[Formula: see text]-closed group if [Formula: see text] for any set [Formula: see text] such that [Formula: see text]. Here we show that the center of any finite totally 2-closed group is cyclic and a finite nilpotent group is totally 2-closed if and only if it is cyclic or a direct product of a generalized quaternion group with a cyclic group of odd order.

FREE ACTION OF FINITE GROUPS ON SPACES OF COHOMOLOGY TYPE (0, b)

Let G be a finite group acting freely on a finitistic space X having cohomology type (0, b) (for example, $\mathbb S$n × $\mathbb S$2n is a space of type (0, 1) and the one-point union $\mathbb S$n ∨ $\mathbb S$2n ∨ $\mathbb S$3n is a space of type (0, 0)). It is known that a finite group G that contains ℤp ⊕ ℤp ⊕ ℤp, p a prime, cannot act freely on $\mathbb S$n × $\mathbb S$2n. In this paper, we show that if a finite group G acts freely on a space of type (0, 1), where n is odd, then G cannot contain ℤp ⊕ ℤp, p an odd prime. For spaces of cohomology type (0, 0), we show that every p-subgroup of G is either cyclic or a generalized quaternion group. Moreover, for n even, it is shown that ℤ2 is the only group that can act freely on X.