Related papers: Nonmeasurable subgroups of compact groups

Suppose $G$ is a compact semisimple Lie group, $\mu$ is the normalized Haar measure on $G$, and $A, A^2 \subseteq G$ are measurable. We show that $$\mu(A^2)\geq \min\{1, 2\mu(A)+\eta\mu(A)(1-2\mu(A))\}$$ with the absolute constant $\eta>0$…

In this note we prove the claim given in the title. A group G is noncommutatively slender if each map from the fundamental group of the Hawaiian Earring to G factors through projection to a canonical free subgroup. Graham Higman, in his…

A Cayley graph of a group $H$ is a finite simple graph $\Gamma$ such that its automorphism group ${\rm Aut}(\Gamma)$ contains a subgroup isomorphic to $H$ acting regularly on $V(\Gamma)$, while a Haar graph of $H$ is a finite simple…

We give a positive answer, in the measurable-group-theory context, to von Neumann's problem of knowing whether a non-amenable countable discrete group contains a non-cyclic free subgroup. We also get an embedding result of the free-group…

It is introduced a certain approach for equipment of an arbitrary set of the cardinality of the continuum by structures of Polish groups and two-sided (left or right) invariant Haar measures. By using this approach we answer positively…

We show that (with one possible exception) there exist strongly dense free subgroups in any semisimple algebraic group over a large enough field. These are nonabelian free subgroups all of whose subgroups are either cyclic or Zariski dense.…

It is shown that if $G$ is an uncountable Polish group and $A\subseteq G$ is a universally measurable set such that $A^{-1}A$ is meager, then the set $T_l(A)=\{\mu\in P(G): \mu(gA)=0 \text{for all} g\in G\}$ is co-meager. In particular, if…

We prove that the existence of $\mathfrak{c}$ incomparable selective ultrafilters implies the existence of a Wallace semigroup whose cube is countably compact. In addition, assuming the existence of $2^{\mathfrak c}$ incomparable selective…

We discuss the Bohr compactification of a pseudofinite group, motivated by a question of Boris Zilber. Basically referring to results in the literature we point out (i) the Bohr compactification of an ultraproduct of finite simple groups is…

By recent work on some conjectures of Pillay, each definably compact group in a saturated o-minimal structure is an expansion of a compact Lie group by a torsion free normal divisible subgroup, called its infinitesimal subgroup. We show…

We prove that there are infinitely many pairwise non-commensurable hyperbolic $n$-manifolds that have the same ambient group and trace ring, for any $n \geq 3$. The manifolds can be chosen compact if $n \geq 4$.

We obtain many results and solve some problems about feebly compact paratopological groups. We obtain necessary and sufficient conditions for such a group to be topological. One of them is the quasiregularity. We prove that each…

We generalize a result of Araki (1985) on indecomposable group representations with invariant (necessarily indefinite) inner product and irreducible subrepresentation to Hopf $*$-algebras. Moreover, we characterize invariant inner products…

A subspace Y of a separable metrizable space X is separable, but without X metrizable this is not true even If Y is a closed linear subspace of a topological vector space X. K.H. Hofmann and S.A. Morris introduced the class of pro-Lie…

If G is a locally essential subgroup of a compact abelian group K, then: (i) t(G)=w(G)=w(K), where t(G) is the tightness of G; (ii) if G is radial, then K must be metrizable; (iii) G contains a super-sequence S converging to 0 such that…

In the general theory of locally compact quantum groups, the notion of Haar measure (Haar weight) plays the most significant role. The aim of this paper is to carry out a careful analysis regarding Haar weight, in relation to general…

An Engel sink of an element $g$ of a group $G$ is a set ${\mathscr E}(g)$ such that for every $x\in G$ all sufficiently long commutators $[...[[x,g],g],\dots ,g]$ belong to ${\mathscr E}(g)$. (Thus, $g$ is an Engel element precisely when we…

Let $\Gamma\curvearrowright (X,\mu)$ be a measure preserving action of a countable group $\Gamma$ on a standard probability space $(X,\mu)$. We prove that if the action $\Gamma\curvearrowright X$ is not profinite and satisfies a certain…

Extending a result of the first author and Katsura, we prove that for every UHF algebra $A$ of infinite type, in every uncountable cardinality $\kappa$ there are $2^\kappa$ nonisomorphic approximately matricial C*-algebras with the same…

Let $G$ be a compact connected Lie group and let $P$ be a principal $G$-bundle over $K$. The gauge group of $P$ is the topological group of automorphisms of $P$. For fixed $G$ and $K$, consider all principal $G$-bundles $P$ over $K$. It is…