Related papers: Packing index of subsets in Polish groups
In this work, we show that if $f$ is a uniformly continuous map defined over a Polish metric space, then the set of $f$-invariant measures with zero metric entropy is a $G_\delta$ set (in the weak topology). In particular, this set is…
For any Polish space $X$ it is well-known that the Cantor-Bendixson rank provides a co-analytic rank on $F_{\aleph_0}(X)$ if and only if $X$ is a $\sigma$-compact. In the case of $\omega^\omega$ one may recover a co-analytic rank on…
We construct a Borel graph G such that ZF+DC+"There are no maximal independent sets in G" is equiconsistent with ZFC+"There exists an inaccessible cardinal".
Let $G$ be a compact $p$-adic analytic group. We recall the well-understood finite radical $\Delta^+$ and FC-centre $\Delta$, and introduce a $p$-adic analogue of Roseblade's subgroup $\mathrm{nio}(G)$, the unique largest orbitally sound…
Given an infinite topological group G and a cardinal k>0, we say that G is almost k-free if the set of k-tuples in G^k which freely generate free subgroups of G is dense in G^k. In this note we examine groups having this property and…
Solecki has shown that a broad natural class of $G_{\delta}$ ideals of compact sets can be represented through the ideal of nowhere dense subsets of a closed subset of the hyperspace of compact sets. In this note we show that the closed…
A topological group G is profinite if it is compact and totally disconnected. Equivalently, G is the inverse limit of a surjective system of finite groups carrying the discrete topology. We discuss how to represent a countably based…
Define z to be the smallest cardinality of a function f:X->Y with X and Y sets of reals such that there is no Borel function g extending f. In this paper we prove that it is relatively consistent with ZFC to have b<z where b is, as usual,…
A perfect code in a graph $\Gamma = (V, E)$ is a subset $C$ of $V$ such that no two vertices in $C$ are adjacent and every vertex in $V \setminus C$ is adjacent to exactly one vertex in $C$. A subgroup $H$ of a group $G$ is called a…
We prove in this paper that a finite almost simple group $R$ with socle the non-abelian simple group $S$ possesses a conjugacy class of core-free maximal subgroups whose index coincides with the smallest index $\operatorname{l}(S)$ of a…
Let $\Gamma(X)$ be the inverse semigroup of partial homeomorphisms between open subsets of a compact metric space $X$. There is a topology, denoted $\tau_{hco}$, that makes $\Gamma(X)$ a topological inverse semigroup. We address the…
Let $G$ be a finite group and $cd(G)$ denote the set of complex irreducible character degrees of $G$. In this paper, we prove that if $G$ is a finite group and $H$ is an almost simple group whose socle is Mathieu group such that $cd(G)…
Let $G$ be a connected algebraic semisimple real Lie group with finite center and no compact factors, and let $\Gamma$ be a Zariski dense discrete subgroup of $G$. We show that $\Gamma$ contains free, finitely generated subsemigroups whose…
We prove that any finite abelian group $G$ contains a collection of not too many subsets with a special structure, so that for every subset $A$ of $G$ with a small doubling, there is a member $F$ of the collection that is fully contained in…
Given an ideal $\mathcal{I}$ on the nonnegative integers $\omega$ and a Polish space $X$, let $\mathscr{L}(\mathcal{I})$ be the family of subsets $S\subseteq X$ such that $S$ is the set of $\mathcal{I}$-limit points of some sequence taking…
Let $G$ be a connected affine algebraic group over $\mathbb{C}$, $G \to X$ be an open immersion of $G$-varieties, $Z = X-G$ and $i: Z \to X$ be the inclusion. Let $\alpha \in H^*(G,\mathbb{C})$ be primitive. We give a method to compute the…
In this paper, we completely classify the finite $p$-groups $G$ such that $\Phi(G')G_3\le C_p^2$, $\Phi(G')G_3\le Z(G)$ and $G/\Phi(G')G_3$ is minimal non-abelian. This paper is a part of the classification of finite $p$-groups with a…
For $G$ a topological group, existence theorems by Milnor (1956), Gelfand-Fuks (1968), and Segal (1975) of classifying spaces for principal $G$-bundles are generalized to $G$-spaces with torsion. Namely, any $G$-space approximately covered…
Let $G=(V,E)$ be a simple graph. A dominating set of $G$ is a subset $D\subseteq V$ such that every vertex not in $D$ is adjacent to at least one vertex in $D$. The cardinality of a smallest dominating set of $G$, denoted by $\gamma(G)$, is…
Let $G$ be a finitely generated group, $\mathrm{Sub}(G)$ the (compact, metric) space of all subgroups of $G$ with the Chaubuty topology and $X!$ the (Polish) group of all permutations of a countable set $X$. We show that the following…