相关论文: On relational complexity and base size of finite p…

Each group G of nxn permutation matrices has a corresponding permutation polytope, P(G):=conv(G) in R^{nxn}. We relate the structure of P(G) to the transitivity of G. In particular, we show that if G has t nontrivial orbits, then…

A transitive group $G$ of permutations of a set $\Omega$ is primitive if the only $G$-invariant equivalence relations on $\Omega$ are the trivial and universal relations. If $\alpha \in \Omega$, then the orbits of the stabiliser $G_\alpha$…

A topological group G is profinite if it is compact and totally disconnected. Equivalently, G is the inverse limit of a surjective system of finite groups carrying the discrete topology. We discuss how to represent a countably based…

In this paper, we study the structures of finite groups using some arithmetic conditions on the sizes of real conjugacy classes. We prove that a finite group is solvable if the prime graph on the real class sizes of the group is…

Let $G$ be a finite cyclic group. Every sequence $S$ over $G$ can be written in the form $S=(n_1g)\cdot...\cdot(n_kg)$ where $g\in G$ and $n_1,\cdots,n_k\in[1,{\hbox{\rm ord}}(g)]$, and the index $\ind S$ of $S$ is defined to be the minimum…

Let $G$ be a permutation group on a set $\Omega$. A subset of $\Omega$ is a base for $G$ if its pointwise stabilizer in $G$ is trivial. By $b(G)$ we denote the size of the smallest base of $G$. Every permutation group with $b(G)=2$ contains…

The paper is concerned with the character theory of finite groups of Lie type. The irreducible characters of a group $G$ of Lie type are partitioned in Lusztig series. We provide a simple formula for an upper bound of the maximal size of a…

Let p be a prime. Every finite group G has a normal series each of whose quotients either is p-soluble or is a direct product of nonabelian simple groups of orders divisible by p. The non-p-soluble length of G is defined as the minimal…

Let G be a finite group and N be a non-trivial normal subgroup of G, such that the average character degree of irreducible characters in Irr(G|N) is less than or equal to 16=5. Then we prove that N is solvable. Also, we prove the…

The determinantal complexity of a polynomial $P \in \mathbb{F}[x_1, \ldots, x_n]$ over a field $\mathbb{F}$ is the dimension of the smallest matrix $M$ whose entries are affine functions in $\mathbb{F}[x_1, \ldots, x_n]$ such that $P =…

Babai's conjecture states that, for any finite simple non-abelian group $G$, the diameter of $G$ is bounded by $(\log|G|)^{C}$ for some absolute constant $C$. We prove that, for any untwisted classical group $G$ of rank $r$ defined over a…

We prove that the base size of a transitive group $G$ with solvable point stabilizer and with trivial solvable radical is not greater than $k$ provided the same statement holds for the group of $G$-induced automorphisms of each nonabelian…

A cover of a finite non-cyclic group $G$ is a family $\mathcal{H}$ of proper subgroups of $G$ whose union equals $G$. A cover of $G$ is called minimal if it has minimal size, and irredundant if it does not properly contain any other cover.…

Motivated by recent results on the minimal base of a permutation group, we introduce a new local invariant attached to arbitrary finite groups. More precisely, a subset Delta of a finite group G is called a p-base (where p is a prime) if…

Let $G$ be a finite $p$-group of order $p^n$. It is known that $|\mathcal{M}(G)|=p^{\f{1}{2}n(n-1)-t(G)}$ and $t(G)\geq 0$. The structure of $G$ characterized when $t(G)\leq 4$ in \cite{be,el,ni,sa,zh}. The structure description of $G$ is…

Let $G$ be a finite permutation group on $\Omega.$ An ordered sequence $(\omega_1,\dots, \omega_t)$ of elements of $\Omega$ is an irredundant base for $G$ if the pointwise stabilizer is trivial and no point is fixed by the stabilizer of its…

The discrete logarithm problem in Jacobians of curves of high genus $g$ over finite fields $\FF_q$ is known to be computable with subexponential complexity $L_{q^g}(1/2, O(1))$. We present an algorithm for a family of plane curves whose…

Let $G\leqslant {\rm Sym}(\Omega)$ be a finite transitive permutation group with point stabiliser $H$. A base for $G$ is a subset of $\Omega$ whose pointwise stabiliser is trivial, and the minimal cardinality of a base is called the base…

Let $G$ be a finite abelian group and $s$ be a positive integer. A subset $A$ of $G$ is called a {\em perfect $s$-basis of $G$} if each element of $G$ can be written uniquely as the sum of at most $s$ (not-necessarily-distinct) elements of…

The dimension of a partially-ordered set $P$ is the smallest integer $d$ such that one can embed $P$ into a product of $d$ linear orders. We prove that the dimension of the divisibility order on the interval $\{1, \dotsc, n\}$ is bounded…