Source author record

Alireza Abdollahi

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.GR math.CO math.GN math.RA math.SP

Catalog footprint

Research overview

16works

5topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Nilpotent probability of compact groups

Let $k$ be any positive integer and $G$ a compact (Hausdorff) group. Let $\mf{np}_k(G)$ denote the probability that $k+1$ randomly chosen elements $x_1,\dots,x_{k+1}$ satisfy $[x_1,x_2,\dots,x_{k+1}]=1$ . We study the following problem: If $\mf{np}_k(G)>0$ then, does there exist an open nilpotent subgroup of class at most $k$ ? The answer is positive for profinite groups and we give a new proof. We also prove that the connected component $G^0$ of $G$ is abelian and there exists a closed normal nilpotent subgroup $N$ of class at most $k$ such that $G^0N$ is open in $G$ .

preprint2021arXiv

Compact groups with a set of positive Haar measure satisfying a nilpotent law

The following question is proposed in [4, Question 1.20]: Let $G$ be a compact group, and suppose that $\mathcal{N}_k(G) = \{(x1,\dots,x_{k+1}) \in G^{k+1} \;\|; [x_1,\dots, x_{k+1}] = 1\}$ has positive Haar measure in $G^{k+1}$ . Does $G$ have an open $k$ -step nilpotent subgroup? The case $k = 1$ is already known. We positively answer it for $k = 2$ .

preprint2020arXiv

Compact groups with many elements of bounded order

Lévai and Pyber proposed the following as a conjecture: Let $G$ be a profinite group such that the set of solutions of the equation $x^n=1$ has positive Haar measure. Then $G$ has an open subgroup $H$ and an element $t$ such that all elements of the coset $tH$ have order dividing $n$ (see Problem 14.53 of [The Kourovka Notebook, No. 19, 2019]). The validity of the conjecture has been proved in [Arch. Math. (Basel) 75 (2000) 1-7] for $n=2$ . Here we study the conjecture for compact groups $G$ which are not necessarily profinite and $n=3$ ; we show that in the latter case the group $G$ contains an open normal $2$ -Engel subgroup.

preprint2016arXiv

Distance-regular Cayley graphs with least eigenvalue $-2$

We classify the distance-regular Cayley graphs with least eigenvalue $-2$ and diameter at most three. Besides sporadic examples, these comprise of the lattice graphs, certain triangular graphs, and line graphs of incidence graphs of certain projective planes. In addition, we classify the possible connection sets for the lattice graphs and obtain some results on the structure of distance-regular Cayley line graphs of incidence graphs of generalized polygons.

preprint2016arXiv

Frankl's Conjecture for subgroup lattices

We show that the subgroup lattice of any finite group satisfies Frankl's Union-Closed Conjecture. We show the same for all lattices with a modular coatom, a family which includes all supersolvable and dually semimodular lattices. A common technical result used to prove both may be of some independent interest.

preprint2016arXiv

Kaplansky's zero divisor and unit conjectures on elements with supports of size $3$

Kaplansky's zero divisor conjecture (unit conjecture, respectively) states that for a torsion-free group $G$ and a field $\mathbb{F}$ , the group ring $\mathbb{F}[G]$ has no zero divisors (has no unit with support of size greater than $1$ ). In this paper, we study possible zero divisors and units in $\mathbb{F}[G]$ whose supports have size $3$ . For any field $\mathbb{F}$ and all torsion-free groups $G$ , we prove that if $αβ=0$ for some non-zero $α, β\in \mathbb{F}[G]$ such that $|supp(α)|=3$ , then $|supp(β)|\geq 10$ . If $\mathbb{F}=\mathbb{F}_2$ is the field with 2 elements, the latter result can be improved so that $|supp(β)|\geq 20$ . This improves a result in [J. Group Theory, 16 (2013), no. 5, 667-693]. Concerning the unit conjecture, we prove that if $αβ=1$ for some $α, β\in \mathbb{F}[G]$ such that $|supp(α)|=3$ , then $|supp(β)|\geq 9$ . The latter improves a part of a result in [Exp. Math., 24 (2015), 326-338] to arbitrary fields.

preprint2015arXiv

Groups all of whose undirected Cayley graphs are determined by their spectra

Let $G$ be a finite group, and $S$ be a subset of $G\setminus\{1\}$ such that $S=S^{-1}$ . Suppose that $Cay(G,S)$ is the Cayley graph on $G$ with respect to the set $S$ which is the graph whose vertex set is $G$ and two vertices $a,b\in G$ are adjacent if and only if $ab^{-1}\in S$ . The adjacency spectrum $Spec(Γ)$ of a graph $Γ$ is the multiset of eigenvalues of its adjacency matrix. A graph $Γ$ is called "determined by its spectrum" (or for short DS) whenever if a graph $Γ'$ has the same spectrum as $Γ$ , then $Γ\cong Γ'$ . We say that the group $G$ is DS (Cay-DS, respectively) whenever if $Γ$ is a Cayley graph over $G$ and $Spec(Γ)=Spec(Γ')$ for some graph (Cayley graph, respectively) $Γ'$ , then $Γ\cong Γ'$ . In this paper, we study finite DS groups and finite Cay-DS groups. In particular we prove that all finite DS groups are solvable and all Sylow $p$ -subgroups of a finite DS group is cyclic for all $p\geq 5$ . We also give several infinite families of non Cay-DS solvable groups. In particular we prove that there exist two cospectral non-isomorphic $6$ -regular Cayley graphs on the dihedral group of order $2p$ for any prime $p\geq 13$ .

preprint2014arXiv

Connected graphs cospectral with a Friendship graph

Let $n$ be any positive integer, the friendship graph $F_n$ consist of $n$ edge-disjoint triangles that all of them meeting in one vertex. A graph $G$ is called cospectral with a graph $H$ if their adjacency matrices have the same eigenvalues. Recently in [http://arxiv.org/pdf/1310.6529v1.pdf] it is proved that if $G$ is any graph cospectral with $F_n$ $(n\neq 16)$ , then $G\cong F_n$ . In this note, we give a proof of special case of the latter: Any connected graph cospectral with $F_n$ is isomorphic to $F_n$ . Our proof is independent of ones given in [http://arxiv.org/pdf/1310.6529v1.pdf] and the proofs are based on our recent results given in [Trans. Com., 2 no. 4 (2013) 37-52.] Using an upper bound for the largest eigenvalue of a connected graph given in [J. Combinatorial Theory, Ser. B, 81 (2001) 177-183.].

preprint2014arXiv

Groups all of whose undirected Cayley graphs are integral

Let $G$ be a finite group, $S\subseteq G\setminus\{1\}$ be a set such that if $a\in S$ , then $a^{-1}\in S$ , where $1$ denotes the identity element of $G$ . The undirected Cayley graph $Cay(G,S)$ of $G$ over the set $S$ is the graph whose vertex set is $G$ and two vertices $a$ and $b$ are adjacent whenever $ab^{-1}\in S$ . The adjacency spectrum of a graph is the multiset of all eigenvalues of the adjacency matrix of the graph. A graph is called integral whenever all adjacency spectrum elements are integers. Following Klotz and Sander, we call a group $G$ Cayley integral whenever all undirected Cayley graphs over $G$ are integral. Finite abelian Cayley integral groups are classified by Klotz and Sander as finite abelian groups of exponent dividing $4$ or $6$ . Klotz and Sander have proposed the determination of all non-abelian Cayley integral groups. In this paper we complete the classification of finite Cayley integral groups by proving that finite non-abelian Cayley integral groups are the symmetric group $S_{3}$ of degree $3$ , $C_{3} \rtimes C_{4}$ and $Q_{8}\times C_{2}^{n}$ for some integer $n\geq 0$ , where $Q_8$ is the quaternion group of order $8$ .

preprint2014arXiv

Non-solvable groups generated by involutions in which every involution is left $2$ -Engel

The following problem is proposed as Problem 18.57 in [The Kourovka Notebook, No. 18, 2014] by D. V. Lytkina: Let $G$ be a finite $2$ -group generated by involutions in which $[x, u, u] = 1$ for every $x \in G$ and every involution $u \in G$ . Is the derived length of $G$ bounded? The question is asked of an upper bound on the solvability length of finite $2$ -groups generated by involutions in which every involution (not only the generators) is also left $2$ -Engel. We negatively answer the question.

preprint2013arXiv

$p$ -Groups for which each outer $p$ -automorphism centralizes only $p$ elements

An automorphism of a group is called outer if it is not an inner automorphism. Let $G$ be a finite $p$ -group. Then for every outer $p$ -automorphism $ϕ$ of $G$ the subgroup $C_G(ϕ)=\{x\in G \;|\; x^ϕ=x\}$ has order $p$ if and only if $G$ is of order at most $p^2$ .

preprint2013arXiv

Graphs cospectral with a friendship graph or its complement

Let $n$ be any positive integer and let $F_n$ be the friendship (or Dutch windmill) graph with $2n+1$ vertices and $3n$ edges. Here we study graphs with the same adjacency spectrum as the $F_n$ . Two graphs are called cospectral if the eigenvalues multiset of their adjacency matrices are the same. Let $G$ be a graph cospectral with $F_n$ . Here we prove that if $G$ has no cycle of length 4 or 5, then $G\cong F_n$ . Moreover if $G$ is connected and planar then $G\cong F_n$ . All but one of connected components of $G$ are isomorphic to $K_2$ . The complement $\bar{F_n}$ of the friendship graph is determined by its adjacency eigenvalues, that is, if $\bar{F_n}$ is cospectral with a graph $H$ , then $H\cong \bar{F_n}$ .

preprint2013arXiv

Non-commuting graphs of nilpotent groups

Let $G$ be a non-abelian group and $Z(G)$ be the center of $G$ . The non-commuting graph $Γ_G$ associated to $G$ is the graph whose vertex set is $G\setminus Z(G)$ and two distinct elements $x,y$ are adjacent if and only if $xy\neq yx$ . We prove that if $G$ and $H$ are non-abelian nilpotent groups with irregular isomorphic non-commuting graphs, then $|G|=|H|$ .

preprint2011arXiv

Finite $p$ -groups of class 3 with noninner automorphisms of order $p$

A longstanding conjecture asserts that every non-abelian finite $p$ -group $G$ admits a non-inner automorphism of order $p$ . The conjecture is valid for finite $p$ -groups of class 2. Here, we prove every finite non-abelian $p$ -group $G$ of class 3 with $p>2$ has a noninner automorphism of order $p$ leaving $Φ(G)$ elementwise fixed. We also prove that if $G$ is a finite 2-group of class 3 which cannot be generated by 4 elements, then $G$ has a non-inner automorphism of order 2 leaving $Φ(G)$ elementwise fixed. We also prove that the latter conclusion holds for finite 2-groups $G$ of class 3 such that the center of $G$ is not cyclic and the minimal number of generators of $G$ is 2 or 4 and it holds whenever the center of $G$ is {\em not} 2-generated and the minimal number of generators of $G$ is 3. Some results are also proved for the existence of non-inner automorphisms of order $p$ for a finite $p$ -group $G$ under conditions in terms of the minimal number of generators of the center factor of $G$ and a certain function of the rank of $G$ .

preprint2011arXiv

Groups generated by a finite Engel set

A subset $S$ of a group $G$ is called an Engel set if, for all $x,y\in S$ , there is a non-negative integer $n=n(x,y)$ such that $[x,\,_n y]=1$ . In this paper we are interested in finding conditions for a group generated by a finite Engel set to be nilpotent. In particular, we focus our investigation on groups generated by an Engel set of size two.

preprint2010arXiv

Engel Elements in Groups

We give a survey of results on the structure of right and left Engel elements of a group. We also present some new results in this topic.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Alireza Abdollahi

Research overview

Is this your work?

16 publications

Nilpotent probability of compact groups

Compact groups with a set of positive Haar measure satisfying a nilpotent law

Compact groups with many elements of bounded order

Distance-regular Cayley graphs with least eigenvalue $-2$

Frankl's Conjecture for subgroup lattices

Kaplansky's zero divisor and unit conjectures on elements with supports of size $3$

Groups all of whose undirected Cayley graphs are determined by their spectra

Connected graphs cospectral with a Friendship graph

Groups all of whose undirected Cayley graphs are integral

Non-solvable groups generated by involutions in which every involution is left $2$ -Engel

$p$ -Groups for which each outer $p$ -automorphism centralizes only $p$ elements

Graphs cospectral with a friendship graph or its complement

Non-commuting graphs of nilpotent groups

Finite $p$ -groups of class 3 with noninner automorphisms of order $p$

Groups generated by a finite Engel set

Engel Elements in Groups

See the researcher in context

Building this map preview

Alireza Abdollahi

Research overview

Is this your work?

16 publications

Nilpotent probability of compact groups

Compact groups with a set of positive Haar measure satisfying a nilpotent law

Compact groups with many elements of bounded order

Distance-regular Cayley graphs with least eigenvalue −2-2−2

Frankl's Conjecture for subgroup lattices

Kaplansky's zero divisor and unit conjectures on elements with supports of size 333

Groups all of whose undirected Cayley graphs are determined by their spectra

Connected graphs cospectral with a Friendship graph

Groups all of whose undirected Cayley graphs are integral

Non-solvable groups generated by involutions in which every involution is left 222-Engel

ppp-Groups for which each outer ppp-automorphism centralizes only ppp elements

Graphs cospectral with a friendship graph or its complement

Non-commuting graphs of nilpotent groups

Finite ppp-groups of class 3 with noninner automorphisms of order ppp

Groups generated by a finite Engel set

Engel Elements in Groups

See the researcher in context

Building this map preview

Distance-regular Cayley graphs with least eigenvalue $-2$

Kaplansky's zero divisor and unit conjectures on elements with supports of size $3$

Non-solvable groups generated by involutions in which every involution is left $2$ -Engel

$p$ -Groups for which each outer $p$ -automorphism centralizes only $p$ elements

Finite $p$ -groups of class 3 with noninner automorphisms of order $p$