English
Related papers

Related papers: Waring Problem for Finite Quasisimple Groups

200 papers

The subgroup commutativity degree of a group G has been defined in [6] as the probability that two subgroups of G commute, or equivalently that the product of two subgroups is again a subgroup. Problem 4.3 of [6] asks whether there exist…

Group Theory · Mathematics 2015-12-30 Marius Tarnauceanu

This note proves a generalisation to inverse semigroups of Anisimov's theorem that a group has regular word problem if and only if it is finite, answering a question of Stuart Margolis. The notion of word problem used is the two-tape word…

Group Theory · Mathematics 2013-11-18 Tara Brough

Let $k \geq 2$ and $b \geq 3$ be integers, and suppose that $d_1, d_2 \in \{0,1,\dots, b - 1\}$ are distinct and coprime. Let $\mathcal{S}$ be the set of non-negative integers, all of whose digits in base $b$ are either $d_1$ or $d_2$. Then…

Number Theory · Mathematics 2024-11-19 Ben Green

Let $H$ be a finite quasisimple classical group, i.e. $H$ is perfect and $S:=H/Z(H)$ is a finite simple classical group. We prove in this paper that, excluding the cases when the simple group $S$ has a very exceptional Schur multiplier such…

Group Theory · Mathematics 2011-08-16 Hung Ngoc Nguyen

Weakly and strongly quasiperiodic morphisms are tools introduced to study quasiperiodic words. Formally they map respectively at least one or any non-quasiperiodic word to a quasiperiodic word. Considering them both on finite and infinite…

Discrete Mathematics · Computer Science 2013-09-23 Florence Levé , Gwénaël Richomme

In this paper, we study a density version of the Waring-Goldbach problem. Suppose that A is a subset of the primes, and the lower density of A in the primes is larger than 1-1/2k. We prove that every sufficiently large natural number n…

Number Theory · Mathematics 2023-12-19 Meng Gao

The generalized order $e_G(g)$ of an element $g$ of a group $G$ is the smallest positive integer $k$ such that there exist $x_1,\ldots,x_k \in G$ such that $g^{x_1} \ldots g^{x_k}=1$, where $g^x=x^{-1}gx$. Let $e(G) = \max \{e_G(g)\ |\ g…

Group Theory · Mathematics 2025-07-30 Martino Garonzi , Christe Montijo , Alexandre Zalesski

Let $\text{U}(n,\mathbb{F}_{q^2})$ denote the subgroup of unitary matrices of the general linear group $\text{GL}(n,\mathbb{F}_{q^2})$ which fixes a Hermitian form and $M\geq 2$ an integer. This is a companion paper to the previous works…

Group Theory · Mathematics 2023-04-28 Saikat Panja , Anupam Singh

A quasi-automatic semigroup is defined by a finite set of generators, a rational (regular) set of representatives, such that if a is a generator or neutral, then the graph of right multiplication by a on the set of representatives is a…

Group Theory · Mathematics 2019-06-12 Benjamin Blanchette , Christian Choffrut , Christophe Reutenauer

Extending the approach of Iwaniec and Duke, we present strong uniform bounds for Fourier coefficients of half-integral weight cusp forms of level $N$. As an application, we consider a Waring-type problem with sums of mixed powers.

Number Theory · Mathematics 2017-06-29 Fabian Waibel

Suppose that G is a nontrivial torsion-free group and w is a word in the alphabet G\cup\{x_1^{\pm1},...,x_n^{\pm1}\} such that the word w' obtained from w by erasing all letters belonging to G is not a proper power in the free group…

Group Theory · Mathematics 2012-11-01 Anton A. Klyachko

In the polynomial ring $T=k[y_1,...,y_n]$, with $n>1$, we bound the multiplicity of homogeneous radical ideals $I\subset (y_1^{a_1},...,y_n^{a_n})$ such that $T/I$ is a graded $k$-algebra with Krull dimension one. As a consequence we solve…

Commutative Algebra · Mathematics 2011-10-05 Enrico Carlini , Maria Virginia Catalisano , Anthony V. Geramita

In this article, we study the quotients of numerical semigroups, generated by two coprime positive numbers, named (a,b) over d. We give formulae for the usual invariants of these semigroups, expressed in terms of continued fraction…

Number Theory · Mathematics 2019-09-04 Emmanuel Cabanillas

The category of all idempotent generated semigroups with a prescribed structure $\mathcal{E}$ of their idempotents $E$ (called the biordered set) has an initial object called the free idempotent generated semigroup over $\mathcal{E}$,…

Group Theory · Mathematics 2017-12-14 Igor Dolinka , Robert D. Gray , Nik Ruškuc

We consider factorizations of a finite group $G$ into conjugate subgroups, $G=A^{x_{1}}\cdots A^{x_{k}}$ for $A\leq G$ and $x_{1},\ldots ,x_{k}\in G$, where $A$ is nilpotent or solvable. First we exploit the split $BN$-pair structure of…

Group Theory · Mathematics 2015-03-09 Martino Garonzi , Dan Levy , Attila Maróti , Iulian I. Simion

The word problem for discrete groups is well-known to be undecidable by a Turing Machine; more precisely, it is reducible both to and from and thus equivalent to the discrete Halting Problem. The present work introduces and studies a real…

Logic in Computer Science · Computer Science 2007-05-23 Martin Ziegler , Klaus Meer

Let $\mathcal G\simeq H\rtimes\Gamma$ be the semidirect product of a finite group $H$ and $\Gamma\simeq\mathbb Z_p$. Let $F/\mathbb Q_p$ be a finite extension with ring of integers $\mathcal O_F$. Then the total ring of quotients $\mathcal…

Rings and Algebras · Mathematics 2025-12-18 Ben Forrás

Suppose that G is a finitely generated group and W is the formal language of words defining the identity in G. We prove that if G is a nilpotent group, the fundamental group of a finite volume hyperbolic three-manifold, or a right-angled…

Group Theory · Mathematics 2018-04-26 Robert H. Gilman , Robert P. Kropholler , Saul Schleimer

We investigate the Waring-Goldbach problem of representing a positive integer $n$ as the sum of $s$ $k$th powers of almost equal prime numbers. Define $s_k=2k(k-1)$ when $k\ge 3$, and put $s_2=6$. In addition, put $\theta_2=\frac{19}{24}$,…

Number Theory · Mathematics 2023-05-10 Bin Wei , Trevor D. Wooley

Every nonabelian finite simple group of rank $n$ over a field of size $q$, with the possible exception of the Ree groups $^2G_2(3^{2e+1})$, has a presentation with a bounded number of generators and relations and total length $O(\log n…

Group Theory · Mathematics 2007-11-19 Robert Guralnick , Willim Kantor , Martin Kassabov , Alex Lubotzky