Related papers: On the Borel Complexity of Characterized Subgroups

We show that if $\kappa \leq \omega$ and there exists a group topology without non-trivial convergent sequences on an Abelian group $H$ such that $H^n$ is countably compact for each $n<\kappa$ then there exists a topological group $G$ such…

We construct an embedding G of the category of graphs into the category of abelian groups such that for graphs X and Y we have Hom(GX,GY)=Z[Hom(X,Y)], the free abelian group whose basis is the set Hom(X,Y). The isomorphism is functorial in…

Let $\sigma =\{\sigma_i |i\in I\}$ is some partition of all primes $\mathbb{P}$ and $G$ a finite group. A subgroup $H$ of $G$ is said to be $\sigma$-subnormal in $G$ if there exists a subgroup chain $H=H_0\leq H_1\leq \cdots \leq H_n=G$…

In [I. Arzhantsev and M. Zaidenberg, Borel subgroups of the automorphism groups of affine toric surfaces, arXiv:2507.09679 (2025)] we described the Borel subgroups and maximal solvable subgroups of the automorphism groups of affine toric…

It is well known that all Borel subgroups of a linear algebraic group are conjugate. This result also holds for the automorphism group ${{\mathrm{Aut}}} (\mathbb A^2)$ of the affine plane \cite{BerestEshmatovEshmatov2016} (see also…

We prove the following instance of a conjecture stated in arXiv:1103.4770. Let $G$ be an abelian semialgebraic group over a real closed field $R$ and let $X$ be a semialgebraic subset of $G$. Then the group generated by $X$ contains a…

By the well-known Heyde theorem, the Gaussian distribution on the real line is characterized by the symmetry of the conditional distribution of one linear form of independent random variables given another. In the case of two independent…

A subgroup $H$ of a finite group $G$ is submodular in $G$ if there is a subgroup chain $H=H_0\leq\ldots\leq H_i\leq H_{i+1}\leq \ldots \leq H_n=G$ such that $H_i$ is a modular subgroup of $H_{i+1}$ for every $i$. We investigate finite…

Let G be a group and H be a subgroup of G which is either finite or of finite index in G. In this note, we give some characterizations for normality of H in G. As a consequence we get a very short and elementary proof of the Main Theorem of…

The monadic theory of $(\mathbb R,\le)$ with quantification restricted to Borel sets is decidable. The Boolean combinations of $F_\sigma$ sets form an elementary substructure of the Borel sets. Under determinacy hypotheses, the proof…

We prove that if $G$ is a totally bounded abelian group \st\ its dual group $\widehat{G}_p$ equipped with the finite-open topology is a Baire group, then every compact subset of $G$ must be finite. This solves an open question by Chasco,…

Let $G$ be a simple algebraic group. A closed subgroup $H$ of $G$ is called spherical provided it has a dense orbit on the flag variety $G/B$ of $G$. Reductive spherical subgroups of simple Lie groups were classified by Kr\"amer in 1979. In…

Let $G$ be one of the lamplighter groups $({\mathbb{Z}/p\bz})^n\wr\mathbb{Z}$ and $\Sub(G)$ the space of all subgroups of $G$. We determine the perfect kernel and Cantor-Bendixson rank of $\Sub(G)$. The space of all conjugation-invariant…

A Hausdorff topological group G is minimal if every continuous isomorphism f : G --> H between G and a Hausdorff topological group H is open. Clearly, every compact Hausdorff group is minimal. It is well known that every infinite compact…

Early this century K. H. Hofmann and S. A. Morris introduced the class of pro-Lie groups which consists of projective limits of finite-dimensional Lie groups and proved that it contains all compact groups, all locally compact abelian…

Let F be the flag variety of a complex semi-simple group G, let H be an algebraic subgroup of G acting on F with finitely many orbits, and let V be an H-orbit closure in F. Expanding the cohomology class of V in the basis of Schubert…

The paper deals with group dualities. A group duality is simply a pair $(G, H)$ where $G$ is an abstract abelian group and $H$ a subgroup of characters defined on $G$. A group topology $\tau$ defined on $G$ is {\it compatible} with the…

The proper subgroup $B$ of the group $G$ is called {\it strongly embedded}, if $2\in\pi(B)$ and $2\notin\pi(B \cap B^g)$ for any element $g \in G \setminus B $ and, therefore, $ N_G(X) \leq B$ for any 2-subgroup $ X \leq B $. An element $a$…

In this paper, we study precompact abelian groups G that contain no sequence {x_n} such that {0} \cup {\pm x_n : n \in N} is infinite and quasi-convex in G, and x_n --> 0. We characterize groups with this property in the following classes…

A topological group $X$ is called $duoseparable$ if there exists a countable set $S\subseteq X$ such that $SUS=X$ for any neighborhood $U\subseteq X$ of the unit. We construct a functor $F$ assigning to each (abelian) topological group $X$…