Related papers: On pyramidal groups whose number of involutions is…
A regular bipartite graph $\Gamma$ is called semisymmetric if its full automorphism group $\mathrm{Aut}(\Gamma)$ acts transitively on the edge set but not on the vertex set. For a subgroup $G$ of $\mathrm{Aut}(\Gamma)$ that stabilizes the…
A graph is one-regular if its automorphism group acts regularly on the set of its arcs. In this paper, $4$-valent one-regular graphs of order $5p^2$, where $p$ is a prime, are classified
Let $G$ be a connected complex semisimple Lie group, $\Gamma$ be a cocompact, irreducible and torsionless lattice in $G$ and $K$ be a maximal compact subgroup of $G$. Assume $\Gamma$ acts by left multiplication and $K$ acts by right…
A classification is given of finite $k$-set-homogeneous graphs for $k\geqslant 2$, leading to a striking result that each finite $k$-set-homogeneous graph is $k$-homogeneous. It shows that $3$-set-homogeneous graphs are rare, consisting of…
If V is a simple complex euclidean Jordan algebra and G the subgroup of GL(V) fixing the determinant of V, we give a unified description of the invariant algebras C[pV]^G, for p not greater than three.
A positive integer $m$ will be called a {\it finitistic order} for an element $\gamma$ of a group $\Gamma$ if there exist a finite group $G$ and a homomorphism $h:\Gamma\to G$ such that $h(\gamma)$ has order $m$ in $G$. It is shown that up…
A group is called capable if it is a central factor group. For each prime $p$ and positive integer $c$, we prove the existence of a capable $p$-group of class $c$ minimally generated by an element of order $p$ and an element of order…
We prove that if $p$ is an odd prime, $G$ is a solvable group, and the average value of the irreducible characters of $G$ whose degrees are not divisible by $p$ is strictly less than $2(p+1)/(p+3)$, then $G$ is $p$-nilpotent. We show that…
We prove that the p-Quillen complex of a finite solvable group with cyclic derived group is Cohen-Macaulay, if p is an odd prime. If p = 2 we prove a similar conclusion, but there is a discussion to be made.
Let $\mathcal{P}$ be a chiral polytope with type $\{k_1, k_2\}$ and $G=Aut(\mathcal{P})$. Suppose $|G|=2p^m$, where $k_1, k_2\geq 3$ and $p$ is an odd prime. Let $P$ be a Sylow $p$-subgroup of $G$. We prove that $G \cong P \rtimes…
A complete classification is given of finite groups whose elements are partitioned into three orbits by the automorphism groups, solving the long-standing classification problem initiated by G. Higman in 1963. As a consequence, a…
Let $G$ be a group and $m$ a positive integer. We say an $m$-Cayley digraph $\Gamma$ over $G$ is a digraph that admits a group of automorphisms isomorphic to $G$ acting semiregularly on the vertex set with $m$ orbits. The digraph $\Sigma$…
We prove that an automorphism of order 3 of a putative binary self-dual [120, 60, 24] code C has no fixed points. Moreover, the order of the automorphism group of C divides 2^a.3.5.7.19.23.29 where a is a nonegative integer. Automorphisms…
The power graph $\mathcal{P}(G)$ of a finite group $G$ is the simple undirected graph whose vertex set is $G$, in which two distinct vertices are adjacent if one of them is an integral power of the other. For an integer $n\geq 2$, let $C_n$…
Let $E$ be an elliptic curve defined over $\mathbb Q$. Let $\Gamma$ be a subgroup of $E(\mathbb Q)$ and $P\in E(\mathbb Q)$. In [1], it was proved that if $E$ has no nontrivial rational torsion points, then $P\in\Gamma$ if and only if $P\in…
A finite group $G$ is called a Schur group, if any Schur ring over $G$ is the transitivity module of a permutation group on the set $G$ containing the regular subgroup of all right translations. It was proved by R. P\"oschel (1974) that…
The circular peak set of a permutation $\sigma$ is the set $\{\sigma(i)\mid \sigma(i-1)<\sigma(i)>\sigma(i+1)\}$. In this paper, we focus on the enumeration problems for permutations by circular peak sets. Let $cp_n(S)$ denote the number of…
Let $G$ be a permutation group on a set $\Omega$ of size $t$. We say that $\Lambda\subseteq\Omega$ is an independent set if its pointwise stabilizer is not equal to the pointwise stabilizer of any proper subset of $\Lambda$. We define the…
Recursive permutations whose cycles are the classes of a decidable equivalence relation are studied; the set of these permutations is called $\mathrm{Perm}$, the group of all recursive permutations $\mathcal{G}$. Multiple equivalent…
We prove that the inertia groups of all sufficiently-connected, high-dimensional $(2n)$-manifolds are trivial. This is a key step toward a general classification of manifolds in the metastable range. Specifically, for $m \gg 0$ and…