Related papers: Separability of Solvable Subgroups in Linear Group…
It is proved that every group of the form $G=AB$ with two subgroups $A$ and $B$ each of which is either abelian or has a quasicyclic subgroup of index $2$ is soluble of derived length at most $3$. In particular, if $A$ is abelian and $B$ is…
Suppose that $G$ is a finite solvable group and $V$ is a finite, faithful and completely reducible $G$-module. Let $N$ be a nilpotent subgroup of $G$, then there exits $v \in V$ such that $|\bC_N(v)| \leq (|N|/p)^{1/p}$, where $p$ is the…
In this paper we study the conjugacy problem in polycyclic groups. Our main result is that we construct polycyclic groups $G_n$ whose conjugacy problem is at least as hard as the subset sum problem with $n$ indeterminates. As such, the…
Let $G$ be a finite group and let $\pi$ be a set of primes. In this paper, we prove a criterion for the existence of a solvable $\pi$-Hall subgroup of $G$, precisely, the group $G$ has a solvable $\pi$-Hall subgroup if, and only if, $G$ has…
Let $G$ be a connected exponential Lie group and $R$ be the solvable radical of $G$. We describe a condition on $G/R$ under which one can then conclude that $R$ is an exponential Lie group. The condition holds in particular when $G$ is a…
Let $V$ be a $GL_n(\mathbb{R})$-distinguished, irreducible, admissible representation of $GL_n(\mathbb{C})$. We prove that any continuous linear functional on $V$, which is invariant under the action of the real mirabolic subgroup, is…
We refer to the set of the orders of elements of a finite group as its spectrum and say that groups are isospectral if their spectra coincide. We prove that with the only specific exception the solvable radical of a nonsolvable finite group…
We show that any subgroup of a (virtually) nilpotent-by-polycyclic group satisfies the bounded packing property of Hruska-Wise. In particular, the same is true about metabelian groups and linear solvable groups. However, we find an example…
For any group G, let C(G) denote the set of centralizers of G. We say that a group G has n centralizers (G is a Cn-group) if |C(G)| = n. In this note, we prove that every finite Cn-group with n ? 21 is soluble and this estimate is sharp.…
We say that a loop is unbreakable when it does not have nontrivial subloops. While the cyclic groups of prime order are the only unbreakable finite groups, we show that nonassociative unbreakable loops exist for every order n >= 5. We…
We show that on an arbitrary finitely generated non virtually solvable linear group, any two independent random walks will eventually generate a free subgroup. In fact, this will hold for an exponential number of independent random walks.
We give new characterizations of sofic groups: -- A group $G$ is sofic if and only if it is a subgroup of a quotient of a direct product of alternating or symmetric groups. -- A group $G$ is sofic if and only if any system of equations…
The main result of this article is a refinement of the well-known subgroup separability results of Hall and Scott for free and surface groups. We show that for any finitely generated subgroup, there is a finite dimensional representation of…
This paper studies effective separability for subgroups of finitely generated nilpotent groups and more broadly effective subgroup separability of finitely generated nilpotent groups. We provide upper and lower bounds that are polynomial…
We introduce the notion of finite stature of a family $\{H_i\}$ of subgroups of a group $G$. We investigate the separability of subgroups of a group $G$ that splits as a graph of hyperbolic special groups with quasiconvex edge groups. We…
Let $K$ be a finitely generated field. We construct an $n$-dimensional linear system $\mathcal{L}$ of hypersurfaces of degree $d$ in $\mathbb{P}^n$ defined over $K$ such that each member of $\mathcal{L}$ defined over $K$ is smooth, under…
We prove a general solvable subgroup theorem in terms of length functions. As applications, we obtain a solvable subgroup theorem in dynamical systems: any solvable group of finite Hirsch length acting on a smooth manifold with uniformly…
Thompson's theorem stated that a finite group $G$ is solvable if and only if every $2$-generated subgroup of $G$ is solvable. In this paper, we prove some new criteria for both solvability and nilpotency of a finite group using certain…
Let G be a finite group. A subgroup M of G is said to be an NR-subgroup if, whenever K is normal in M, then K^G\cap M=K, where K^G is the normal closure of K in G. Using the Classification of Finite Simple Groups, we prove that if every…
We give the following characterization of sofic (weakly sofic) groups: a group $G$ is sofic (weakly sofic) if and only if any system of equations solvable in any alternating group (any finite group) is solvable over $G$.