Related papers: Limits in compact abelian groups
For every finite abelian group $G$, there are positive integers $n$ and $d$ such that $G$ is isomorphic to the multiplicative group of $d$-th powers of reduced residues modulo $n$.
We study pairs of subsets $A, B$ of a compact abelian group $G$ where the sumset $A+B:=\{a+b: a\in A, b\in B\}$ is small. Let $m$ and $m_{*}$ be Haar measure and inner Haar measure on $G$, respectively. Given $\varepsilon>0$, we classify…
For a finite abelian group $G$ and a positive integer $h$, the unrestricted (resp.~restricted) $h$-critical number $\chi(G,h)$ (resp.~$\chi \hat{\;}(G,h)$) of $G$ is defined to be the minimum value of $m$, if exists, for which the $h$-fold…
We adapt the theory of partition rank and analytic rank to the category of abelian groups. If $A_1, \dots, A_k$ are finite abelian groups and $\phi : A_1 \times \cdots \times A_k \to \mathbf{T}$ is a multilinear map, where $\mathbf{T} =…
In a previous joint paper with Wu and Yakimov, we gave an explicit description of the lowest discriminant ideal in Cayley-Hamilton Hopf algebras $(H,C,\mathrm{tr})$ with basic identity fiber, i.e. all irreducible representations over the…
The topological group version of the celebrated Banach-Mazur problem asks wether every infinite topological group has a non-trivial separable quotient group. It is known that compact groups have infinite separable metrizable quotient…
Let G be a Chevalley group scheme and B<=G a Borel subgroup scheme, both defined over Z. Let K be a global function field, S be a finite non-empty set of places over K, and O_S be the corresponding S-arithmetic ring. Then, the S-arithmetic…
Let $Ab_0$ be the class of finite abelian groups and consider the function $f:Ab_0\longrightarrow(0,\infty)$ given by $f(G)=\frac{|{\rm Aut}(G)|}{|G|}$\,, where ${\rm Aut}(G)$ is the automorphism group of a finite abelian group $G$. In this…
Motivated by the study of the large-scale geometry of topological groups, we investigate particular families of subsets of topological groups named group ideals. We compare different group ideals in the realm of locally compact groups. In…
We obtain some general restrictions on the continuous endomorphisms of a profinite group G under the assumption that G has only finitely many open subgroups of each index (an assumption which automatically holds, for instance, if G is…
We study definably compact definably connected groups definable in a sufficiently saturated real closed field $R$. We introduce the notion of group-generic point for $\bigvee$-definable groups and show the existence of group-generic points…
Given a profinite group $G$ and a family $\mathcal{F}$ of finite groups closed under taking subgroups, direct products and quotients, denote by $\mathcal{F}(G)$ the set of elements $g \in G$ such that $\{x \in G\ |\ \langle g,x \rangle \…
Let $A$ be a finite subset of an arbitrary additive group $G$, and let $\phi(A)$ denote the cardinality of the largest subset $B$ in $A$ that is sum-avoiding in $A$ (that is to say, $b_1+b_2 \not \in A$ for all distinct $b_1,b_2 \in B$).…
The solubilizer of an element $x$ of a profinite group $G$ is the set of the elements $y$ of $G$ such that the subgroup of $G$ generated by $x$ and $y$ is prosoluble. We propose the following conjecture: the solubilizer of $x$ in $G$ has…
Let X be a closed subset of a locally compact second countable group G whose family of translates has finite VC-dimension. We show that the topological border of X has Haar measure 0. Under an extra technical hypothesis, this also holds if…
For a compact surface $\Sigma$ (orientable or not, and with boundary or not) we show that the fixed subgroup, $\operatorname{Fix} B$, of any family $B$ of endomorphisms of $\pi_1(\Sigma)$ is compressed in $\pi_1(\Sigma)$ i.e.,…
A finite abelian group $G$ of cardinality $n$ is said to be of type III if every prime divisor of $n$ is congruent to 1 modulo 3. We obtain a classification theorem for sum-free subsets of largest possible cardinality in a finite abelian…
Suppose that a metacyclic Frobenius group $FH$, with kernel $F$ and complement $H$, acts by automorphisms on a finite group $G$, in such a way that $C_G(F)$ is trivial and $C_G(H)$ is nilpotent. It is known that $G$ is nilpotent and its…
It is proved that, in certain subgroups of direct products of countable groups, the property of being an unconditionally closed set coincides with that of being an algebraic set. In particular, these properties coincide in all Abelian…
An abstract group $G$ is called totally $2$-closed if $H=H^{(2),\Omega}$ for any set $\Omega$ with $G\cong H\leq{\rm Sym}(\Omega)$, where $H^{(2),\Omega}$ is the largest subgroup of ${\rm Sym}(\Omega)$ whose orbits on $\Omega\times\Omega$…