Showing 1–18 of 18 results for author: Iranmanesh, A

Characterization of PSL(2,11) by the set U(G)

Authors: Mina Hemmati Tirabadi, Ali Iranmanesh

Abstract: In this paper, we prove that if G is a finite simple group with the same-size conjugacy class set U(G) = U(PSL(2, 11)), then G is isomorphic to PSL(2, 11). In this paper, we prove that if G is a finite simple group with the same-size conjugacy class set U(G) = U(PSL(2, 11)), then G is isomorphic to PSL(2, 11). △ Less

Submitted 6 June, 2025; v1 submitted 28 December, 2024; originally announced December 2024.

MSC Class: 20E45; 20E32

Tetravalent vertex-transitive graphs of order $6p$

Authors: Majid Arezoomand, Mohsen Ghasemi, Mohammad A. Iranmanesh

Abstract: A graph is vertex-transitive if its automorphism group acts transitively on vertices of the graph. A vertex-transitive graph is a Cayley graph if its automorphism group contains a subgroup acting regularly on its vertices. In this paper, the tetravalent vertex-transitive non-Cayley graphs of order $6p$ are classified for each prime $p$. A graph is vertex-transitive if its automorphism group acts transitively on vertices of the graph. A vertex-transitive graph is a Cayley graph if its automorphism group contains a subgroup acting regularly on its vertices. In this paper, the tetravalent vertex-transitive non-Cayley graphs of order $6p$ are classified for each prime $p$. △ Less

Submitted 8 March, 2022; originally announced March 2022.

Totally $2$-closed finite groups with trivial Fitting subgroup

Authors: Majid Arezoomand, Mohammad A. Iranmanesh, Cheryl E. Praeger, Gareth Tracey

Abstract: A group $G$ is said to be totally $2$-closed if in each of its faithful permutation representations, say on a set $Ω$, $G$ is the largest subgroup of $\mathrm{Sym}(Ω)$ which leaves invariant each of the $G$-orbits for the induced action on $Ω\times Ω$. We prove that there are precisely $47$ finite totally $2$-closed groups with trivial Fitting subgroup. Each of these groups is a direct product of… ▽ More A group $G$ is said to be totally $2$-closed if in each of its faithful permutation representations, say on a set $Ω$, $G$ is the largest subgroup of $\mathrm{Sym}(Ω)$ which leaves invariant each of the $G$-orbits for the induced action on $Ω\times Ω$. We prove that there are precisely $47$ finite totally $2$-closed groups with trivial Fitting subgroup. Each of these groups is a direct product of pairwise non-isomorphic sporadic simple groups, with the direct factors coming from the Janko groups $\mathrm{J}_1, \mathrm{J}_3$ and $\mathrm{J}_4$, together with $\mathrm{Ly}, \mathrm{Th}$ and the Monster $\mathbb{M}$. These are the first known examples of insoluble totally $2$-closed groups. As a by-product of our methods, we develop several tools for studying $2$-closures of transitive permutation groups -- a vital tool in the study of representations of finite groups as automorphism groups of digraphs. We also prove a dual to a 1939 theorem of Frucht from Algebraic Graph Theory. △ Less

Submitted 4 November, 2021; v1 submitted 3 November, 2021; originally announced November 2021.

Comments: 53 pages

MSC Class: 20B05; 20E42; 05C20

Action of automorphisms on irreducible characters of groups of type \textsf{A}

Authors: Farrokh Shirjian, Ali Iranmanesh

Abstract: Let $G$ be a finite group isomorphic to $SL_n(q)$ or $SU_n(q)$ for some prime power $q$. In this paper, we give an explicit description of the action of automorphisms of $G$ on the set of its irreducible complex characters. This is done by showing that irreducible constituents of restrictions of irreducible characters of $GL_n(q)$ (resp. $GU_n(q)$) to $SL_n(q)$ (resp. $SU_n(q)$) can be distinguish… ▽ More Let $G$ be a finite group isomorphic to $SL_n(q)$ or $SU_n(q)$ for some prime power $q$. In this paper, we give an explicit description of the action of automorphisms of $G$ on the set of its irreducible complex characters. This is done by showing that irreducible constituents of restrictions of irreducible characters of $GL_n(q)$ (resp. $GU_n(q)$) to $SL_n(q)$ (resp. $SU_n(q)$) can be distinguished by the rational classes of their unipotent support which are equivariant under the action of automorphisms. Meanwhile, we give a criterion to explicitly determine whether an irreducible character is a constituent of a given generalized Gelfand-Graev character of $G$. As as application, we give a short proof of the global side of Sp{\" a}th's criterion for the inductive McKay condition for the irreducible characters of $G$. △ Less

Submitted 20 August, 2021; originally announced August 2021.

Comments: 12 pages

MSC Class: 20C33 (Primary); 20C15 (Secondary)

Domination parameters and diameter of Abelian Cayley graphs

Authors: Mohammad A. Iranmanesh, Nasrin Moghaddami

Abstract: Using the domination parameters of Cayley graphs constructed out of $\mathbb{Z}_{p}\times \mathbb{Z}_{m}$, where $m\in\{p^α, p^αq^β, p^αq^βr^γ\},$ in this paper we are discussing about the total and connected domination number and diameter of these Cayley graphs. Using the domination parameters of Cayley graphs constructed out of $\mathbb{Z}_{p}\times \mathbb{Z}_{m}$, where $m\in\{p^α, p^αq^β, p^αq^βr^γ\},$ in this paper we are discussing about the total and connected domination number and diameter of these Cayley graphs. △ Less

Submitted 10 November, 2020; originally announced November 2020.

Some properties of Cayley signed graphs on finite abelian groups

Authors: Mohammad A. Iranmanesh, Nasrin Moghaddami

Abstract: Let $Σ=(Γ, σ)$ is a signed graph(or sigraph in short), where $Γ$ is a underlying graph of $Σ$ and $σ:E\longrightarrow \{+, -\}$ is a function. Consider $Γ=Cay(\mathbb{Z}_{p_{1}}\times \mathbb{Z}_{p_{1}^{α_{1}}p_{2}^{α_{2}} \ldots p_{k}^{α_{k}}}, Φ)$, where all $p_{1}, p_{2}, \ldots, p_{k}$ are distinct prime factors and… ▽ More Let $Σ=(Γ, σ)$ is a signed graph(or sigraph in short), where $Γ$ is a underlying graph of $Σ$ and $σ:E\longrightarrow \{+, -\}$ is a function. Consider $Γ=Cay(\mathbb{Z}_{p_{1}}\times \mathbb{Z}_{p_{1}^{α_{1}}p_{2}^{α_{2}} \ldots p_{k}^{α_{k}}}, Φ)$, where all $p_{1}, p_{2}, \ldots, p_{k}$ are distinct prime factors and $Φ=\varphi_{p_{1}}\times\varphi_{p_{1}^{α_{1}}p_{2}^{α_{2}} \ldots p_{k}^{α_{k}}}$. For any positive integer $n$, $\varphi_{n}=\{\ell| 1\leq \ell<n, \gcd(\ell, n)=1\}$. Motivated by \cite{s14}, we will investigate balancing in $Σ$ and $L(Σ)$, clusterability and sign-compatibility of $Σ$. △ Less

Submitted 10 November, 2020; originally announced November 2020.

The minimum harmonic index for bicyclic graphs with given diameter

Authors: A. Abdolghafourian, Mohammad A. Iranmanesh

Abstract: The harmonic index of a graph $G$, is defined as the sum of weights $\frac{2}{d(u)+d(v)}$ of all edges $uv$ of $G$, where $d(u)$ is the degree of the vertex $u$ in $G$. In this paper we find the minimum harmonic index of bicyclic graph of order $n$ and diameter $d$. We also characterized all bicyclic graphs reaching the minimum bound. The harmonic index of a graph $G$, is defined as the sum of weights $\frac{2}{d(u)+d(v)}$ of all edges $uv$ of $G$, where $d(u)$ is the degree of the vertex $u$ in $G$. In this paper we find the minimum harmonic index of bicyclic graph of order $n$ and diameter $d$. We also characterized all bicyclic graphs reaching the minimum bound. △ Less

Submitted 10 November, 2020; originally announced November 2020.

On $n$-centralizer $CA$-groups

Authors: Mohammad A. Iranmanesh, Mohammad Hossein Zareian

Abstract: Let $G$ be a finite non-abelian group and $m=|G|/|Z(G)|$. In this paper we investigate $m$-centralizer group $G$ with cyclic center and we will prove that if $G$ is a finite non-abelian $m$-centralizer $CA$-group, then there exists an integer $r>1$ such that $m=2^r.$ It is also prove that if $G$ is an $m$-centralizer non-abelian finite group which is not a $CA$-group and its derived subgroup $G'$… ▽ More Let $G$ be a finite non-abelian group and $m=|G|/|Z(G)|$. In this paper we investigate $m$-centralizer group $G$ with cyclic center and we will prove that if $G$ is a finite non-abelian $m$-centralizer $CA$-group, then there exists an integer $r>1$ such that $m=2^r.$ It is also prove that if $G$ is an $m$-centralizer non-abelian finite group which is not a $CA$-group and its derived subgroup $G'$ is of order 2, then there exists an integer $s>1$ such that $m=2^{2s}.$ △ Less

Submitted 10 November, 2020; originally announced November 2020.

On $\BCI$-groups and $\CI$-groups

Authors: Asieh Sattari, Majid Arezoomand, Mohammad A. Iranmanesh

Abstract: Let $G$ be a finite group and $S$ be a subset of $G.$ A bi-Cayley graph $\BCay(G,S)$ is a simple and an undirected graph with vertex-set $G\times\{1,2\}$ and edge-set $\{\{(g,1),(sg,2)\}\mid g\in G, s\in S\}$. A bi-Cayley graph $\BCay(G,S)$ is called a $\BCI$-graph if for any bi-Cayley graph $\BCay(G,T)$, whenever $\BCay(G,S)\cong\BCay(G,T)$ we have $T=gS^σ$ for some $g\in G$ and $σ\in\Aut(G).$ A… ▽ More Let $G$ be a finite group and $S$ be a subset of $G.$ A bi-Cayley graph $\BCay(G,S)$ is a simple and an undirected graph with vertex-set $G\times\{1,2\}$ and edge-set $\{\{(g,1),(sg,2)\}\mid g\in G, s\in S\}$. A bi-Cayley graph $\BCay(G,S)$ is called a $\BCI$-graph if for any bi-Cayley graph $\BCay(G,T)$, whenever $\BCay(G,S)\cong\BCay(G,T)$ we have $T=gS^σ$ for some $g\in G$ and $σ\in\Aut(G).$ A group $G$ is called a $\BCI$-group if every bi-Cayley graph of $G$ is a $\BCI$-graph. In this paper, we showed that every $\BCI$-group is a $\CI$-group, which gives a positive answer to a conjecture proposed by Arezoomand and Taeri in \cite{arezoomand1}. Also we proved that there is no any non-Abelian $4$-$\BCI$-simple group. In addition all $\BCI$-groups of order $2p$, $p$ a prime, are characterized. △ Less

Submitted 14 March, 2020; originally announced March 2020.

Comments: 12 pages

supercharacter table of certain finite groups

Authors: Hadiseh Saydi, Mohammad Reza Darafsheh, Ali Iranmanesh

Abstract: Supercharacter theory is developed by P. Diaconis and I. M. Isaacs as a natural generalization of the classical ordinary character theory. Some classical sums of number theory appear as supercharacters which are obtained by the action of certain subgroups of GLd(Zn) on Zdn. In this paper we take Zdp , p prime, and by the action of certain subgroups of GLd(Zp) we find supercharacter table of Zdp . Supercharacter theory is developed by P. Diaconis and I. M. Isaacs as a natural generalization of the classical ordinary character theory. Some classical sums of number theory appear as supercharacters which are obtained by the action of certain subgroups of GLd(Zn) on Zdn. In this paper we take Zdp , p prime, and by the action of certain subgroups of GLd(Zp) we find supercharacter table of Zdp . △ Less

Submitted 23 February, 2020; originally announced February 2020.

MSC Class: 20C15; 20D15; 11T23

The influence of cut vertices and eigenvalues on character graphs of solvable groups

Authors: Roghayeh Hafezieh, Mohammad Ali Hosseinzadeh, Samaneh Hossein-Zadeh, Ali Iranmanesh

Abstract: Given a finite group $G$, the character graph, denoted by $Δ(G)$, for its irreducible character degrees is a graph with vertex set $ρ(G)$ which is the set of prime numbers that divide the irreducible character degrees of $G$, and with $\{p,q\}$ being an edge if there exist a non-linear $χ\in {\rm Irr}(G)$ whose degree is divisible by $pq$. In this paper, we discuss the influences of cut vertices a… ▽ More Given a finite group $G$, the character graph, denoted by $Δ(G)$, for its irreducible character degrees is a graph with vertex set $ρ(G)$ which is the set of prime numbers that divide the irreducible character degrees of $G$, and with $\{p,q\}$ being an edge if there exist a non-linear $χ\in {\rm Irr}(G)$ whose degree is divisible by $pq$. In this paper, we discuss the influences of cut vertices and eigenvalues of $Δ(G)$ on the group structure of $G$. Recently, Lewis and Meng proved the character graph of each solvable group has at most one cut vertex. Now, we determine the structure of character graphs of solvable groups with a cut vertex and diameter $3$. Furthermore, we study solvable groups whose character graphs have at most two distinct eigenvalues. Moreover, we investigate the solvable groups whose character graphs are regular with three distinct eigenvalues. In addition, we give some lower bounds for the number of edges of $Δ(G)$. △ Less

Submitted 19 September, 2019; originally announced September 2019.

MSC Class: 20C15

The Divisibility Graph of finite groups of Lie Type

Authors: Adeleh Abdolghafourian, Mohammad A. Iranmanesh, Alice C. Niemeyer

Abstract: The Divisibility Graph of a finite group $G$ has vertex set the set of conjugacy class lengths of non-central elements in $G$ and two vertices are connected by an edge if one divides the other. We determine the connected components of the Divisibility Graph of the finite groups of Lie type in odd characteristic. The Divisibility Graph of a finite group $G$ has vertex set the set of conjugacy class lengths of non-central elements in $G$ and two vertices are connected by an edge if one divides the other. We determine the connected components of the Divisibility Graph of the finite groups of Lie type in odd characteristic. △ Less

Submitted 13 December, 2016; originally announced December 2016.

MSC Class: 20G40 (Primary); 05C25 (Secondary)

Quotient graphs for power graphs

Authors: D. Bubboloni, Mohammad A. Iranmanesh, S. M. Shaker

Abstract: In a previous paper of the first author a procedure was developed for counting the components of a graph through the knowledge of the components of its quotient graphs. We apply here that procedure to the proper power graph $\mathcal{P}_0(G)$ of a finite group $G$, finding a formula for the number $c(\mathcal{P}_0(G))$ of its components which is particularly illuminative when $G\leq S_n$ is a fusi… ▽ More In a previous paper of the first author a procedure was developed for counting the components of a graph through the knowledge of the components of its quotient graphs. We apply here that procedure to the proper power graph $\mathcal{P}_0(G)$ of a finite group $G$, finding a formula for the number $c(\mathcal{P}_0(G))$ of its components which is particularly illuminative when $G\leq S_n$ is a fusion controlled permutation group. We make use of the proper quotient power graph $\widetilde{\mathcal{P}}_0(G)$, the proper order graph $\mathcal{O}_0(G)$ and the proper type graph $\mathcal{T}_0(G)$. We show that all those graphs are quotient of $\mathcal{P}_0(G)$ and demonstrate a strong link between them dealing with $G=S_n$. We find simultaneously $c(\mathcal{P}_0(S_n))$ as well as the number of components of $\widetilde{\mathcal{P}}_0(S_n)$, $\mathcal{O}_0(S_n)$ and $\mathcal{T}_0(S_n)$. △ Less

Submitted 9 February, 2017; v1 submitted 10 February, 2015; originally announced February 2015.

MSC Class: 05C25 (Primary); 20B35 (Secondary); 20B30

On vertex-uniprimitive non-Cayley graphs of order pq

Authors: Mohammad A. Iranmanesh

Abstract: Let $p$ and $q$ be distinct odd primes. Let $Γ=(V(Γ), E(Γ))$ be a non-Cayley vertex-transitive graph of order $pq.$ Let $G\leq \Aut(Γ)$ acts primitively on the vertex set $V(Γ)$. In this paper, we show that $G$ is uniprimitive which is primitive but not 2-transitive and we obtain some information about $p, q$ and the minimality of the Socle $T=\soc(G).$ Let $p$ and $q$ be distinct odd primes. Let $Γ=(V(Γ), E(Γ))$ be a non-Cayley vertex-transitive graph of order $pq.$ Let $G\leq \Aut(Γ)$ acts primitively on the vertex set $V(Γ)$. In this paper, we show that $G$ is uniprimitive which is primitive but not 2-transitive and we obtain some information about $p, q$ and the minimality of the Socle $T=\soc(G).$ △ Less

Submitted 17 July, 2014; originally announced July 2014.

Comments: 5 pages

MSC Class: 20B20; 05C25

On divisibility graph for simple Zassenhaus groups

Authors: Adeleh Abdolghafourian, Mohammad A. Iranmanesh

Abstract: The divisibility graph $D(G)$ for a finite group $G$ is a graph with vertex set $cs~(G)\setminus\{1\}$ where $cs~(G)$ is the set of conjugacy class sizes of $G$. Two vertices $a$ and $b$ are adjacent whenever $a$ divides $b$ or $b$ divides $a$. In this paper we will find $D(G)$ where $G$ is a simple Zassenhaus group. The divisibility graph $D(G)$ for a finite group $G$ is a graph with vertex set $cs~(G)\setminus\{1\}$ where $cs~(G)$ is the set of conjugacy class sizes of $G$. Two vertices $a$ and $b$ are adjacent whenever $a$ divides $b$ or $b$ divides $a$. In this paper we will find $D(G)$ where $G$ is a simple Zassenhaus group. △ Less

Submitted 16 July, 2014; originally announced July 2014.

MSC Class: 20D05; 05C25

Divisibility graph for symmetric and alternating groups

Authors: Adeleh Abdolghafourian, Mohammad A. Iranmanesh

Abstract: Let $X$ be a non-empty set of positive integers and $X^*=X\setminus \{1\}$. The divisibility graph $D(X)$ has $X^*$ as the vertex set and there is an edge connecting $a$ and $b$ with $a, b\in X^*$ whenever $a$ divides $b$ or $b$ divides $a$. Let $X=cs~{G}$ be the set of conjugacy class sizes of a group $G$. In this case, we denote $D(cs~{G})$ by $D(G)$. In this paper we will find the number of con… ▽ More Let $X$ be a non-empty set of positive integers and $X^*=X\setminus \{1\}$. The divisibility graph $D(X)$ has $X^*$ as the vertex set and there is an edge connecting $a$ and $b$ with $a, b\in X^*$ whenever $a$ divides $b$ or $b$ divides $a$. Let $X=cs~{G}$ be the set of conjugacy class sizes of a group $G$. In this case, we denote $D(cs~{G})$ by $D(G)$. In this paper we will find the number of connected components of $D(G)$ where $G$ is the symmetric group $S_n$ or is the alternating group $A_n$. △ Less

Submitted 16 July, 2014; originally announced July 2014.

MSC Class: 05C25; 20E45

Abelian coverings of finite general linear groups and an application to their non-commuting graph

Authors: A. Azad, M. A. Iranmanesh, C. E. Praeger, P. Spiga

Abstract: In this paper we introduce and study a family $\mathcal{A}_n(q)$ of abelian subgroups of $\GL_n(q)$ covering every element of $\GL_n(q)$. We show that $\mathcal{A}_n(q)$ contains all the centralisers of cyclic matrices and equality holds if $q>n$. Also, for $q>2$, we prove a simple closed formula for the size of $\mathcal{A}_n(q)$ and give an upper bound if $q=2$. A subset $X$ of a finite group… ▽ More In this paper we introduce and study a family $\mathcal{A}_n(q)$ of abelian subgroups of $\GL_n(q)$ covering every element of $\GL_n(q)$. We show that $\mathcal{A}_n(q)$ contains all the centralisers of cyclic matrices and equality holds if $q>n$. Also, for $q>2$, we prove a simple closed formula for the size of $\mathcal{A}_n(q)$ and give an upper bound if $q=2$. A subset $X$ of a finite group $G$ is said to be pairwise non-commuting if $xy\not=yx$, for distinct elements $x, y$ in $X$. As an application of our results on $\mathcal{A}_n(q)$, we prove lower and upper bounds for the maximum size of a pairwise non-commuting subset of $\GL_n(q)$. (This is the clique number of the non-commuting graph.) Moreover, in the case where $q>n$, we give an explicit formula for the maximum size of a pairwise non-commuting set. △ Less

Submitted 20 April, 2010; originally announced April 2010.

Bipartite divisor graphs for integer subsets

Authors: Mohammad A. Iranmanesh, Cheryl E. Praeger

Abstract: Inspired by connections described in a recent paper by Mark L. Lewis, between the common divisor graph $\Ga(X)$ and the prime vertex graph $Δ(X)$, for a set $X$ of positive integers, we define the bipartite divisor graph $B(X)$, and show that many of these connections flow naturally from properties of $B(X)$. In particular we establish links between parameters of these three graphs, such as numb… ▽ More Inspired by connections described in a recent paper by Mark L. Lewis, between the common divisor graph $\Ga(X)$ and the prime vertex graph $Δ(X)$, for a set $X$ of positive integers, we define the bipartite divisor graph $B(X)$, and show that many of these connections flow naturally from properties of $B(X)$. In particular we establish links between parameters of these three graphs, such as number and diameter of components, and we characterise bipartite graphs that can arise as $B(X)$ for some $X$. Also we obtain necessary and sufficient conditions, in terms of subconfigurations of $B(X)$, for one $Γ(X)$ or $Δ(X)$ to contain a complete subgraph of size 3 or 4. △ Less

Submitted 28 October, 2009; originally announced October 2009.