arXiv Science⌕ Search

arXiv subjects

Wujie Shi

Publications and source records attributed to Wujie Shi.

At least 19 recordsLinked to original sources
arXiv2026

A Matrix-Theoretic Exact Formula for Counting Primes in Intervals Between Consecutive Odd Squares

Matrix $B=(b_{ij})$ with $b_{ij}=(2j+1)(2j+2i-1)$ was introduced in \cite{Shi2024} as an additive sieve for odd primes. In this paper we introduce the minimal-anchor function $\pmin(d)$, the least odd prime $p$ such that $p+d$ is prime (sequence A020483 of the OEIS at index $d/2$), whose finiteness for all even $d$ is exactly the weak Polignac (Maillet) conjecture, i.e.\ the statement that every row of $B$ contains a semiprime. We prove that for each fixed $z$ the set $\{d\ \text{even}:\pmin(d)\le z\}$ has density zero, with the asymptotic $(π(z)-1)X/\log X$; consequently no fixed finite set of anchor primes can cover a positive proportion of the rows. Density-one coverage of the rows nevertheless holds, by a classical theorem of Lavrik which we restate in the matrix-$B$ framework: almost every row contains the number of semiprimes predicted by the Hardy--Littlewood conjecture. We formulate quantitative conjectures on $\pmin$ and support them with numerical data. Every-row coverage (= weak Polignac) is explicitly left open. We prove unconditional lower bounds for $\pmin$: for every $ψ\to0$, $\pmin(d)>ψ(d)\log d\log\log d$ for almost all even $d$, which is the conjectured typical order; and $\max_{d\le X}\pmin(d)\ge(\frac12+o(1))\log X\log\log X$. The same counting gives the corresponding lower bounds for the least prime in a Goldbach partition.

math.NT↗
arXiv2024

Quantitative characterization of finite simple groups: a complement

In this paper, we summarize the work on the characterization of finite simple groups and the study on finite groups with the set of element orders and two orders (the order of group and the set of element orders). Some related topics, and the applications together with their generalizations are also discussed. The original version of this article was published in Chinese in the journal Scientia Sinica Mathematica, no.53(2023), pp.931-952. This revised and expanded version has corrected several errors and added quite a few contents. Especially, it is pointed that this work has applications in mathematics and computational complexity theory.

math.GR↗
arXiv2023

On Thompson Problem

In 1987, the second author of this paper reported his conjecture, all finite simple groups $S$ can be characterized uniformly using the order of $S$ and the set of element orders in $S$, to Prof. J. G. Thompson. In their communications, Thompson posed his problem about the judgment of solvability of finite groups $G$. In this paper we give a positive answer for Thompson's problem if the prime graph of $G$ is not connection.

math.GR↗
arXiv2023

A Note on Thompson Problem

In this paper, we prove that if two finite groups G and H have isomorphic Burnside rings, then G and H are the same order type groups, and give an example to show that the Burnside rings of the same order type groups are not necessarily isomorphic. This result is related to the Thompson Problem which was raised in 1987.

math.GR↗
arXiv2022

Finite groups isospectral to simple groups

The spectrum of a finite group is the set of element orders of this group. The main goal of this paper is to survey results concerning recognition of finite simple groups by spectrum, in particular, to list all finite simple groups for which the recognition problem is solved.

math.GR↗
arXiv2021

On the widths of finite groups (I)

Let $G$ be a finite group, $π(G)$ be the set of prime divisors dividing the order of $G$ and $π_e(G)$ (spectrum) denote the set of element orders of $G$. We define $w_o(G)$ = $|π(G)|$ the width of order of $G$ and $w_s(G)$ = max$\{|π(k)| | k \in π_e(G)\}$ the width of spectrum of $G$. In this paper, we discuss the cases of $w_o(G)$ and $w_s(G)$ are small, prove several new results and give a survey about the two widths of groups.

math.GR↗
arXiv2020

On some conjectures related to finite nonabelian simple groups

In this note we provide some counterexamples for the conjecture of Moretó on finite simple groups, which says that any finite simple group $G$ can determined in terms of its order $|G|$ and the number of elements of order $p$, where $p$ the largest prime divisor of $|G|$. Moreover, we show that this conjecture holds for all sporadic simple groups and alternating groups $A_n$, where $n\neq 8, 10$. Some related conjectures are also discussed.

math.GR↗
arXiv2020

On finite groups with elements of prime power orders

In this paper we study the finite groups in which every element has prime power order, briefly them EPPO-groups. The classification of EPPO-groups is given including the cases of solvable, non-solvable and simple EPPO-groups. This paper is published in Journal of Yunnan Education College, no.1(1986), p.2-10 (in Chinese). Translate it to English is helpful for readers for citing some conclusions of this paper. For example, the result of solvable EPPO-groups(see Theorem 2.4 in the text) is detailed more than G. Higman's conclusion (see reference 1 in this paper).

math.GR↗
arXiv2018

A counterexample for the conjecture of finite simple groups

In this note we provide some counterexamples for the conjectures of finite simple groups, one of the conjectures said "all finite simple groups $G$ can be determined using their orders $|G|$ and the number of elements of order $p$, where $p$ the largest prime divisor of $|G|$".

math.GR↗
arXiv2017

A sufficient conditon for solvability of finite groups

The following theorem is proved: Let $G$ be a finite group and $π_e(G)$ be the set of element orders in $G$. If $π_e(G) \cap \{2\}=\emptyset$; or $π_e(G) \cap \{3, 4\}=\emptyset$; or $π_e(G) \cap \{3,5\}=\emptyset$, then $G$ is solvable. Moreover, using the intersection with $π_e(G)$ being empty set to judge $G$ is solvable or not, only the above three cases.

math.GR↗
arXiv2013

Revisiting the number of simple $K_4$-groups

In this paper, by solving Diophantine equations involving simple $K_4$-groups, we will try to point out that it is not easy to prove the infinitude of simple $K_4$-groups. This problem goes far beyond what is known about Dickson's conjecture at present.

math.NT↗
arXiv2005

Arithmetical Properties of Finite Groups

Let $G$ be a finite group and $Ch_i(G)$ some quantitative sets. In this paper we study the influence of $Ch_i(G)$ to the structure of $G$. We present a survey of author and his colleagues' recent works.

math.GR↗
arXiv2005

A Note on the Solvablity of Groups

Let $M$ be a maximal subgroup of a finite group $G$ and $K/L$ be a chief factor such that $L\leq M$ while $K\nsubseteq M$. We call the group $M\cap K/L$ a $c$\ns section of $M$. And we define $Sec(M)$ to be the abstract group that is isomorphic to a $c$\ns section of $M$. For every maximal subgroup $M$ of $G$, assume that Sec($M$) is supersolvable. Then any composition factor of $G$ is isomorphic to $L_2(p)$ or $Z_q$, where $p$ and $q$ are primes, and $p\equiv\pm 1(mod 8)$. This result answer a question posed by ref. \cite{WL}.

math.GR↗
arXiv2005

A Characterization of $L_2(2^f)$ in Terms of Character Zeros

The aim of this paper is to classify the finite nonsolvable groups in which every irreducible character of even degree vanishes on at most two conjugacy classes. As a corollary, it is shown that $L_2(2^f)$ are the only nonsolvable groups in which every irreducible character of even degree vanishes on just one conjugacy class.

math.GR↗
arXiv2005

A generalization of $c$-Supplementation

A subgroup $H$ is said to be $nc$-supplemented in a group $G$ if there is a subgroup $K\leq G$ such that $HK\unlhd G$ and $H\cap K$ is contained in $H_G$, the core of $H$ in $G$. We characterize the solvability of finite groups $G$ with some subgroups of Sylow subgroups $nc$-supplemented in $G$. We also give a result on $c$-supplemented subgroups.

math.GR↗
arXiv2005

A new criterion for finite non-cyclic groups

Let $H$ be a subgroup of a group $G$. We say that $H$ satisfies the power condition with respect to $G$, or $H$ is a power subgroup of $G$, if there exists a non-negative integer $m$ such that $H=G^{m}= $. In this note, the following theorem is proved: Let $G$ be a group and $k$ the number of non-power subgroups of $G$. Then (1) $k=0$ if and only if $G$ is a cyclic group(theorem of F. Sz$\acute{a}$sz) ;(2) $0 < k <\infty$ if and only if $G$ is a finite non-cyclic group; (3) $k=\infty$ if and only if $G$ is a infinte non-cyclic group. Thus we get a new criterion for the finite non-cyclic groups.

math.GR↗