Showing 1–26 of 26 results for author: Alavi, S H

On flag-transitive automorphism groups of $2$-designs with $λ$ prime

Authors: Seyed Hassan Alavi, Ashraf Daneshkhah, Alessandro Montinaro

Abstract: In this article, we study $2$-$(v,k,λ)$ designs $\mathcal{D}$ with $λ$ prime admitting flag-transitive and point-primitive almost simple automorphism groups $G$ with socle $T$ a finite exceptional simple group or a sporadic simple groups. If the socle of $G$ is a finite exceptional simple group, then we prove that $\mathcal{D}$ is isomorphic to one of two infinite families of $2$-designs with poin… ▽ More In this article, we study $2$-$(v,k,λ)$ designs $\mathcal{D}$ with $λ$ prime admitting flag-transitive and point-primitive almost simple automorphism groups $G$ with socle $T$ a finite exceptional simple group or a sporadic simple groups. If the socle of $G$ is a finite exceptional simple group, then we prove that $\mathcal{D}$ is isomorphic to one of two infinite families of $2$-designs with point-primitive automorphism groups, one is the Suzuki-Tits ovoid design with parameter set $(v,b,r,k,λ)=(q^{2}+1,q^{2}(q^{2}+1)/(q-1),q^{2},q,q-1)$ design, where $q-1$ is a Mersenne prime, and the other is newly constructed in this paper and has parameter set $(v,b,r,k,λ)=(q^{3}(q^{3}-1)/2,(q+1)(q^{6}-1),(q+1)(q^{3}+1),q^{3}/2,q+1)$, where $q+1$ a Fermat prime. If $T$ is a sporadic simple group, then we show that $\mathcal{D}$ is isomorphic to a unique design admitting a point-primitive automorphism group with parameter set $(v,b,r,k,λ)=(176,1100,50,2)$, $(12,22,11,6,5)$ or $(22,77,21,6,5)$. △ Less

Submitted 8 May, 2025; originally announced May 2025.

MSC Class: 05B05; 05B25; 20B25; 20D08

Affine groups as flag-transitive and point-primitive automorphism groups of symmetric designs

Authors: Seyed Hassan Alavi, Mohsen Bayat, Ashraf Daneshkhah, Alessandro Montinaro

Abstract: In this article, we investigate symmetric designs admitting a flag-transitive and point-primitive affine automorphism group. We prove that if an automorphism group $G$ of a symmetric $(v,k,λ)$ design with $λ$ prime is point-primitive of affine type, then $G=2^{6}{:}\mathrm{S}_{6}$ and $(v,k,λ)=(16,6,2)$, or $G$ is a subgroup of $\mathrm{AΓL}_{1}(q)$ for some odd prime power $q$. In conclusion, we… ▽ More In this article, we investigate symmetric designs admitting a flag-transitive and point-primitive affine automorphism group. We prove that if an automorphism group $G$ of a symmetric $(v,k,λ)$ design with $λ$ prime is point-primitive of affine type, then $G=2^{6}{:}\mathrm{S}_{6}$ and $(v,k,λ)=(16,6,2)$, or $G$ is a subgroup of $\mathrm{AΓL}_{1}(q)$ for some odd prime power $q$. In conclusion, we present a classification of flag-transitive and point-primitive symmetric designs with $λ$ prime, which says that such an incidence structure is a projective space $\mathrm{PG}(n,q)$, it has parameter set $(15,7,3)$, $(7, 4, 2)$, $(11, 5, 2)$, $(11, 6, 2)$, $(16,6,2)$ or $(45, 12, 3)$, or $v=p^d$ where $p$ is an odd prime and the automorphism group is a subgroup of $\mathrm{AΓL}_{1}(q)$. △ Less

Submitted 13 October, 2024; v1 submitted 7 September, 2024; originally announced September 2024.

MSC Class: 20B25; 05B05; 05B25

Higher-dimensional grid-imprimitive block-transitive designs

Authors: Seyed Hassan Alavi, Carmen Amarra, Ashraf Daneshkhah, Alice Devillers, Cheryl E. Praeger

Abstract: It was shown in 1989 by Delandtsheer and Doyen that, for a $2$-design with $v$ points and block size $k$, a block-transitive group of automorphisms can be point-imprimitive (that is, leave invariant a nontrivial partition of the point set) only if $v$ is small enough relative to $k$. Recently, exploiting a construction of block-transitive point-imprimitive $2$-designs given by Cameron and the last… ▽ More It was shown in 1989 by Delandtsheer and Doyen that, for a $2$-design with $v$ points and block size $k$, a block-transitive group of automorphisms can be point-imprimitive (that is, leave invariant a nontrivial partition of the point set) only if $v$ is small enough relative to $k$. Recently, exploiting a construction of block-transitive point-imprimitive $2$-designs given by Cameron and the last author, four of the authors studied $2$-designs admitting a block-transitive group that preserves a two-dimensional grid structure on the point set. Here we consider the case where there a block-transitive group preserves a multidimensional grid structure on points. We provide necessary and sufficient conditions for such $2$-designs to exist in terms of the parameters of the grid, and certain `array parameters' which describe a subset of points (which will be a block of the design). Using this criterion, we construct explicit examples of $2$-designs for grids of dimensions three and four, and pose several open questions. △ Less

Submitted 17 April, 2024; originally announced April 2024.

MSC Class: 05B05; 05B25; 20B25

Almost simple groups as flag-transitive automorphism groups of 2-designs with λ = 2

Authors: Seyed Hassan Alavi

Abstract: In this article, we study $2$-designs with $λ=2$ admitting a flag-transitive almost simple automorphism group with socle a finite simple exceptional group of Lie type, and we prove that such a $2$-design does not exist. In conclusion, we present a classification of $2$-designs with $λ=2$ admitting flag-transitive and point-primitive automorphism groups of almost simple type, which states that such… ▽ More In this article, we study $2$-designs with $λ=2$ admitting a flag-transitive almost simple automorphism group with socle a finite simple exceptional group of Lie type, and we prove that such a $2$-design does not exist. In conclusion, we present a classification of $2$-designs with $λ=2$ admitting flag-transitive and point-primitive automorphism groups of almost simple type, which states that such a $2$-design belongs to an infinite family of $2$-designs with parameter set $((3^n-1)/2,3,2)$ and $X=PSL_n(3)$ for some $n\geq 3$, or it is isomorphic to the $2$-design with parameter set $(6,3,2)$, $(7,4,2)$, $(10,4,2)$, $(10,4,2)$, $(11,5,2)$, $(28,7,2)$, $(28,3,2)$, $(36,6,2)$, $(126,6,2)$ or $(176,8,2)$. △ Less

Submitted 14 February, 2025; v1 submitted 11 July, 2023; originally announced July 2023.

MSC Class: 05B05; 05B25; 20B25

Sporadic simple groups as flag-transitive automorphism groups of symmetric designs

Authors: Seyed Hassan Alavi, Ashraf Daneshkhah

Abstract: In this article, we study symmetric designs admitting flag-transitive, point-imprimitive almost simple automorphism groups with socle sporadic simple groups. As a corollary, we present a classification of symmetric designs admitting flag-transitive automorphism group whose socle is a sporadic simple group, and in conclusion, there are exactly seven such designs, one of which admits a point-imprimi… ▽ More In this article, we study symmetric designs admitting flag-transitive, point-imprimitive almost simple automorphism groups with socle sporadic simple groups. As a corollary, we present a classification of symmetric designs admitting flag-transitive automorphism group whose socle is a sporadic simple group, and in conclusion, there are exactly seven such designs, one of which admits a point-imprimitive automorphism group and the remaining are point-primitive. △ Less

Submitted 11 July, 2023; originally announced July 2023.

MSC Class: 05B05; 05B25; 20B25; 20D08

On groups with the same character degrees as almost simple groups with socle small Ree groups

Authors: Seyed Hassan Alavi

Abstract: Let $G$ be a finite group and ${\rm cd}(G)$ denote the set of complex irreducible character degrees of $G$. In this paper, we prove that if $G$ is a finite group and $H$ is an almost simple group with socle $H_{0}= \, ^{2}{\rm G}_{2}(q)$, where $q=3^{f}$ with $f\geq 3$ odd such that ${\rm cd}(G)={\rm cd}(H)$, then $G$ is non-solvable and the chief factor $G'/M$ of $G$ is isomorphic to $H_{0}$. If,… ▽ More Let $G$ be a finite group and ${\rm cd}(G)$ denote the set of complex irreducible character degrees of $G$. In this paper, we prove that if $G$ is a finite group and $H$ is an almost simple group with socle $H_{0}= \, ^{2}{\rm G}_{2}(q)$, where $q=3^{f}$ with $f\geq 3$ odd such that ${\rm cd}(G)={\rm cd}(H)$, then $G$ is non-solvable and the chief factor $G'/M$ of $G$ is isomorphic to $H_{0}$. If, in particular, $f$ is coprime to $3$, then $G'$ is isomorphic to $H_{0}$ and $G/{\bf Z}(G)$ is isomorphic to $H$. △ Less

Submitted 6 March, 2023; originally announced March 2023.

Comments: arXiv admin note: text overlap with arXiv:1601.06380

On quantitative structure of symplectic groups

Authors: Seyed Hassan Alavi, Ashraf Daneshkhah, Hosein Parvizi Mosaed

Abstract: The main aim of this article is to study the quantitative structure of projective symplectic groups $PSp_{4}(q)$ with $q>2$ even. Indeed, we prove that the groups $PSp_{4}(q)$ with $q>2$ even are uniquely determined by their orders and the set of the number of elements of the same order. This result links to the well-known J. G. Thompson's problem (1987) for finite simple groups. The main aim of this article is to study the quantitative structure of projective symplectic groups $PSp_{4}(q)$ with $q>2$ even. Indeed, we prove that the groups $PSp_{4}(q)$ with $q>2$ even are uniquely determined by their orders and the set of the number of elements of the same order. This result links to the well-known J. G. Thompson's problem (1987) for finite simple groups. △ Less

Submitted 31 August, 2022; v1 submitted 28 August, 2022; originally announced August 2022.

Block designs with $\gcd(r,λ)=1$ admitting flag-transitive automorphism groups

Authors: Seyed Hassan Alavi, Mohsen Bayat, Mauro Biliotti, Ashraf Daneshkhah, Eliana Francot, Haiyan Guan, Alessandro Montinaro, Fatemeh Mouseli, Pierluigi Rizzo, Delu Tian, Yajie Wang, Xiaoqin Zhan, Yongli Zhang, Shenglin Zhou, Yan Zhu

Abstract: In this paper, we present a classification of $2$-designs with $\gcd(r,λ)=1$ admitting flag-transitive automorphism groups. If $G$ is a flag-transitive automorphism group of a non-trivial $2$-design $\mathcal{D}$ with $\gcd(r,λ)=1$, then either $(\mathcal{D},G)$ is one of the known examples described in this paper, or $\mathcal{D}$ has $q = p^{d}$ points with $p$ prime and $G$ is a subgroup of… ▽ More In this paper, we present a classification of $2$-designs with $\gcd(r,λ)=1$ admitting flag-transitive automorphism groups. If $G$ is a flag-transitive automorphism group of a non-trivial $2$-design $\mathcal{D}$ with $\gcd(r,λ)=1$, then either $(\mathcal{D},G)$ is one of the known examples described in this paper, or $\mathcal{D}$ has $q = p^{d}$ points with $p$ prime and $G$ is a subgroup of $AΓL_{1}(q)$. △ Less

Submitted 5 April, 2022; originally announced April 2022.

MSC Class: 05B05; 05B25; 20B25

Block-transitive two-designs based on grids

Authors: Seyed Hassan Alavi, Ashraf Daneshkhah, Alice Devillers, Cheryl E. Praeger

Abstract: We study point-block incidence structures $(\mathcal{P},\mathcal{B})$ for which the point set $\mathcal{P}$ is an $m\times n$ grid. Cameron and the fourth author showed that each block $B$ may be viewed as a subgraph of a complete bipartite graph $\mathbf{K}_{m,n}$ with bipartite parts (biparts) of sizes $m, n$. In the case where $\mathcal{B}$ consists of all the subgraphs isomorphic to $B$, under… ▽ More We study point-block incidence structures $(\mathcal{P},\mathcal{B})$ for which the point set $\mathcal{P}$ is an $m\times n$ grid. Cameron and the fourth author showed that each block $B$ may be viewed as a subgraph of a complete bipartite graph $\mathbf{K}_{m,n}$ with bipartite parts (biparts) of sizes $m, n$. In the case where $\mathcal{B}$ consists of all the subgraphs isomorphic to $B$, under automorphisms of $\mathbf{K}_{m,n}$ fixing the two biparts, they obtained necessary and sufficient conditions for $(\mathcal{P},\mathcal{B})$ to be a $2$-design, and to be a $3$-design. We first re-interpret these conditions more graph theoretically, and then focus on square grids, and designs admitting the full automorphism group of $\mathbf{K}_{m,m}$. We find necessary and sufficient conditions, again in terms of graph theoretic parameters, for these incidence structures to be $t$-designs, for $t=2, 3$, and give infinite families of examples illustrating that block-transitive, point-primitive $2$-designs based on grids exist for all values of $m$, and flag-transitive, point-primitive examples occur for all even $m$. This approach also allows us to construct a small number of block-transitive $3$-designs based on grids. △ Less

Submitted 4 January, 2022; originally announced January 2022.

MSC Class: 05B05; 05B25; 20B25

A note on two families of $2$-designs arose from Suzuki-Tits ovoid

Authors: Seyed Hassan Alavi

Abstract: In this note, we give a precise construction of one of the families of $2$-designs arose from studying flag-transitive $2$-designs with parameters $(v,k,λ)$ whose replication numbers $r$ are coprime to $λ$. We show that for a given positive integer $q=2^{2n+1}\geq 8$, there exists a $2$-design with parameters $(q^{2}+1,q,q-1)$ and the replication number $q^{2}$ admitting the Suzuki group… ▽ More In this note, we give a precise construction of one of the families of $2$-designs arose from studying flag-transitive $2$-designs with parameters $(v,k,λ)$ whose replication numbers $r$ are coprime to $λ$. We show that for a given positive integer $q=2^{2n+1}\geq 8$, there exists a $2$-design with parameters $(q^{2}+1,q,q-1)$ and the replication number $q^{2}$ admitting the Suzuki group $\textsf{Sz(q)}$ as its automorphism group. We also construct a family of $2$-designs with parameters $(q^{2}+1,q(q-1),(q-1)(q^{2}-q-1))$ and the replication number $q^{2}(q-1)$ admitting the Suzuki groups $\textsf{Sz(q)}$ as their automorphism groups. △ Less

Submitted 14 May, 2020; v1 submitted 11 April, 2020; originally announced April 2020.

MSC Class: 05B05; 05B25; 20B25; 20D05

Symmetries of biplanes

Authors: Seyed Hassan Alavi, Ashraf Daneshkhah, Cheryl E Praeger

Abstract: In this paper, we first study biplanes $\mathcal{D}$ with parameters $(v,k,2)$, where the block size $k\in\{13,16\}$. These are the smallest parameter values for which a classification is not available. We show that if $k=13$, then either $\mathcal{D}$ is the Aschbacher biplane or its dual, or $Aut(\mathcal{D})$ is a subgroup of the cyclic group of order $3$. In the case where $k=16$, we prove tha… ▽ More In this paper, we first study biplanes $\mathcal{D}$ with parameters $(v,k,2)$, where the block size $k\in\{13,16\}$. These are the smallest parameter values for which a classification is not available. We show that if $k=13$, then either $\mathcal{D}$ is the Aschbacher biplane or its dual, or $Aut(\mathcal{D})$ is a subgroup of the cyclic group of order $3$. In the case where $k=16$, we prove that $|Aut(\mathcal{D})|$ divides $2^{7}\cdot 3^{2}\cdot 5\cdot 7\cdot 11\cdot 13$. We also provide an example of a biplane with parameters $(16,6,2)$ with a flag-transitive and point-primitive subgroup of automorphisms preserving a homogeneous cartesian decomposition. This motivated us to study biplanes with point-primitive automorphism groups preserving a cartesian decomposition. We prove that such an automorphism group is either of affine type (as in the example), or twisted wreath type. △ Less

Submitted 9 April, 2020; originally announced April 2020.

Comments: 24 pages

MSC Class: 05B05; 05B25; 20B25

Almost simple groups of Lie type and symmetric designs with $λ$ prime

Authors: Seyed Hassan Alavi, Mohsen Bayat, Ashraf Daneshkhah

Abstract: In this article, we investigate symmetric $(v,k,λ)$ designs $\mathcal{D}$ with $λ$ prime admitting flag-transitive and point-primitive automorphism groups $G$. We prove that if $G$ is an almost simple group with socle a finite simple group of Lie type, then $\mathcal{D}$ is either the point-hyperplane design of a projective space $\mathrm{PG}_{n-1}(q)$, or it is of parameters $(7,4,2)$,… ▽ More In this article, we investigate symmetric $(v,k,λ)$ designs $\mathcal{D}$ with $λ$ prime admitting flag-transitive and point-primitive automorphism groups $G$. We prove that if $G$ is an almost simple group with socle a finite simple group of Lie type, then $\mathcal{D}$ is either the point-hyperplane design of a projective space $\mathrm{PG}_{n-1}(q)$, or it is of parameters $(7,4,2)$, $(11,5,2)$, $(11,6,2)$ or $(45,12,3)$. △ Less

Submitted 10 September, 2020; v1 submitted 12 February, 2020; originally announced February 2020.

MSC Class: 05B05; 05B25; 20B25

A classification of flag-transitive block designs

Authors: Seyed Hassan Alavi, Ashraf Daneshkhah, Fatemeh Mouseli

Abstract: In this article, we investigate $2$-$(v,k,λ)$ designs with $\gcd(r,λ)=1$ admitting flag-transitive automorphism groups $G$. We prove that if $G$ is an almost simple group, then such a design belongs to one of the seven infinite families of $2$-designs or it is one of the eleven well-known examples. We describe all these examples of designs. We, in particular, prove that if $\mathcal{D}$ is a symme… ▽ More In this article, we investigate $2$-$(v,k,λ)$ designs with $\gcd(r,λ)=1$ admitting flag-transitive automorphism groups $G$. We prove that if $G$ is an almost simple group, then such a design belongs to one of the seven infinite families of $2$-designs or it is one of the eleven well-known examples. We describe all these examples of designs. We, in particular, prove that if $\mathcal{D}$ is a symmetric $(v,k,λ)$ design with $\gcd(k,λ)=1$ admitting a flag-transitive automorphism group $G$, then either $G\leq AΓL_{1}(q)$ for some odd prime power $q$, or $\mathcal{D}$ is a projective space or the unique Hadamard design with parameters $(11,5,2)$. △ Less

Submitted 9 August, 2020; v1 submitted 13 November, 2019; originally announced November 2019.

Comments: arXiv admin note: text overlap with arXiv:1904.10518

MSC Class: 05B05; 05B25; 20B25

Flag-transitive block designs and unitary groups

Authors: Seyed Hassan Alavi, Mohsen Bayat, Ashraf Daneshkhah

Abstract: In this article, we study $2$-designs with $\gcd(r, λ)=1$ admitting a flag-transitive automorphism group. The automorphism groups of these designs are point-primitive of almost simple or affine type. We determine all pairs $(\mathcal{D}, G)$, where $\mathcal{D}$ is a $2$-design with $\gcd(r, λ)=1$ and $G$ is a flag-transitive almost simple automorphism group of $\mathcal{D}$ whose socle is… ▽ More In this article, we study $2$-designs with $\gcd(r, λ)=1$ admitting a flag-transitive automorphism group. The automorphism groups of these designs are point-primitive of almost simple or affine type. We determine all pairs $(\mathcal{D}, G)$, where $\mathcal{D}$ is a $2$-design with $\gcd(r, λ)=1$ and $G$ is a flag-transitive almost simple automorphism group of $\mathcal{D}$ whose socle is $X=\mathrm{PSU}(n, q)$ with $(n, q)\neq (3, 2)$ and prove that such a design belongs to one of the two infinite families of Hermitian unitals and Witt-Bose-Shrikhande spaces, or it is isomorphic to a design with parameters $(6, 3, 2)$, $(7, 3, 1)$, $(8, 4, 3)$, $(10, 6, 5)$, $(11, 5, 2)$ or $(28, 7, 2)$. △ Less

Submitted 17 September, 2019; originally announced September 2019.

Comments: arXiv admin note: text overlap with arXiv:1904.10518

Flag-transitive block designs and finite exceptional simple groups of Lie type

Authors: Seyed Hassan Alavi

Abstract: In this article, we study $2$-designs with $\gcd(r,λ)=1$ admitting a flag-transitive almost simple automorphism group with socle a finite simple exceptional group of Lie type. We obtain four infinite families of such designs and provide some examples in each of these families. In this article, we study $2$-designs with $\gcd(r,λ)=1$ admitting a flag-transitive almost simple automorphism group with socle a finite simple exceptional group of Lie type. We obtain four infinite families of such designs and provide some examples in each of these families. △ Less

Submitted 11 March, 2020; v1 submitted 15 August, 2019; originally announced August 2019.

Comments: arXiv admin note: text overlap with arXiv:1904.10518, arXiv:1702.01257

Flag-transitive block designs with prime replication number and almost simple groups

Authors: Seyed Hassan Alavi, Mohsen Bayat, Jalal Choulaki, Asharf Daneshkhah

Abstract: In this article, we study $2$-designs with prime replication number admitting a flag-transitive automorphism group. The automorphism groups of these designs are point-primitive of almost simple or affine type. We determine $2$-designs with prime replication number admitting an almost simple automorphism group. In this article, we study $2$-designs with prime replication number admitting a flag-transitive automorphism group. The automorphism groups of these designs are point-primitive of almost simple or affine type. We determine $2$-designs with prime replication number admitting an almost simple automorphism group. △ Less

Submitted 15 August, 2019; v1 submitted 23 April, 2019; originally announced April 2019.

MSC Class: 05B05; 05B25; 20B25

Symmetric designs and four dimensional projective special unitary groups

Authors: Seyed Hassan Alavi, Mohsen Bayat, Asharf Daneshkhah, Sheyda Zang Zarin

Abstract: In this article, we study symmetric $(v, k, λ)$ designs admitting a flag-transitive and point-primitive automorphism group $G$ whose socle is $PSU_{4}(q)$. We prove that there exist eight non-isomorphic such designs for which $λ\in\{3,6,18\}$ and $G$ is either $PSU_{4}(2)$, or $PSU_{4}(2):2$. In this article, we study symmetric $(v, k, λ)$ designs admitting a flag-transitive and point-primitive automorphism group $G$ whose socle is $PSU_{4}(q)$. We prove that there exist eight non-isomorphic such designs for which $λ\in\{3,6,18\}$ and $G$ is either $PSU_{4}(2)$, or $PSU_{4}(2):2$. △ Less

Submitted 20 January, 2019; originally announced January 2019.

MSC Class: 05B05; 05B25; 20B25

On flag-transitive automorphism groups of symmetric designs

Authors: Seyed Hassan Alavi, Ashraf Daneshkhah, Narges Okhovat

Abstract: In this article, we study flag-transitive automorphism groups of non-trivial symmetric $(v, k, λ)$ designs, where $λ$ divides $k$ and $k\geq λ^2$. We show that such an automorphism group is either point-primitive of affine or almost simple type, or point-imprimitive with parameters $v=λ^{2}(λ+2)$ and $k=λ(λ+1)$, for some positive integer $λ$. We also provide some examples in both possibilities. In this article, we study flag-transitive automorphism groups of non-trivial symmetric $(v, k, λ)$ designs, where $λ$ divides $k$ and $k\geq λ^2$. We show that such an automorphism group is either point-primitive of affine or almost simple type, or point-imprimitive with parameters $v=λ^{2}(λ+2)$ and $k=λ(λ+1)$, for some positive integer $λ$. We also provide some examples in both possibilities. △ Less

Submitted 14 January, 2019; originally announced January 2019.

MSC Class: 05B05; 05B25; 20B25

Finite exceptional groups of Lie type and symmetric designs

Authors: Seyed Hassan Alavi, Mohsen Bayat, Ashraf Daneshkhah

Abstract: In this article, we study symmetric $(v, k, λ)$ designs admitting a flag-transitive and point-primitive automorphism group $G$ whose socle $X$ is a finite simple exceptional group of Lie type. We prove a reduction theorem, severely restricting the possible parameters of such designs. We also prove that the parameters $k$ and $λ$ are not coprime, and neither of these parameters can be prime. Moreov… ▽ More In this article, we study symmetric $(v, k, λ)$ designs admitting a flag-transitive and point-primitive automorphism group $G$ whose socle $X$ is a finite simple exceptional group of Lie type. We prove a reduction theorem, severely restricting the possible parameters of such designs. We also prove that the parameters $k$ and $λ$ are not coprime, and neither of these parameters can be prime. Moreover, if $λ$ is at most $100$, we show that there are two such parameters sets, namely, $(351,126,45)$ and $(378,117,36)$ for $G=X=G_{2}(3)$. Our analysis depends heavily on detailed information about actions of finite exceptional almost simple groups of Lie type on the cosets of their large maximal subgroups. In particular, properties derived in the paper about large subgroups and the subdegrees of such actions may be of independent interest. △ Less

Submitted 25 August, 2020; v1 submitted 4 February, 2017; originally announced February 2017.

Comments: 31 pages

MSC Class: 05B05; 05B25; 20B25; 20D05

On quantitative structure of small Ree groups

Authors: Seyed Hassan Alavi, Ashraf Daneshkhah, Hosein Parvizi Mosaed

Abstract: The main aim of this article is to study quantitative structure of small Ree Groups $^{2}G_{2}(q)$. Here, we prove that small Ree groups are uniquely determined by their orders and the set of the number of elements of the same order. As a consequence, we give a positive answer to J. G. Thompson's problem for simple groups $^{2}G_{2}(q)$. The main aim of this article is to study quantitative structure of small Ree Groups $^{2}G_{2}(q)$. Here, we prove that small Ree groups are uniquely determined by their orders and the set of the number of elements of the same order. As a consequence, we give a positive answer to J. G. Thompson's problem for simple groups $^{2}G_{2}(q)$. △ Less

Submitted 31 May, 2016; originally announced June 2016.

Comments: arXiv admin note: text overlap with arXiv:1606.00041

MSC Class: 20D60; 20D06

Finite groups of the same type as Suzuki groups

Authors: Seyed Hassan Alavi, Ashraf Daneshkhah, Hosein Parvizi Mosaed

Abstract: For a finite group $G$ and a positive integer $n$, let $G(n)$ be the set of all elements in $G$ such that $x^{n}=1$. The groups $G$ and $H$ are said to be of the same (order) type if $G(n)=H(n)$, for all $n$. The main aim of this paper is to show that if $G$ is a finite group of the same type as Suzuki groups $Sz(q)$, where $q=2^{2m+1}\geq 8$, then $G$ is isomorphic to $Sz(q)$. This addresses the… ▽ More For a finite group $G$ and a positive integer $n$, let $G(n)$ be the set of all elements in $G$ such that $x^{n}=1$. The groups $G$ and $H$ are said to be of the same (order) type if $G(n)=H(n)$, for all $n$. The main aim of this paper is to show that if $G$ is a finite group of the same type as Suzuki groups $Sz(q)$, where $q=2^{2m+1}\geq 8$, then $G$ is isomorphic to $Sz(q)$. This addresses the well-known J. G. Thompson's problem (1987) for simple groups. △ Less

Submitted 31 May, 2016; originally announced June 2016.

MSC Class: 20D60; 20D06

On groups with the same character degrees as almost simple groups with socle sporadic simple groups

Authors: Seyed Hassan Alavi, Ashraf Daneshkhah, Ali Jafari

Abstract: Let G be a finite group and cd(G) denote the set of complex irreducible character degrees of G. In this paper, we prove that if G is a finite group and H is an almost simple group whose socle is a sporadic simple group H0 such that cd(G) = cd(H), then G' = H0 and there exists an abelian subgroup A of G such that G/A is isomorphic to H. In view of Huppert's conjecture (2000), we also provide some e… ▽ More Let G be a finite group and cd(G) denote the set of complex irreducible character degrees of G. In this paper, we prove that if G is a finite group and H is an almost simple group whose socle is a sporadic simple group H0 such that cd(G) = cd(H), then G' = H0 and there exists an abelian subgroup A of G such that G/A is isomorphic to H. In view of Huppert's conjecture (2000), we also provide some examples to show that G is not necessarily a direct product of A and H, and hence we cannot extend this conjecture to almost simple groups. △ Less

Submitted 27 February, 2016; v1 submitted 24 January, 2016; originally announced January 2016.

Comments: 11 pages. arXiv admin note: substantial text overlap with arXiv:1511.04129

On groups with the same character degrees as almost simple groups with socle the Mathieu groups

Authors: Seyed Hassan Alavi, Ashraf Daneshkhah, Ali Jafari

Abstract: Let $G$ be a finite group and $cd(G)$ denote the set of complex irreducible character degrees of $G$. In this paper, we prove that if $G$ is a finite group and $H$ is an almost simple group whose socle is Mathieu group such that $cd(G) =cd(H)$, then there exists an Abelian subgroup $A$ of $G$ such that $G/A$ is isomorphic to $H$. This study is heading towards the study of an extension of Huppert's… ▽ More Let $G$ be a finite group and $cd(G)$ denote the set of complex irreducible character degrees of $G$. In this paper, we prove that if $G$ is a finite group and $H$ is an almost simple group whose socle is Mathieu group such that $cd(G) =cd(H)$, then there exists an Abelian subgroup $A$ of $G$ such that $G/A$ is isomorphic to $H$. This study is heading towards the study of an extension of Huppert's conjecture (2000) for almost simple groups. △ Less

Submitted 24 January, 2016; v1 submitted 12 November, 2015; originally announced November 2015.

Comments: arXiv admin note: text overlap with arXiv:1108.0010 by other authors

MSC Class: 20C15; 20D05

Triple factorisations of the general linear group and their associated geometries

Authors: Seyed Hassan Alavi, John Bamberg, Cheryl E. Praeger

Abstract: Triple factorisations of finite groups $G$ of the form $G=PQP$ are essential in the study of Lie theory as well as in geometry. Geometrically, each triple factorisation $G=PQP$ corresponds to a $G$-flag transitive point/line geometry such that `each pair of points is incident with at least one line'. We call such a geometry \emph{collinearly complete}, and duality (interchanging the roles of point… ▽ More Triple factorisations of finite groups $G$ of the form $G=PQP$ are essential in the study of Lie theory as well as in geometry. Geometrically, each triple factorisation $G=PQP$ corresponds to a $G$-flag transitive point/line geometry such that `each pair of points is incident with at least one line'. We call such a geometry \emph{collinearly complete}, and duality (interchanging the roles of points and lines) gives rise to the notion of \emph{concurrently complete} geometries. In this paper, we study triple factorisations of the general linear group $\mathrm{GL}(V)$ as $PQP$ where the subgroups $P$ and $Q$ either fix a subspace or fix a decomposition of $V$ as $V_1\oplus V_2$ with $\dim(V_{1})=\dim(V_{2})$. △ Less

Submitted 20 May, 2014; originally announced May 2014.

Large subgroups of simple groups

Authors: S. Hassan Alavi, Timothy C. Burness

Abstract: Let $G$ be a finite group. A proper subgroup $H$ of $G$ is said to be large if the order of $H$ satisfies the bound $|H|^3 \ge |G|$. In this note we determine all the large maximal subgroups of finite simple groups, and we establish an analogous result for simple algebraic groups (in this context, largeness is defined in terms of dimension). An application to triple factorisations of simple groups… ▽ More Let $G$ be a finite group. A proper subgroup $H$ of $G$ is said to be large if the order of $H$ satisfies the bound $|H|^3 \ge |G|$. In this note we determine all the large maximal subgroups of finite simple groups, and we establish an analogous result for simple algebraic groups (in this context, largeness is defined in terms of dimension). An application to triple factorisations of simple groups (both finite and algebraic) is discussed. △ Less

Submitted 2 July, 2014; v1 submitted 26 November, 2013; originally announced November 2013.

Comments: 37 pages

On triple factorisations of finite groups

Authors: S. Hassan Alavi, Cheryl E. Praeger

Abstract: This paper introduces and develops a general framework for studying triple factorisations of the form $G=ABA$ of finite groups $G$, with $A$ and $B$ subgroups of $G$. We call such a factorisation nondegenerate if $G\neq AB$. Consideration of the action of $G$ by right multiplication on the right cosets of $B$ leads to a nontrivial upper bound for $|G|$ by applying results about subsets of restri… ▽ More This paper introduces and develops a general framework for studying triple factorisations of the form $G=ABA$ of finite groups $G$, with $A$ and $B$ subgroups of $G$. We call such a factorisation nondegenerate if $G\neq AB$. Consideration of the action of $G$ by right multiplication on the right cosets of $B$ leads to a nontrivial upper bound for $|G|$ by applying results about subsets of restricted movement. For $A<C<G$ and $B<D<G$ the factorisation $G=CDC$ may be degenerate even if $G=ABA$ is nondegenerate. Similarly forming quotients may lead to degenerate triple factorisations. A rationale is given for reducing the study of nondegenerate triple factorisations to those in which $G$ acts faithfully and primitively on the cosets of $A$. This involves study of a wreath product construction for triple factorisations. △ Less

Submitted 24 September, 2009; originally announced September 2009.

Comments: 28 pages

MSC Class: 20B05 (primary); 20B15; 20D40 (secondary)