Related papers: On the Borel Complexity of Characterized Subgroups

For any topological group $G$ the dual object $\hat G$ is defined as the set of equivalence classes of irreducible unitary representations of $G$ equipped with the Fell topology. If $G$ is compact, $\hat G$ is discrete, and we investigate…

The concept of a C-approximable group, for a class of finite groups C, is a common generalization of the concepts of a sofic, weakly sofic, and linear sofic group. Glebsky raised the question whether all groups are approximable by finite…

Let $(\mathfrak{g},[p])$ be a finite-dimensional restricted Lie algebra over an algebraically closed field $\mathbb{K}$ of characteristic $p>0$, and $G$ be the adjoint group of $\mathfrak{g}$. We say that $\mathfrak{g}$ satisfying the {\sl…

We study the Fourier characterisation of strictly positive definite functions on compact abelian groups. Our main result settles the case $G = F \times \mathbb{T}^r$, with $r \in \mathbb{N}$ and $F$ finite. The characterisation obtained for…

For a finite group $G$ and an irreducible complex character $\chi$ of $G$, the codegree of $\chi$ is defined by $\textrm{cod}(\chi)=|G:\textrm{ker}(\chi)|/\chi(1)$, where $\textrm{ker}(\chi)$ is the kernel of $\chi$. In this paper, we show…

We prove that topological isomorphism on procountable groups is not classifiable by countable structures, in the sense of descriptive set theory. In fact, the equivalence relation $\ell_\infty$ expressing that two sequences of reals have a…

Let $A$ be an elementary abelian $r$-group with rank at least $3$ that acts faithfully on the finite $r'$-group $G$. Assume that $G$ is $A$-simple, so that $G = K_{1} \times\cdots\times K_{n}$ where $K_{1},\ldots,K_{n}$ is a collection of…

A proof of freeness of the commutator subgroup of the fundamental group of a smooth irreducible affine curve over a countable algebraically closed field of nonzero characteristic. A description of the abelianizations of the fundamental…

In this paper, we continue our study of the class of diagram groups. Simply speaking, a diagram is a labelled plane graph bounded by a pair of paths (the top path and the bottom path). To multiply two diagrams, one simply identifies the top…

In this note, we analyze the classification problem for compact metrizable $G$-ambits for a countable discrete group $G$ from the point of view of descriptive set theory. More precisely, we prove that the topological conjugacy relation on…

We work in the category of locally definable groups in an o-minimal expansion of a field. Eleftheriou and Peterzil conjectured that every definably generated abelian connected group G in this category is a cover of a definable group. We…

Andr\'as Bir\'o and Vera S\'os prove that for any subgroup $G$ of $\T$ generated freely by finitely many generators there is a sequence $A\subset \N$ such that for all $\beta \in \T$ we have ($\|.\|$ denotes the distance to the nearest…

A topological group $X$ is defined to have $compact$ $exponent$ if for some number $n\in\mathbb N$ the set $\{x^n:x\in X\}$ has compact closure in $X$. Any such number $n$ will be called a compact exponent of $X$. Our principal result…

Let $H$ be a transfer Krull monoid over a finite ablian group $G$ (for example, rings of integers, holomorphy rings in algebraic function fields, and regular congruence monoids in these domains). Then each nonunit $a \in H$ can be written…

We prove that if $H$ is a topological group such that all closed subgroups of $H$ are separable, then the product $G\times H$ has the same property for every separable compact group $G$. Let $c$ be the cardinality of the continuum. Assuming…

We introduce the vertex-arboricity of group-labelled graphs. For an abelian group $\Gamma$, a $\Gamma$-labelled graph is a graph whose edges are labelled by elements of $\Gamma$. For an abelian group $\Gamma$ and $A\subseteq \Gamma$, the…

Let X=G/H be the quotient of a connected reductive algebraic C-group G defined over the field of complex numbers C by a finite subgroup H. We describe the topological fundamental group of the homogeneous space X, which is nonabelian when H…

We provide some characterizations of precompact abelian groups $G$ whose dual group $G_p^\wedge$ endowed with the pointwise convergence topology on elements of $G$ contains a nontrivial convergent sequence. In the special case of precompact…

A group is $G$ commutative transitive or CT if commuting is transitive on nontrivial elements. A group $G$ is CSA or conjugately separated abelian if maximal abelian subgroups are malnormal. These concepts have played a prominent role in…

For a regular space $X$, the hyperspace $(CL(X), \tau_{F})$ (resp., $(CL(X), \tau_{V})$) is the space of all nonempty closed subsets of $X$ with the Fell topology (resp., Vietoris topology). In this paper, we give the characterization of…