English
Related papers

Related papers: Every strongly summable ultrafilter on $\bigoplus\…

200 papers

We show that it is consistent with ZFC that every compact group has a non-Haar-measurable subgroup. In addition, we demonstrate a natural construction, and we conjecture that this construction always produces a non-measurable subgroup of a…

Group Theory · Mathematics 2015-03-05 W. R. Brian , M. W. Mislove

We study abstract finite groups with the property, called property $\hat{s}$, that all of their subrepresentations have submultiplicative spectra. Such groups are necessarily nilpotent and we focus on $p$-groups. $p$-groups with property…

Group Theory · Mathematics 2011-10-19 L. Grunenfelder , T. Košir , M. Omladič , H. Radjavi

A variety of classes of naturally arising ultrafilters on omega is discussed, and the question is raised whether it is consistent that the classes are empty. Since all the classes contain the P-point ultrafilters, a negative answer would…

Logic · Mathematics 2008-02-03 James E. Baumgartner

We establish a general large sieve inequality with sparse sets $\mathcal{S}$ of moduli in the Gaussian integers which are in a sense well-distributed in arithmetic progressions. This extends earlier work of S. Baier on the large sieve with…

Number Theory · Mathematics 2020-03-11 Stephan Baier , Arpit Bansal

We study the obstructions to coarse universality in separable dual Banach spaces. We prove coarse non-universality of several classes of dual spaces, including those with conditional spreading bases, as well as generalized James and James…

Functional Analysis · Mathematics 2025-12-08 Stephen Jackson , Cory Krause , Bunyamin Sari

Superfilters are generalized ultrafilters, which capture the underlying concept in Ramsey theoretic theorems such as van der Waerden's Theorem. We establish several properties of superfilters, which generalize both Ramsey's Theorem and its…

Combinatorics · Mathematics 2011-08-23 Nadav Samet , Boaz Tsaban

A nonempty set $A\subset\mathbb{N}$ is $\ell$-strong Schreier if $\min A\geqslant \ell|A|-\ell+1$. We define a set of positive integers to be sparse if either the set has at most two numbers or the differences between consecutive numbers in…

Combinatorics · Mathematics 2023-11-06 Kevin Beanland , Hung Viet Chu

Suppose $G$ is an arbitrary additively written primary abelian group with a fixed large subgroup $L$. It is shown that $G$ is (a) summable; (b) $\sigma$-summable;\break (c) a $\Sigma$-group; (d) $p^{\omega+1}$-projective only when so is…

Group Theory · Mathematics 2007-05-23 Peter V Danchev

A set $M$ of nonzero integers is said to split a finite abelian group $G$ if there exists a subset $S\subseteq G$ such that $M\cdot S = G\setminus\{0\}$. Such a splitting is called purely singular if every prime divisor of $|G|$ divides…

Combinatorics · Mathematics 2026-05-12 Ka Hin Leung , Tao Zhang

Let $E$ be a Banach space that does not contain any copy of $\ell^1$ and $\A$ be a non commutative $C^*$-algebra. We prove that every absolutely summing operator from $\A$ into $E^*$ is compact, thus answering a question of Pe\l czynski. As…

Functional Analysis · Mathematics 2016-09-06 Narcisse Randrianantoanina

Denoting by Sigma(S) the set of subset sums of a subset S of a finite abelian group G, we prove that |Sigma(S)| >= |S|(|S|+2)/4-1 whenever S is symmetric, |G| is odd and Sigma(S) is aperiodic. Up to an additive constant of 2 this result is…

Combinatorics · Mathematics 2014-07-01 Eric Balandraud , Benjamin Girard , Simon Griffiths , Yahya Ould Hamidoune

We separate the $AF$-algebras (correspondingly action of the countable groups on Cantor sets) onto two classes ---- "completely smooth" for which the set of all indecomposable traces (correspondingly list of all invariant ergodic measures)…

Operator Algebras · Mathematics 2013-04-09 Anatoly Vershik

We obtain a small ultrafilter number at $\aleph_{\omega_1}$. Moreover, we develop a version of the overlapping strong extender forcing with collapses which can keep the top cardinal $\kappa$ inaccessible. We apply this forcing to construct…

Logic · Mathematics 2025-12-10 Tom Benhamou , Sittinon Jirattikansakul

All ultrafilters under consideration here are non-principal ultrafilters on the set omega of natural numbers. We are concerned with the possible cofinalities of ultrapowers of omega with respect to such ultrafilters. We show that no…

Logic · Mathematics 2016-09-06 Andreas Blass , Heike Mildenberger

We discuss dense embeddings of surface groups and fully residually free groups in topological groups. We show that a compact topological group contains a nonabelian dense free group of finite rank if and only if it contains a dense surface…

Group Theory · Mathematics 2009-03-02 Emmanuel Breuillard , Tsachik Gelander , Juan Souto , Peter Storm

If $M$ is an $R$-module, we study the submodules $K\leq M$ with the property that $K$ is invariant with respect to all monomorphisms $K\rightarrow M$. Such submodules are called \textsl{strictly invariant}. For the case of $%…

Rings and Algebras · Mathematics 2019-02-05 Simion Breaz , Grigore Călugăreanu , Andrey Chekhlov

Henle, Mathias, and Woodin proved that, provided that $\omega\rightarrow(\omega)^{\omega}$ holds in a model $M$ of ZF, then forcing with $([\omega]^{\omega},\subseteq^*)$ over $M$ adds no new sets of ordinals, thus earning the name a…

Logic · Mathematics 2023-06-22 Natasha Dobrinen , Daniel Hathaway

We introduce the decomposability spectrum $K_D=\{\lambda \geq \omega| D \text{is} \lambda\text{-decomposable}\}$ of an ultrafilter $D$, and show that Shelah's $\pcf$ theory influences the possible values $K_D$ can take. For example, we show…

Logic · Mathematics 2007-05-23 Paolo Lipparini

It is known that for any class C closed under union and intersection, the Boolean closure of C, the Boolean hierarchy over C, and the symmetric difference hierarchy over C all are equal. We prove that these equalities hold for any…

Computational Complexity · Computer Science 2007-05-23 Lane A. Hemaspaandra , Joerg Rothe

We consider, for infinite cardinals kappa and alpha <= kappa^+, the group Pi(kappa,< alpha) of sequences of integers, of length kappa, with non-zero entries in fewer than alpha positions. Our main result tells when Pi(kappa,< alpha) can be…

Logic · Mathematics 2007-05-23 Andreas Blass , Saharon Shelah