English
Related papers

Related papers: On additive bases in infinite abelian semigroups

200 papers

We study the finite basis problem for additively idempotent semirings satisfying the identity $xy \approx xz$. Let $\mathbf{R}$ denote the variety of all such semirings. Yue et al. (2025, Algebra Universalis, DOI:10.1007/s00012-025-00908-5)…

Group Theory · Mathematics 2025-09-23 Mengya Yue , Miaomiao Ren

Motivated by a problem in additive Ramsey theory, we extend Todorcevic's partitions of three-dimensional combinatorial cubes to handle additional three-dimensional objects. As a corollary, we get that if the continuum hypothesis fails, then…

Logic · Mathematics 2023-01-05 Ido Feldman , Assaf Rinot

For $N \geq 2$, we study the structure of definable abelian group extensions of the additive group $(\mathbb{R}^N,+)$ by countable abelian (Borel) groups $G$. Given an extension $H$ of $(\mathbb{R}^N,+)$ by $G$, we measure the definability…

Logic · Mathematics 2025-05-13 Linus Richter

We provide a uniform vanishing result for the graded components of the finite length Koszul module associated to a subspace K inside the second exterior product of a vector space, as well as a sharp upper bound for its Hilbert function.…

Group Theory · Mathematics 2023-12-11 Marian Aprodu , Gavril Farkas , Stefan Papadima , Claudiu Raicu , Jerzy Weyman

We study Farrell Nil-groups associated to a finite order automorphism of a ring $R$. We show that any such Farrell Nil-group is either trivial, or infinitely generated (as an abelian group). Building on this first result, we then show that…

K-Theory and Homology · Mathematics 2016-01-20 Jean-François Lafont , Stratos Prassidis , Kun Wang

Let $G$ be a finitely generated abelian-by-finite group and $k$ a field of characteristic $p\ge 0$. The Euler class $[k_G]$ of $G$ over $k$ is the class of the trivial $kG$-module in the Grothendieck group $G_0(kG)$. We show that $[k_G]$…

Rings and Algebras · Mathematics 2007-05-23 Martin Lorenz

Let $G$ be an abelian group of finite order $n$, and let $h$ be a positive integer. A subset $A$ of $G$ is called {\em weakly $h$-incomplete}, if not every element of $G$ can be written as the sum of $h$ distinct elements of $A$; in…

Number Theory · Mathematics 2016-07-20 Béla Bajnok , Samuel Edwards

Given a subset $W$ of an abelian group $G$, a subset $C$ is called an additive complement for $W$ if $W+C=G$; if, moreover, no proper subset of $C$ has this property, then we say that $C$ is a minimal complement for $W$. It is natural to…

Combinatorics · Mathematics 2021-01-01 Noga Alon , Noah Kravitz , Matt Larson

Let $G\cong C_{n_1}\oplus ... \oplus C_{n_r}$ be a finite and nontrivial abelian group with $n_1|n_2|...|n_r$. A conjecture of Hamidoune says that if $W=w_1... w_n$ is a sequence of integers, all but at most one relatively prime to $|G|$,…

Number Theory · Mathematics 2008-06-03 D. J. Grynkiewicz , E. Marchan , O. Ordaz

Motivated by the open problem of exhibiting a subset of Euclidean space which has no exponential Riesz basis, we focus on exponential Riesz bases in finite abelian groups. We point out that that every subset of a finite abelian group has…

Combinatorics · Mathematics 2021-01-20 Sam Ferguson , Azita Mayeli , Nat Sothanaphan

We call a poset factorable if its characteristic polynomial has all positive integer roots. Inspired by inductive and divisional freeness of a central hyperplane arrangement, we introduce and study the notion of inductive posets and their…

Combinatorics · Mathematics 2024-01-09 Roberto Pagaria , Maddalena Pismataro , Tan Nhat Tran , Lorenzo Vecchi

We prove new cases of the Tate conjecture for abelian varieties over finite fields, extending previous results of Dupuy--Kedlaya--Zureick-Brown, Lenstra--Zarhin, Tankeev, and Zarhin. Notably, our methods allow us to prove the Tate…

Number Theory · Mathematics 2025-05-15 Santiago Arango-Piñeros , Sam Frengley , Sameera Vemulapalli

Let n(2,k) denote the largest integer n for which there exists a set A of k nonnegative integers such that the sumset 2A contains {0,1,2,...,n-1}. A classical problem in additive number theory is to find an upper bound for n(2,k). In this…

Number Theory · Mathematics 2007-05-23 Sinan Gunturk , Melvyn B. Nathanson

Let $k$ be a field that is finitely generated over the field of rational numbers and $Br(k)$ the Brauer group of $k$. Let $X$ be an absolutely irreducible smooth projective variety over $k$, let $Br(X)$ be the cohomological…

Number Theory · Mathematics 2007-11-05 Alexei Skorobogatov , Yuri Zarhin

Given a Lie group $G$ with finitely many components and a compact Lie group A which acts on $G$ by automorphisms, we prove that there always exists an A-invariant maximal compact subgroup K of G, and that for every such K, the natural map…

Group Theory · Mathematics 2009-04-21 Jinpeng An , Ming Liu , Zhengdong Wang

We study the finite basis problem for $4$-element additively idempotent semirings whose additive reducts are quasi-antichains. Up to isomorphism, there are $93$ such algebras. We show that with the exception of the semiring $S_{(4, 435)}$,…

Group Theory · Mathematics 2025-01-08 Mengya Yue , Miaomiao Ren , Lingli Zeng , Yong Shao

Let $E/\bbq$ be an elliptic curve defined over $\bbq$ with conductor $N$ and $\gq$ the absolute Galois group of an algebraic closure $\bar{\bbq}$ of $\bbq$. We prove that for every $\sigma\in \gq$, the Mordell-Weil group $E(\oqs)$ of $E$…

Number Theory · Mathematics 2007-05-23 Bo-Hae Im

Given an Abelian groups $G$, denote $\mu(G)$ the size of its largest sum-free subset and $f_{\max}(G)$ the number of maximal sum-free sets in $G$. Confirming a prediction by Liu and Sharifzadeh, we prove that all even-order $G\ne…

Combinatorics · Mathematics 2026-03-02 József Balogh , Ramon I. Garcia , Hong Liu , Ningyuan Yang

We define the notion of the partial order of ends of the Cayley graph of a semigroup. We prove that the structure of the ends of a semigroup is invariant under change of finite generating set and at the same time is inherited by…

Group Theory · Mathematics 2014-09-04 S. Craik , R. Gray , V. Kilibarda , J. D. Mitchell , N. Ruskuc

Let $\Gamma$ be an abelian group and $g \geq h \geq 2$ be integers. A set $A \subset \Gamma$ is a $C_h[g]$-set if given any set $X \subset \Gamma$ with $|X| = k$, and any set $\{ k_1 , \dots , k_g \} \subset \Gamma$, at least one of the…

Combinatorics · Mathematics 2013-11-14 Xing Peng , Rafael Tesoro , Craig Timmons