Related papers: Ascending chain condition in generic groups

Given an epimorphism between topological groups $f:G\to H$, when can a generating set of $H$ be lifted to a generating set of $G$? We show that for connected Lie groups the problem is fundamentally abelian: generators can be lifted if and…

We prove that random triangulations of high genus contain very large expander subgraphs, answering a question of Benjamini. Our approach relies on new general criteria for arbitrary graphs to contain large expander subgraphs.

We give a necessary and sufficient condition for a 2-dimensional or a three-generator Artin group $A$ to be (virtually) cocompactly cubulated, in terms of the defining graph of $A$.

Let $G$ be a simple exceptional algebraic group of adjoint type over an algebraically closed field of characteristic $p>0$ and let $X = {\rm PSL}_{2}(p)$ be a subgroup of $G$ containing a regular unipotent element $x$ of $G$. By a theorem…

We consider finite groups having a conjugacy class that is the difference of two normal subgroups. That is, suppose $G$ is a group and $M$ and $N$ are normal subgroups so that $N < M$, and suppose that there is an element $g \in G$ so that…

In this work, we prove the existence of linear recurrences of order M with a non-trivial solution vanishing exactly on the set of gaps (or a subset) of a numerical semigroup S finitely generated by a1 < a2 <...< aN and M = aN. Keywords:…

We consider the problem of exact low-rank matrix completion from a geometric viewpoint: given a partially filled matrix M, we keep the positions of specified and unspecified entries fixed, and study how the minimal completion rank depends…

An element of a finitely generated non-Abelian free group F(X) is said to be filling if that element has positive translation length in every very small action of F(X) on an $\mathbb{R}$-tree. We give a proof that the set of filling…

It is proved that all finitely generated subgroups of generalized free product of two groups are finitely separable provided that free factors have this property and amalgamated subgroups are normal in corresponding factors and satisfy the…

Let $C_{m} $ be a cyclic group of order $m$. We prove that if the group $G$ fits into an extension $1\to C_{2^{n+1}}^2\to G\to C_2\to 1$ then $G$ is good in the sense of Hopkins-Kuhn-Ravenel, i.e., $K(s)^*(BG)$ is evenly generated by…

Consider the scheme B_{2,L}^k of stable vector bundles of rank two and fixed determinant L which have at least k sections. Under suitable numerical conditions and for generic L, we show the existence of a component of the expected dimension…

For groups $G$ that can be generated by an involution and an element of odd prime order, this paper gives a sufficient condition for a certain Cayley graph of $G$ to be a graphical regular representation (GRR), that is, for the Cayley graph…

We develop a family of simple rank one theories built over quite arbitrary sequences of finite hypergraphs. (This extends an idea from the recent proof that Keisler's order has continuum many classes, however, the construction does not…

It was conjectured in [KLS14] that for arithmetic groups, Invariable Generation is equivalent to the Congruence Subgroup Property. In view of the famous Serre conjecture this would imply that higher rank arithmetic groups are invariably…

We prove that, except for a few cases, stable linearizability of finite subgroups of the plane Cremona group implies linearizability.

We show that the class of profinite duality groups is closed under group extensions provided that the kernel satisfies some finiteness condition. This extends earlier results of Pletch and of Wingberg.

We prove that the cohomology ring of a finite-dimensional restricted Lie superalgebra over a field of characteristic $p > 2$ is a finitely-generated algebra. Our proof makes essential use of the explicit projective resolution of the trivial…

We prove that suitably generic pairs of linear equations on an even number of variables are uncommon. This verifies a conjecture of Kam\v{c}ev, Morrison and the second author. Moreover, we prove that any large system containing such a…

In this paper, we describe the structure of finite groups whose element orders or proper (abelian) subgroup orders form an arithmetic progression of ratio $r\geq 2$. This extends the case $r=1$ studied in previous papers \cite{1,8,4}.

Let $\mathrm{k}=\mathbb{Q}\left(\sqrt[3]{p},\zeta_3\right)$, where $p$ is a prime number such that $p \equiv 1 \pmod 9$, and let $C_{\mathrm{k},3}$ be the $3$-component of the class group of $\mathrm{k}$. In \cite{GERTH3}, Frank Gerth III…